[садовник]

Объясняю популярно суть, о чём шла речь.

Плут заявил, что математика - абсолютна. Естественно никаких доказательств этого привести он не может. Вообще на данном развитии научной мысли - их не существует! А судя по всему и никогда не будет существовать Впрочем тут казус. Вообще актуальная бесконечность подразумевает всякую возможность... и вроде как по этой логики в том числе возможность абсолютной математики. Но это скорее смысловая эквилибристика из разряда - сможет ли всемогущий бог создать камень, который сам же не сможет поднять... Да, да, да - вечно они самореферентные ссылки.

Дело вот в чём. Математика - это рациональная наука. Но как так то? Мы ведь в математике используем иррациональные определения, понятия и т.д.? Нет, мы их не используем. Мы их обозначаем, точно так же как обозначаем Бога. Вы что хотите сказать, что обозначив Бога вы его используете что ли? Вы используете какие-либо аспекты Бога. Ну к примеру, совесть, Различение, логику объективного мира вокруг и т.д.
Точно так же обозначив иррациональное число... вы используете некие его аспекты, скажем, в реальном моделировании ограничив действующие мантиссы определённым знаком.

Плут вместо Бога просовывает абсолют некой рациональной системы. Т.е. детерминированный автомат. Причём подсовывает очень грубо без утруждения даже приводить какие-либо доводы. Вот просто это есть абсолют и всё и чихал я на ваше противоречие, математически выраженное теоремой Гёделя о неполноте.

Хитрость ещё в том, что если математика - абсолютна, то нет места Богу. Иначе как? Если Бог что-то сделает, чтобы проявить себя, то это должно пойти вразрез с абсолютной математикой (появятся какие-то процессы, выходящие за рамки абсолютной математики, а какая же она тогда абсолютная, если имеются процессы, которые ей не подчинены). Или Бог просто никак себя не проявляет... Ну тогда и постулат о его наличии - лишняя сущность.

Пока он приводил ссылки исключительно на детерминированную математику. При этом утверждая, что существует некая индетерминированная математика... и называя индетерминированной математикой обычное детерминированное ограничение теории множеств - теорию категорий.
Я понять не могу пока - это у него каша в голове или случайный хаос из запросов гугл о'кей.

Математика - это по определению рациональный предмет. Математика иррациональности - это софистический нонсенс, мелкое жульничество или обозначение обычной математики, имеющей дело с иррациональными числами, но не самой математики иррациональности. Может быть там в актуальной бесконечности и можно что-то (вот напрочь не представляю как это возможно), но только она точно не будет являться математикой по определению.