Логицизм: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Уайтхед |
Tosha (обсуждение | вклад) м оформление |
||
Строка 2:
Мысль о сведении математики к логике высказывалась [[Лейбниц, Готфрид Вильгельм|Лейбницем]] в конце 17 в.
Практическое осуществление логицистического тезиса было предпринято в конце 19 — начале 20 вв. в работах [[Фреге
Взгляд на математику как на часть логики обусловлен тем, что любую математическую теорему в аксиоматической системе можно рассматривать как некоторое утверждение о логическом следовании.
Остается только все встречающиеся в таких утверждениях константы определить через логические термины.
| |||