Обсуждение:Логицизм
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled
[править код]См. также Категории
Философский словарь
[править код]Безнадежно устарел, наполнен всяческой "диалектической логикой" и прочей галиматьей. В словаре прямо так и пишется, дескать, логицизм "опровергнут", расходимся. Тема самого логицизма не раскрыта, нужно заменить эти выдержки на что-нибудь получше.
P.S. Гедель никогда не "доказывал, что никакая логика не может быть базой математики", как раз теорема о полноте говорит обратное, теорема о неполноте относится к арифметике. Читайте книгу Торкеля Францена о теореме Геделя, там все такие перлы по полочкам раскладываются. 188.187.128.96 22:09, 12 августа 2020 (UTC)