История изменений
Исправление
stevejobs,
(текущая версия)
:
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
~2
Формальная система, содержащая неразрешимую, то есть невыводимую и неопровержимую, формулу, называется неполной.
(Википедия)
Это формулировка теоремы Геделя о неполноте. Давай сюда хотя бы одну А, которая служит примером неразрешимой формулы. TITS OR GTFO. Так же хочу добавить, что теорему Ферма доказали, и ее приводить в качестве примера больше нельзя.
Исправление
stevejobs,
:
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
~2
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
Это формулировка теоремы Геделя о неполноте. Давай сюда хотя бы одну А, которая служит примером неразрешимой формулы. TITS OR GTFO. Так же хочу добавить, что теорему Ферма доказали, и ее приводить в качестве примера больше нельзя.
Исходная версия
stevejobs,
:
Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна[~ 2] и A служит примером неразрешимой формулы.
Это формулировка теоремы Геделя о неполноте. Давай сюда хотя бы одну А, которая служит примером неразрешимой формулы. TITS OR GTFO. Так же хочу добавить, что теорему Ферма доказали, и ее приводить в качестве примера больше нельзя.