Логицизм и интуиционизм как направления в философии обоснования математики
Primary tabs
Forums:
Логицизм и интуиционизм как направления в философии обоснования математики
Фрегги и остальные. Не забывайте имена - напр. Брауэр, В СССР Марков – тут это был конструктивизм ,где любили теорию типов
- Log in to post comments
- 2132 reads