logicism

неисчисляемое

A philosophical theory asserting that all mathematical truths can be derived from the principles of formal logic.

• 🇷🇺Философская теория, утверждающая, что все математические истины могут быть выведены из принципов формальной логики.

1. Philosophical theory of mathematics C2 formal

   The philosophical position that mathematics is reducible to, or an extension of, formal logic.

   • Logicism was a central project of early analytic philosophy.
   • The attempt to prove logicism was a major goal of Bertrand Russell and Alfred North Whitehead's Principia Mathematica.
   • Critics of logicism argue that some mathematical truths cannot be derived from purely logical axioms.

   🇷🇺Логицизм

   Антонимы: constructivismformalismintuitionism