2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Можете дать на русском описание теории множеств £ (libra)?
Сообщение08.10.2017, 16:15 


03/10/17
89
en.wikipedia в статье Frode Alfson Bjørdal писал(а):
Bjørdal has mainly been preoccupied with developing an alternative set theory £ (libra) which serves as a foundation for mathematics and deals with the set theoretical and semantical paradoxes in a novel manner.
Приведены ссылки, в частности: Elements of Librationism и Librationist closures of the paradoxes.
Какие новации, вкратце, вводит либрационизм в теорию множеств?

 Профиль  
                  
 
 Re: Можете дать на русском описание теории множеств £ (libra)?
Сообщение09.10.2017, 09:51 
Аватара пользователя


27/02/09

416
Мегаполис

(Оффтоп)

Обещан вкусный и сладкий плод с древа познания добра и зла бесконечностей (и кардиналов), но за это будет изгнание из трансфинитного рая Г.Кантора (предлагается
аксиоматика ZF+"недостижимые-недоступные кардиналы").
:?

 Профиль  
                  
 
 Re: Можете дать на русском описание теории множеств £ (libra)?
Сообщение09.10.2017, 11:43 
Заслуженный участник
Аватара пользователя


23/07/05
18013
Москва
Мастак в сообщении #1254190 писал(а):
но за это будет изгнание из трансфинитного рая Г.Кантора
Вы заблуждаетесь. ZF + аксиомы больших кардиналов — это та же теория множеств с дополнительными аксиомами. "Трансфинитный рай" никуда не девается.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

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



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

Сейчас этот форум просматривают: YandexBot [bot]


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

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