Warhammer 40000 Рейтинг в сообществе: 18.9 | |
art Рейтинг в сообществе: 12.4 | |
политика Рейтинг в сообществе: 9.8 | |
Rick and Morty Рейтинг в сообществе: 7.5 | |
Эротика Рейтинг в сообществе: 4.3 | |
Игры Рейтинг в сообществе: 3.3 | |
twitter Рейтинг в сообществе: 0.3 | |
Смешные комиксы Рейтинг в сообществе: 0.2 | |
Anime Рейтинг в сообществе: 0.1 | |
арт барышня Рейтинг в сообществе: 0.1 |
Постов: 53
- хороших: 13
- лучших: 10
Комментариев: 644
хуй пойми чтослишком уж философская.Алсо
>то верность этой аксиомы однозначно доказывается
Сук, гипотезы, а не аксиомы. Язык совсем заплелся.
Но с другой стороны во всех этих основах математики поднасрал Гедель, показав что в любой достаточно сложной формальной системе есть высказывания которых невозможно доказать или опровергнуть в рамках данной аксиоматики. А шоб сделать это возможным нужно добавлять или менять аксиомы, и опровергаемость или доказуемость будет зависит от выбора новых аксиом (ну и заодно появятся другие недоказуемое высказывания). Также континуум гипотеза которую нельзя доказать или опровергнуть в системе Цермело — Френкеля с аксиомой выбора, если эту аксиому заменить на аксиому детерминированности, то верность этой аксиомы однозначно доказывается, но с другой стороны неполучится построить всякие штуки типа нестандартного анализа.