Доказательство противоречивости арифметики Пеано

[xwkons]

Если появится доказательство, что пять значений можно обратимо закодировать с помощью двух битов - будет ли это автоматически означать противоречивость всей арифметики и как следствие всей математики ??

[b4b5]

Нет. )

[xwkons]

Почему ?? Ведь согласно этому доказательству : 4 состояния равны пяти !!

[mihaild]

Потому что нет понятия "противоречивость всей математики". Да и что такое "противоречивость всей арифметики" тоже не очень понятно.

[provincialka]

xwkons в сообщении #1698589 писал(а):

Если появится доказательство, что пять значений можно обратимо закодировать с помощью двух битов - будет ли это автоматически означать противоречивость всей арифметики и как следствие всей математики ??

Нет.
Потому что оно будет ложным. То есть по сути не появится

[dgwuqtj]

Доказательство обычное, формальное или рукомахательное?

[vpb]

xwkons
Расскажите лучше про два способа деления на ноль, а то нас тут всех такие любопытки разбирают еще с прошлой темы, прям невтерпёж !

(Оффтоп)

В бурной дискуссии о том, можно ли было высмеивать открывателя деления на ноль, я был в душе на сторона ТСа. Кажется, зря.

[talash]

А если твердь небесная на землю упадёт, то что будет? Давайте обсудим, вроде не оффтоп здесь.

[Утундрий]

Второе "великое открытие" и в столь короткий срок? Наверняка не последнее.

xwkons, огласите весь список, пожалуйста (с)

[eugensk]

xwkons

Вы книжку пишите, не теряйте время на неудачников.
Биты кубиты, пеано гуано.

[Евгений Машеров]

Будет. Равно и доказательством непротиворечивости будет. Поскольку из ложного утверждения следует всё, что угодно.
Так что ждём способа кодировать 5 состояний 2 битами. Надеемся на интересный софизм.