«Вот зануда и привереда, а? Зачем уж так настаивать на доказательстве малейшего утверждения? Математика – вертикальное сооружение, которое, в отличие от архитектурной постройки, рухнет, если хоть один математический кирпичик окажется битым. Допусти в системе невиннейшую погрешность – и пиши пропало, в ней уже ничему нельзя доверять. По сути, теорема логики утверждает: если в систему вкралась хоть одна ложная теорема – неважно, о чем она, – этого будет достаточно для доказательства, что 1 = 2.
Говорят, однажды некий скептик припёр к стенке логика Бертрана Расселла, желая возразить против этой уничтожающей теоремы (хотя в итоге говорил об обратном). «Вот что, – рявкнул усомнившийся, – допустим, один равно два, докажите, что вы – Папа Римский». Расселл, по свидетельствам, задумался на миг, после чего ответил: «Папа и я – двое, следовательно, Папа и я – одно».»
(с) Леонард Млодинов "Евклидово окно. История геометрии от параллельных прямых до гиперпространства"
См.: flibusta.net/b/372365/read
Говорят, однажды некий скептик припёр к стенке логика Бертрана Расселла, желая возразить против этой уничтожающей теоремы (хотя в итоге говорил об обратном). «Вот что, – рявкнул усомнившийся, – допустим, один равно два, докажите, что вы – Папа Римский». Расселл, по свидетельствам, задумался на миг, после чего ответил: «Папа и я – двое, следовательно, Папа и я – одно».»
(с) Леонард Млодинов "Евклидово окно. История геометрии от параллельных прямых до гиперпространства"
См.: flibusta.net/b/372365/read
-
-
05.09.2014 в 12:53