Вы здесь

  • Логицизм — одно из основных направлений математики и философии математики, ставящее целью обосновать математику путём сведения её исходных понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм. Мысль о сведении математики к логике высказывалась Лейбницем в конце 17 в. Практическое осуществление логицистического тезиса было предпринято в конце 19 — начале 20 вв. в работах Фреге, и в «Principia mathematica» за авторством Уайтхеда и Рассела. Взгляд на...