Логицизм и интуиционизм как направления в философии обоснования математики

Primary tabs

Submitted by vedro-compota on Tue, 05/31/2016 - 23:42

Фрегги и остальные. Не забывайте имена - напр. Брауэр, В СССР Марков – тут это был конструктивизм ,где любили теорию типов