КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

2017-03-01 15:51:27 (читать в оригинале)

Гёдель всегда строит вполне себе арифметические формулы со смыслом "я недоказуема", они нарочито так построены, чтоб были недоказуемыми, но при этом они очевидно, тривиально верны, никакому математику никогда не пришло бы в голову, что они ... НЕ доказаны и доказывать вообще никто не стал бы, поскольку выглядят именно ... доказанными

потому и приводил 2+2=4 как пример, кто бы принялся это доказывать?