2005 : WHAT DO YOU BELIEVE IS TRUE EVEN THOUGH YOU CANNOT PROVE IT? [1]

john_mccarthy's picture [5]
Professor of Computer Science at Stanford University
Computer Scientist; Artificial Intelligence Pioneer, Stanford University

I think, as did Gödel, that the continuum hypothesis is false. No-one will ever prove it false from the presently accepted axioms of set theory. Chris Freiling's proposed new (1986) axioms prove it false, but they are not regarded as intuitive.

I think human-level artificial intelligence will be achieved.