:)

[eugenebo]

Однажды Гёдель от нечего делать попытался пересчитать все доказанные математические теоремы. Это и привело его к известности.

Comments

[npopok.livejournal.com]

Не «все», а индуктивные на логиках предикатов.

Математика вообще это немножко больше, — я бы сказал даже, «немножко не то». Началась она, например, с евклидовой геометрии.

[eugenebo.livejournal.com]

Это, вообще-то, шутка была :)

Из той же серии, что "Гёделя любили в барах, потому что он никогда не проверял налитое пиво на полноту" :)