Правильно ли медитировать так

Серж · Зарегистрирован: 28.01.2011 Суждений: 4126

Матан не нужен.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 51601

Ах да, байт-кода у математика тоже нет - это слишком неформализованное понятие. У него есть машина Тьюринга или нормальный алгорифм.

Вантус

Всё что надо знать об этой глупости, это следующее:

"Каждому примитивному символу, выражению и последовательности выражений некоторой формальной системы[~ 4] S поставим в соответствие определённое натуральное число"

Это создание примитивного байт-кода, который оказывается содержащим ошибку, так как, грубо говоря, функции в нем могут быть записаны поверх данных - вот и всё "доказательство".

И не надо гнуть пальцы, тут собственно математики можно и не касаться, так как ошибка еще до неё.

Вантус

Матан не нужен.

Серж · Зарегистрирован: 28.01.2011 Суждений: 4126

Серж пишет:

Матан не нужен.

Кукарекнул многократно опущенный Серж.

Вантус

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

Вантус

Если кому интересно, как нумеруют формулы и списки формул, см. здесь.

Но вообще тут произошло откровение. Расчехление пролапса, говоря словами бессмертного Ануса Дрануса. С кем я общался, е-мое. Философы, буддисты. Клуб непризнанных гениев, блин.

Дмитрий С

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

Серж · Зарегистрирован: 28.01.2011 Суждений: 4126

Где ее применение?

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 51601

Серж пишет:

Матан не нужен.

Кукарекнул многократно опущенный Серж.

Дмитрий С

Саша, для коллег, возможно, будет более понятным доказательство несчетности множества действительных чисел.

Как бы мы их ни нумеровали, всегда можно построить число, не вписывающееся в эту нумерацию.

Это тоже «нетривиальный» результат.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 51601

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

Дмитрий С

Где ее применение?

Вантус

Вантус пишет:

Серж пишет:

Матан не нужен.

Кукарекнул многократно опущенный Серж.

Последнее предупреждение за оскорбление участника форума. Дальше сразу бан. И обижайтесь тут только на себя.

Серж · Зарегистрирован: 28.01.2011 Суждений: 4126

Серж пишет:

Где ее применение?

Вы имеете ввиду математику/арифметику?