Информация о группе
- VK ссылка:club338191
- Тип сообщества: открытое
- Количество подписчиков: 164
Изучение недоказуемости.
Описание: клуб тех, кому интересны недоказуемые математические утверждения.
Тайная мечта - привлечь разных математиков и понаходить недоказуемые утверждения в их предметах...
Не всегда обязательно должна быть какая-нибудь рамсеевскость. Можно ординальные инварианты или полуинварианты, да и другие причины недоказуемости встречаются. Чем сложнее задачка - тем вероятнее, что там сидит недоказуемость.
Иногда бывает, что там сидит чуть-чуть недоказуемости. Ну, тоже хорошо.
Вероятно, никакой группы не получится, но мало ли забредут активные люди, начнут что-нибудь интересное говорить...
Никакую логику толком понимать для участия не обязательно, но нужно знать свой собственный предмет.
Короче, пишите сюда все вопросы, предложения и невероятные догадки! Авось что получится!
Тайная мечта - привлечь разных математиков и понаходить недоказуемые утверждения в их предметах...
Не всегда обязательно должна быть какая-нибудь рамсеевскость. Можно ординальные инварианты или полуинварианты, да и другие причины недоказуемости встречаются. Чем сложнее задачка - тем вероятнее, что там сидит недоказуемость.
Иногда бывает, что там сидит чуть-чуть недоказуемости. Ну, тоже хорошо.
Вероятно, никакой группы не получится, но мало ли забредут активные люди, начнут что-нибудь интересное говорить...
Никакую логику толком понимать для участия не обязательно, но нужно знать свой собственный предмет.
Короче, пишите сюда все вопросы, предложения и невероятные догадки! Авось что получится!
