2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Ищут ли сейчас контрпример для проблемы останова?
Сообщение25.02.2018, 06:32 
Заслуженный участник


31/12/15
922
Граждане, не рассуждайте о том, чего не знаете. Очень просто занумеровать все выводы какой-нибудь теории (например ZF). Вывод -- это просто дерево формул, построенное из аксиом с помощью правил вроде modus ponens. Затем выписываем утверждение "не существует вывода формулы $0=1$" и вот мы записали утверждение о непротиворечивости ZF (в языке формальной арифметики, на самом деле, тут даже не нужен язык теории множеств). Дальше верно одно из двух: или ZF непротиворечива и тогда это утверждение в ней доказать нельзя (теорема Гёделя), или ZF противоречива и тогда в ней можно доказать что угодно. Непротиворечивость ZF ниоткуда не видна, получена она из соображений, близких к религиозным, никакой физический опыт нас не убеждает в существовании диковинных зверей, о которых учит ZF.

 Профиль  
                  
 
 Re: Ищут ли сейчас контрпример для проблемы останова?
Сообщение25.02.2018, 16:24 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Кстати про неудобство арифметики: странно, что очень редко (мне не попадалось) используют для иллюстрации гёделевского аргумента чуть более простую в работе аналогичную ей аксиоматизацию множества всех двоичных строк $\{0, 1\}^*$ (натуральные числа можно считать строками над алфавитом из одного элемента). Язык богаче на один символ, аксиом чуть больше, но зато можно намного удобнее описать строки над любыми другими алфавитами и строки из таких строк.

С рекурсивными функциями та же вещь. Странно, что во вводные тексты это, кажется, ещё не проникло.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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