Can anyone supply ref, or exact wording, of the remark of John
McCarthy's that Logic and computational complexity will be as rich
a source of stimuls for mathematics in the 21st century as Mathematical
Physics was in the last?
thanks
Thomas Forster