Кажется, Рассел

[jared_lj]

придумал этот пример утверждения, имеющего очевидное доказательство и очевидно не имеющего конструктивного доказательства:

Существует натуральное число, о котором никто из людей никогда не подумает.

Comments

[dmitri_pavlov]

Ага. Из всех таких чисел возьмём минимальное. Противоречие. :-)

[jared_lj]

Нет, здесь, наверное, под "подумать о числе" имеется ввиду "назвать само это число (скажем, в десятичной записи)".

[ex_juan_gan]

Я не вижу ни доказательства, ни даже определения. ;)

[jared_lj]

Дело в том, что этот пример был приведен в книжке по философии, а не по математике ;)

[nikolenko]

Как насчёт автоматического доказательства? ;)

[menato]

Я вот думал, все ли int64 уже бывали в памяти компов :)

[jared_lj]

Я думаю, ради такого дела, можно запустить программку, которая пробежит циклом по всему int64, чтобы точно знать ответ на твой вопрос :)

[paid_upadjust]

Очень понравился ваш ЖЖ, я вас зафренжу и было бы круто если бы вы ответили взаимно;)