2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение09.03.2017, 14:50 
Заслуженный участник


13/12/05
4517
kp9r4d в сообщении #1169500 писал(а):
Мне кажется, вы слишком платонист и именно поэтому столь сильно упрощаете ситуацию.

kp9r4d в сообщении #1169599 писал(а):
Удивляет, опять же, потому, что это серьезный контраргумент против различного платонизма и математического реализма и по сути сильно компрометирует (по крайней мере для меня) такие несепарабельные конструкции как "модель", "истинность", "стандартная модель натуральных чисел", ...

kp9r4d в сообщении #1169599 писал(а):
получается "стандартная модель натуральных чисел" - это вообще нечто совсем эфимерное и спекулятвное, что никакими логическими финитарными средствами не потрогаешь.

Доказательство теоремы Гёделя о неполноте существенным образом использует содержательные свойства натуральных чисел "стандартной модели". Так что пытаться обойти представление о натуральных числах, которое формируются с детских лет и далее развивается постепенно до аксиом Пеано (с аксиомой индукции в логике второго порядка), просто невозможно. Говорить о теореме Гёделя и отрицать "платоническую реальность" натуральных чисел бессмысленно. Если у кого-то нет представления о "стандартной модели" натуральных чисел, то он просто не поймет доказательство теоремы Гёделя (а может и её формулировку!). Множество натуральных чисел существует (и единственно с точностью до изоморфизма). Это неформальная аксиома (и теорема). Теорема Гёделя - неформальное метаматематическое утверждение, и её доказательство - такое же. Её можно формализовать в рамках какой-либо формальной теории, но это ничего не добавит к её убедительности. Потому что возникнут вопрос, а какое отношение эта формализация имеет к тому, чт мы подразумеваем под теоремой Гёделя. Итог: все нельзя формализовать в математике, всегда будет оставаться содержательный неформализованный метауровень!

Кстати, в который раз вспоминаю Кронекера, который сказал: "Бог создал целые числа, всё остальное - творение человека".

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение16.03.2017, 18:33 
Заслуженный участник


13/12/05
4517
Возник такой вопрос, в продолжение моего поста http://dxdy.ru/post1198430.html#p1198430. Часто при формулировке теоремы Гёделя делается оговорка, мол, если арифметика Пеано не противоречива. Но как она может быть противоречива, если она имеет модель в виде обычных натуральных чисел? Оговорка получается лишней. А если кто-то сомневается в существовании системы натуральных чисел, то ему и теорема Гёделя вовсе не теорема. Ибо в ней эти числа существенно используются при доказательстве. В общем, не пойму я смысла этой оговорки. Может я чего-то не понимаю?

Вот оговорка про непротиворечивость теории множеств мне понятна. Кто их знает, эти множества, тем более прецеденты были. Если противоречивость вскроется, нужно будет подправить аксиомы.

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение16.03.2017, 18:43 
Заслуженный участник


02/08/11
6874
Padawan в сообщении #1200954 писал(а):
Но как она может быть противоречива, если она имеет модель в виде обычных натуральных чисел?
А нам точно известно, что это именно модель, а не просто интерпретация?

-- 16.03.2017, 19:48 --

Padawan в сообщении #1200954 писал(а):
Ибо в ней эти числа существенно используются при доказательстве.
Существенно, но всё-таки ограниченно, так что доказательство можно аксиоматизировать (в другой аксиоматике, не Пеано).

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение16.03.2017, 18:50 
Заслуженный участник


13/12/05
4517
В чем разница между моделью и интерпретацией? В моем понимании модель для арифметики Пеано - это множество, на котором заданы операции $0,s,+,\cdot$, удовлеторяющие тем соотношениям, которые приняты в АП за аксиомы.

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение16.03.2017, 19:37 
Заслуженный участник


27/04/09
28128
Ну да, модель теории — это интерпретация, в которой все теоремы теории истинны, и если теория аксиоматизирована каким-то множеством аксиом, достаточно, чтобы в этой интерпретации все они были истинны, как вы написали.

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение16.03.2017, 23:57 
Заслуженный участник


02/08/11
6874
Вот и возникает вопрос ­— как проверить, что аксиомы в стандартной интерпретации истинны? Аксиом много, натуральных чисел тем более...

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение17.03.2017, 05:24 
Заслуженный участник


13/12/05
4517
warlock66613
Аксиомы Пеано. См., например Ландау Основы анализа. Там из них выводятся все свойства натуральных чисел. Какая именно из аксиом у Вас вызывает сомнение? Аксиома индукции? Да даже не в этом дело. Натуральные числа определяется как множество, с выделенным элементом и операцией следования, удовлетворяющих аксиомам Пеано. Существование натуральных чисел постулируется. На них основана вся математика, а не только теорема Геделя. Без натуральных чисел Вы даже не сможете определить что такое формула в каком либо формальном исчислении. В той же АП. Да даже что такое конечный набор символов алфавита.

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение17.03.2017, 10:40 
Заслуженный участник


02/08/11
6874
Padawan в сообщении #1201077 писал(а):
Без натуральных чисел Вы даже не сможете определить что такое формула в каком либо формальном исчислении. В той же АП. Да даже что такое конечный набор символов алфавита.
Смогу. "Настоящие" натуральные числа можно заменить объектами из всё той же арифметики Пеано или любой другой аксиоматизации.

 Профиль  
                  
 
 Re: Опять о теореме Геделя
Сообщение17.03.2017, 11:17 
Заслуженный участник


27/04/09
28128
Ну, тут не так всё просто, т. к. у арифметики Пеано есть нестандартные модели с «числами», идущими после всех стандартных, и мы, разумеется, никак не можем отделить их средствами языка арифметики от стандартных, и если начнём определять вывод, у нас возникнут в такой модели выводы со счётным (и более, если мощность модели больше) числом шагов. И формулы с термами тоже.

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение17.03.2017, 21:06 
Админ форума
Аватара пользователя


19/03/10
8952
 i  Выделено из темы «Опять о теореме Геделя»

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение17.03.2017, 22:38 
Заслуженный участник


02/08/11
6874
Ну не знаю тогда. Есть интуитивное чувство, что ответ на загаданную Padawan загадку лежит за пределами теорий первого порядка.

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение18.03.2017, 05:22 
Заслуженный участник
Аватара пользователя


16/07/14
8341
Цюрих
Может быть, проблема в том, что теоремой Гёделя можно называть как "настоящую" теорему арифметики $\exists \varphi: \varphi \leftrightarrow \neg \Box_{PA} \varphi$ (а 2й $Cons_{PA} \rightarrow \neg \Box_{PA} \ulcorner Cons_{PA}\urcorner$), так и неформальную "если арифметика непротиворечива, то она неполна"?

Формально у нас есть три варианта:
1) $PA$ непротиворечива, и у нее есть модель, соответствующая нашей "интуиции" про стандартную модель: оговорка не нужна
2) $PA$ противоречива: оговорка нужна
3) $PA$ непротиворечива, но у нее есть только "нестандартные" модели: всё очень плохо (непонятно, что вообще "значат" все наши формальные результаты про выводимость)

Тот, кто говорит "арифметика неполна" "прав" (на неформальном уровне) в 1м случае, тот, кто говорит "если непротиворечива, то неполна" - в 1 и 2.

Интересный вопрос, что мы будем делать, если окажется, что $PA \vdash \neg Cons_{PA}$...

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение18.03.2017, 06:33 
Заслуженный участник


13/12/05
4517
Думаю, что третий вариант невозможен. Т.к. если есть хотя бы одна модель, то в ней найдется подмножество, являющееся стандартной моделью. А именно, множество $0,0',0'',0''',...$, которое можно формально определить как наименьшее по включению множество, содержащее нуль и замкнутое относительно операции следования (правда на языке логике второго порядка). Но я еще раз говорю, если запрещено использовать натуральные числа, то что вообще разрешено?

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение18.03.2017, 06:46 
Заслуженный участник
Аватара пользователя


16/07/14
8341
Цюрих
Padawan в сообщении #1201408 писал(а):
А именно, множество $0,0',0'',0''',...$, которое можно формально определить как наименьшее по включению множество, содержащее нуль и замкнутое относительно операции следования (правда на языке логике второго порядка).
Мало что знаю о логике второго порядка. Там будут какие-то принципиальные отличия от аналогичного определения в $ZF$ ($\mathbb{N}$ - наименьшее индуктивное множество)?
Если мы вводим какую-то метатеорию, в которой будем отличать стандартные модели от нестандартных, то что нас спасет от "нестандартных" моделей этой метатеории?

В конечном итоге, видимо, разрешено использовать "интуицию" про операции со строчками.

Что значит "запрещено использовать натуральные числа"? Формализация неформальных утверждений - операция неформальная:-) И она опирается на неформальную интуицию "стандартной модели". А получившуюся штуку уже можно доказывать формально.

 Профиль  
                  
 
 Re: О непротиворечивости арифметики, теореме Гёделя, etc.
Сообщение24.03.2017, 03:53 
Заслуженный участник


31/12/15
922
Непротиворечивость арифметики простым глазом не видна. Никакой физический опыт нас не убеждает в существовании числа $10^{10^{100}}$. По поводу единственности: в настоящее время придуманы содержательные комбинаторные утверждения о натуральных числах, не доказуемые и не опровержимые в ZF (содержательные в отличии от малонаглядных неразрешимых формул Гёделя), их в огромном количестве производит Харви Фридман и выкладывает на FOM
http://www.cs.nyu.edu/pipermail/fom/
вот его свежая похвальба
http://www.cs.nyu.edu/pipermail/fom/201 ... 20392.html
Таким образом, никакой единственности натурального ряда больше нет - есть разные натуральные ряды, в которых выполнены разные комбинаторные утверждения, как есть разные геометрии. Как вообще устроен "реальный" натуральный ряд (ряд километров, уходящий в космос), мы мало знаем.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 29 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: vicvolf


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group