2014 dxdy logo

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

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




На страницу 1, 2, 3, 4, 5, 6  След.
 
 Бесконечности нет
Сообщение12.02.2015, 15:32 
Что будет, если из списка аксиом теории множеств убрать аксиому бесконечноcти $\exists a(\varnothing\in a\, \&\, \forall x (x\in a\Rightarrow x\cup \{x\}\in a))$? Как далеко можно продвинуться, развивая такую теорию множеств?

Например, теорему Кантора-Бернштейна можно доказать?

 
 
 
 Re: Бесконечности нет
Сообщение12.02.2015, 17:28 
axiom-of-infinity-needed-in-cantor-bernstein

 
 
 
 Re: Бесконечности нет
Сообщение18.02.2015, 17:14 
Padawan в сообщении #977304 писал(а):
Например, теорему Кантора-Бернштейна можно доказать?

Я тоже буду ждать ответа от форума. Если можно, у меня вопрос по аксиоме. Так как, $x\in a \Rightarrow x \in  a $ тавтология то можно ли сократить $x \in a \Rightarrow \{x\} \in a$? И ещё, о мощности $a$ в формуле ничего не сказано, не является ли это
Цитата:
Порочный круг
? Нельзя ли
Цитата:
огласить остаток списка
после устранения лишней? :shock: С уважением,

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 13:48 
Аватара пользователя
hurtsy в сообщении #979882 писал(а):
Так как, $x\in a \Rightarrow x \in  a $ тавтология то можно ли сократить $x \in a \Rightarrow \{x\} \in a$?

Очевидно, что нет. Каким образом вы сокращаете?

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 18:13 
Аватара пользователя
ZFC без аксиомы бесконечности имеет модель, состоящую из наследственно конечных множеств. По-моему, без неё аксиомы индукции будут недоказуемы, так что эта теория будет слабее арифметики.

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 19:08 
Аватара пользователя
Оставлю здесь пару ссылок, которые, кажется, по теме: эту и вот эту. Жаль только, что я не сумею поучаствовать в их обсуждении :)
Буду благодарен за ответ на вопрос: правильно ли я понимаю, что в статье по первой ссылке утверждается, что в некотором смысле PA эквивалентна "ZF+аксиома отрицания бесконечности"? (Я понимаю, что "ZF+аксиома отрицания бесконечности" это намного проще, чем просто ZF без аксиомы бесконечности, о которой спрашивается в теме).

-- 22.02.2015, 20:29 --

Здесь отдельные кусочки мозаики выглядят чуть понятнее.

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 19:57 
Аватара пользователя
grizzly в сообщении #981302 писал(а):
Буду благодарен за ответ на вопрос: правильно ли я понимаю, что в статье по первой ссылке утверждается, что в некотором смысле PA эквивалентна "ZF+аксиома отрицания бесконечности"?
"В некотором смысле эквивалентна" в данном случае означает, что в каждой из двух теорий можно построить интерпретацию другой. И нужна не просто ZF с отрицанием аксиомы бесконечности (она оказывается слишком слабой). Требуется ещё добавить аксиому, что каждое множество является подмножеством транзитивного множества (множество называется транзитивным, если каждый его элемент является его подмножеством). Видимо, эта добавка нужна, чтобы можно было доказать аксиомы индукции в модели арифметики.

grizzly в сообщении #981302 писал(а):
Я понимаю, что "ZF+аксиома отрицания бесконечности" это намного проще, чем просто ZF без аксиомы бесконечности, о которой спрашивается в теме
Да, конечно.

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 20:18 
Аватара пользователя
Someone
Большое спасибо! Действительно, необходима дополнительная неслабая аксиома -- я был невнимателен. Та ссылка была не очень в тему.

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 22:02 
kp9r4d в сообщении #981173 писал(а):
Каким образом вы сокращаете?

:oops: Я не сокращаю, но очень хочется. Примерно так $$x\in a\Rightarrow x\cup\{ x \}\in a =(x\in a\Rightarrow x\in a) \cup (x\in a\Rightarrow\{x\}\in a) = x\in a\Rightarrow\{x\}\in a$$
grizzly в сообщении #981347 писал(а):
Действительно, необходима дополнительная неслабая аксиома
Всё же вычисление $\pi$ с точностью более 30 миллионов десятичных знаков используется лишь для тестирования суперпроцессоров и для фокусников типа печально известного "Мистера Пи".Возможно, возникающие прямо на наших глазах квантовые процессоры, позволят, в своё время, отказаться от "слишком сильной" аксиоматики Пеано. Вряд ли,ожидание будет бесконечно долгим. С уважением,

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 23:16 

(Оффтоп)

hurtsy в сообщении #981388 писал(а):
Всё же вычисление $\pi$ с точностью более 30 миллионов десятичных знаков используется лишь для тестирования суперпроцессоров
Странные у Вас представления о суперпроцессорах. Это задача на несколько минут для обычной персоналки.

 
 
 
 Re: Бесконечности нет
Сообщение22.02.2015, 23:41 

(Оффтоп)

Спасибо, за внимание! С уважением, :D

 
 
 
 Re: Бесконечности нет
Сообщение23.02.2015, 00:37 
Аватара пользователя
grizzly в сообщении #981347 писал(а):
Та ссылка была не очень в тему.
"Та" — это которая из двух? Статья, на мой взгляд, совершенно нормальная. А вот ссылка на mathoverflow несерьёзная.

 
 
 
 Re: Бесконечности нет
Сообщение23.02.2015, 01:19 
Аватара пользователя

(Оффтоп)

Someone в сообщении #981437 писал(а):
А вот ссылка на mathoverflow несерьёзная.

Зато я из неё про недоказуемость в PA усиленной теоремы Рамсея узнал. Про последовательности Гудстейна на каждом шагу пишут, а это ведь не менее интересно. Но мне раньше ни разу не попадалось (притом, что теорией Рамсея сколько-то интересовался).

 
 
 
 Re: Бесконечности нет
Сообщение23.02.2015, 02:04 
hurtsy в сообщении #981388 писал(а):
Примерно так $$x\in a\Rightarrow x\cup\{ x \}\in a =(x\in a\Rightarrow x\in a) \cup (x\in a\Rightarrow\{x\}\in a) = x\in a\Rightarrow\{x\}\in a$$
Надеюсь, это была шутка.

 
 
 
 Re: Бесконечности нет
Сообщение23.02.2015, 12:32 
Аватара пользователя
Что такое $\{x\}$?

 
 
 [ Сообщений: 78 ]  На страницу 1, 2, 3, 4, 5, 6  След.


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