Incompleteness theorems

1931

Incompleteness theorems

The book of science

Tom Sharp


Kurt Gödel logic

Incompleteness theorems

Time travel

Self-contradictory statements and tautologies


The holy grail of logisticians was to be able to prove that any mathematical proposition was either true or false. Kurt Gödel was able to show, using logic alone, how silly this pursuit was.

In the 1940s at Princeton, after Gödel.” and Einstein became close friends, Einstein confided that his “own work no longer meant much, that he came to the Institute merely . . . to have the privilege of walking home with Gödel.”

See also in The book of science:

Readings on wikipedia: