Вопрос по теореме Геделя

[alhimikoff]

Brukvalub в сообщении #1078838 писал(а):

*** в сообщении #1078836 писал(а):

alhimikoff в сообщении #1078832 писал(а):

Для любой теории Т и любого утверждения Р, если Р может быть доказано в Т, то оно имеет другое доказательство из 100 сложений и умножений целых чисел.

Контрпример, сумма 101 случайного числа.

Это не контрпример, а просто отменная глупость.

А чем не контрпример?
Утверждение о том, что эта сумма равна А.
Или теорема предполагает выполнение неопределённого числа других действий помимо сложения и умножения?
Например сложение заменим вычитанием, умножение делением, и всё в порядке?

Кажется, что $b^{5^{60}}$ и 100 взяты с потолка.
Если заменить $b^{5^{60}}$ на $b^{5^{59}}$, что-то изменится?

[***]

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

[Brukvalub]

alhimikoff в сообщении #1079014 писал(а):

...
А чем не контрпример?
Утверждение о том, что эта сумма равна А.
Или теорема предполагает выполнение неопределённого числа других действий помимо сложения и умножения?
Например сложение заменим вычитанием, умножение делением, и всё в порядке?

Кажется, что $b^{5^{60}}$ и 100 взяты с потолка.
Если заменить $b^{5^{60}}$ на $b^{5^{59}}$, что-то изменится?

Еще один "ниспровергатель основ".

alhimikoff в сообщении #1078832 писал(а):

В конце такая теорема:
Для любой теории Т и любого утверждения Р, если Р может быть доказано в Т, то оно имеет другое доказательство из 100 сложений и умножений целых чисел.

Укажите, какое утверждение $P$ и в какой теории $T$ доказывается как "сумма $101$ случайного числа".

[alhimikoff]

Brukvalub
В этой статье, из которой почти полностью переписана статья в Википедии, нет даже намёка на доказательства.
Может быть вы знаете откуда взято $b^{5^{60}}$ и 100 сложений?

[Brukvalub]

alhimikoff в сообщении #1079038 писал(а):

Может быть вы знаете откуда взято $b^{5^{60}}$ и 100 сложений?

отсюда.