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.