Википедия:Рецензирование/Основания математики
Перейти к навигации
Перейти к поиску
Рецензирование статьи Основания математики
[править код]Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.
Статья на тему, пограничную между математикой, логикой и философией. В профессиональные дебри я старался не лезть, но буду благодарен за подсказку дополнительных источников общего плана и тем, которые, возможно, освещены недостаточно. LGB (обс.) 12:02, 16 декабря 2017 (UTC)
- Интереснейшая и важнейшая тема. Мне кажется, в статье стоит упомянуть HoTT. Источников, к сожалению, подсказать не могу, но что-то можно позаимствовать из статьи en:Univalent foundations. --Браунинг (обс.) 13:47, 20 декабря 2017 (UTC)
- Спасибо, почитаю. Если сам пойму и смогу перевести на язык, понятный массовому читателю, то использую. LGB (обс.) 09:46, 22 декабря 2017 (UTC)
Замечания здесь и на СО помогли дополнить раздел о современном состоянии, всем спасибо. Теперь, мне кажется, статья может претендовать на статус ИС, если я ошибаюсь, меня поправят. LGB (обс.) 12:01, 12 января 2018 (UTC)