Переворот в математике
Jul. 24th, 2021 05:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
glockaЖили-жили, и никто не догадывался, что можно доказывать или опровергать истинность аксиом:
Asperó and Schindler showed that one of these axioms implies the other, raising the likelihood that both axioms — and all they intimate about infinity — are true.
Учебники придется переписывать!
Asperó and Schindler showed that one of these axioms implies the other, raising the likelihood that both axioms — and all they intimate about infinity — are true.
Учебники придется переписывать!
no subject
Date: 2021-07-25 02:29 am (UTC)Это какие-то сумасшедшие там пишут? Куча нелепого бреда.
no subject
Date: 2021-07-25 07:15 am (UTC)В принципе, все путем.
Раз показана невозможность доказать или опровергнуть гипотезу в аксиоматике Цермело — Френкеля (как с аксиомой выбора, так и без неё), то свято место пусто не бывает, вот и появились желающие состряпать систему, в которой гипотеза континуума верна.
Конкуренты Асперо и Шиндлера опередили добавлением AD, поезд ушел:
Континуум-гипотеза однозначно доказывается в системе Цермело — Френкеля с аксиомой детерминированности (ZF+AD).
Но где же желающие пойти по второму пути - найти дополнительные акисомы, реализующие системы cначала с одним промежуточным множеством, потом - с двумя, и т.д.?
Т.е., ничего революционного, просто еще одна развилка а-ля Гедель,
добавлением аксиом, которые нельзя ни доказать ни опровергнуть в ZFC или ZFminusC.
Скоро количество ответвлений достигнет такого уровня, что людям там делать будет нечего. Кончаются хорошие времена...