7 сентября 2014, 10:43

Допустим, Гёдель прав



На сколько я понял, в теореме Гёделя, о которой недавно писал Ветер, идет речь о человеческой способности принимать допущения за истину. Например, мы делаем допущение, что математика это полная, самодостаточная наука и изучаем мир с ее помощью, можно сказать в математической системе. Но рано или поздно мы сталкиваемся с трудностями в виде противоречий и для дальнейшего исследования в этой системе нам придется принимать на веру очередные аксиомы. Пример, конечно, очень грубый и математики сейчас забросали бы меня калькуляторами, но рано или поздно кто-то спросил бы: «А что будет, если поделить на ноль?». Что будет, если поделить эту кружку на ноль? А низзя!

Читать дальше →