2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 О недоказуемости ВТФ.
Сообщение10.07.2019, 21:46 
По теореме Гёделя о неполноте, в применимости к многочленам от целых переменных, можно утверждать, что существуют многочлены, неравные нулю, и это неравенство нулю, не доказуемо из аксиом арифметики.
В ВТФ такие многочлены могут возникать.
Свойства таких многочленов: они алгоритмически не перечислимы.
Т.е. достаточно чтобы в ВТФ содержались такие многочлены, и тогда ВТФ в результате непротиворечивости арифметики доказуема только после того как будут выявлены все такие многочлены.
Такие многочлены могут возникать при различных степенях, напимер:
${(x+1)}^p+{(y+1)}^p-{(z+1)}^p=0$
при фиксированном $p$

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 22:47 
mathbilanandc в сообщении #1404418 писал(а):
По теореме Гёделя о неполноте, в применимости к многочленам от целых переменных, можно утверждать, что существуют многочлены, неравные нулю, и это неравенство нулю, не доказуемо из аксиом арифметики.
Равенство на $\mathbb Z[x_1,\ldots,x_k]$ проверяется ужасно просто (покоэффициентно) и выразимо формулой арифметики первого порядка сразу же как только мы определимся как кодировать многочлены (а в этом проблем никаких тоже нет). Что вы имели в виду?

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:05 
я имел в виду, и это доказано во многих публикациях, что неравенство нулю многочлена для всех значений натуральных переменных иногда недоказуемо, смотрите например:
1. I. Survey, Martin Davis, Diophantine Equations and Computation, Professor Emeritus
Courant Institute, NYU, Visiting Scholar UC Berkeley.
2. James P. Jones, Undecidable Diophantine Equations, Bulletin (New Series) of the American
Mathematical Society Volume 3, Number 2, September 1980.
3. Martin Davis, The Incompleteness Theorem, Notices of the AMS Volume 53, Number 4.

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:06 
Аватара пользователя
Уже было... Попробуем так: по теореме Гёделя о неполноте, существуют невыполнимые $\Sigma_1$-формулы, невыполнимость которых не доказуема. Отрицание ВТФ может быть выражено $\Sigma_1$-формулой. И что?

(подсказка)

И ничего.

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:11 
а то что она может быть для некоторых $p$ недоказуема

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:17 
Аватара пользователя
Не может, т.к. она доказана для всех степеней.

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:19 
доказательство не верифицировалось ЭВМ, и там ошибка почти наверняка

-- 10.07.2019, 22:21 --

даже тут на форуме про это есть пост

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:56 
Аватара пользователя
Может быть и есть (маловероятно, т.к. доказательство проверялось многими умными людьми; но в принципе можно представить что и теорема Пифагора неверна, а во всех доказательствах есть ошибки). Какая тут связь с теоремой Гёделя? (ну или Матиясевича - существование многочленов, отсутствие корней у которых недоказуемо, это именно теорема Матиясевича)

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение10.07.2019, 23:58 
но пост об ошибке есть на форуме? и это еще один пост об ошибке)))

-- 10.07.2019, 23:00 --

и ссылка на умных людей, в науке неприемлима, да есть авторитеты, но именно те которых стоит перепроверить

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение11.07.2019, 00:24 
Аватара пользователя
На форуме вообще есть много бредовых постов. Если тот пост такого же уровня как ваше "некоторые утверждения доказать нельзя, поэтому в доказательстве произвольно выбранного утверждения может быть ошибка" - то он относится к ним.

Хотите - перепроверяйте, разобраться в такой области в любом случае не вредно. Но нужно будет говорить предметно - какое утверждение нечетко сформулировано, или какой переход незаконен, или еще что-то подобное.
(лично я пытался разобраться хотя бы в общих чертах в окрестностях этой теории, но понял, что либо вообще не справлюсь, либо это займет больше времени, чем я готов потратить)

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение11.07.2019, 00:29 
mathbilanandc в сообщении #1404418 писал(а):
По теореме Гёделя о неполноте,

А она разве применима к обычной алгебре?

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение11.07.2019, 11:04 
если аксиоматика содержит арифметику, то к ней применима теорема Гёделя о неполноте. с уважением)))

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение11.07.2019, 11:12 
Аватара пользователя
mathbilanandc в сообщении #1404493 писал(а):
если аксиоматика содержит арифметику, то к ней применима теорема Гёделя о неполноте.
mathbilanandc, а что Вы понимаете под алгеброй? Если школьное манипулирование с буквенными выражениями (включая решение алгебраических уравнений), то не содержит.

 
 
 
 Re: О недоказуемости ВТФ.
Сообщение11.07.2019, 11:14 
согласен

 
 
 [ Сообщений: 14 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group