Проблема разрешимости гипотезы Римана

[iceplasm]

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен непротиворечивости аксиомам Пеано (P), в силу второй теоремы Геделя и непротеворечивости P гипотеза окажется верной. Прошу немного обсуждений на эту тему.

[Xaositect]

iceplasm в сообщении #928168 писал(а):

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен утверждению о непротиворечивости аксиомам Пеано

Почему? (И вообще что такое "алгоритм эквивалентен утверждению"?)

[iceplasm]

Xaositect в сообщении #928170 писал(а):

iceplasm в сообщении #928168 писал(а):

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен утверждению о непротиворечивости аксиомам Пеано

Почему? (И вообще что такое "алгоритм эквивалентен утверждению"?)

Я на это надеюсь

[Xaositect]

А что все-таки значит, что какой-то алгоритм эквивалентен какому-то утверждению? Это какое-то Ваше личное изобретение.

[iceplasm]

Xaositect в сообщении #928173 писал(а):

А что все-таки значит, что какой-то алгоритм эквивалентен какому-то утверждению? Это какое-то Ваше личное изобретение.

Не знаю как Вы понимаете, но я думаю вы придираетесь выдернув из контекста.

[Xaositect]

Я именно что не понимаю, что это значит. Я не знаю определения того, что алгоритм эквивалентен утверждению.

У Вас простое утверждение, в котором я понимаю все, кроме того, что значит в этом контексте слово "эквивалентен".Объясните, пожалуйста, что Вы имеете в виду.

iceplasm в сообщении #928168 писал(а):

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен утверждению о непротиворечивости аксиомам Пеано

[Deggial]

iceplasm в сообщении #928178 писал(а):

Не знаю как Вы понимаете, но я думаю вы придираетесь выдернув из контекста.

Не надо от таких вопросов уклоняться. Рекомендую ознакомиться с правилами Дискуссионного раздела

[iceplasm]

Xaositect в сообщении #928180 писал(а):

Я именно что не понимаю, что это значит. Я не знаю определения того, что алгоритм эквивалентен утверждению.

У Вас простое утверждение, в котором я понимаю все, кроме того, что значит в этом контексте слово "эквивалентен".Объясните, пожалуйста, что Вы имеете в виду.

iceplasm в сообщении #928168 писал(а):

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен утверждению о непротиворечивости аксиомам Пеано

Пожалуйста. http://logic.amu.edu.pl/images/3/3c/Kirbyparis.pdf

[Deggial]

Тема перемещена из форума «Дискуссионные темы (М)» в форум «Карантин»
Причина переноса: не сформулирован предмет обсуждения

iceplasm
Сформулируйте предмет обсуждения внятно и полностью.

iceplasm в сообщении #928187 писал(а):

Xaositect в сообщении #928180 писал(а):

Я именно что не понимаю, что это значит. Я не знаю определения того, что алгоритм эквивалентен утверждению.

У Вас простое утверждение, в котором я понимаю все, кроме того, что значит в этом контексте слово "эквивалентен".Объясните, пожалуйста, что Вы имеете в виду.

iceplasm в сообщении #928168 писал(а):

Алгоритм, который обнаружит нарушение гипотезы, должен быть эквивалентен утверждению о непротиворечивости аксиомам Пеано

Пожалуйста. http://logic.amu.edu.pl/images/3/3c/Kirbyparis.pdf

Потрудитесь процитировать в теме конкретный абзац из данного текста, где якобы написано определение эквивалентности утверждений и алгоритмов. Читатель не должен страдать из-за того, что Вы не можете внятно сформулировать свои мысли.

Напоминаю, что все формулы и термы следует набирать $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.