Incompleteness theorems

1931 Incompleteness theorems

The book of science

Tom Sharp

Kurt Gödel logic Incompleteness theorems

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: