Формализм (математика): различия между версиями

м (Интервики (всего 5) перенесены на Викиданные, d:q1433067)
[[Image:Hilbert.jpg|thumb|right|Давид Гильберт]]
Формализм возник в начале [[XX век]]а в математической школе [[Гильберт, Давид|Гильберта]] в рамках попытки свести в единую систему строгие обоснования различных областей математики.
Развивался сотрудниками (учениками) Гильберта [[Аккерман, Вильгельм|Аккерманом]], [[Бернайс, Пауль|П. Бернайсом]], [[Нейман, Джон фон|фон Нейманом]].
 
В отличие от логицизма, формализм не претендовал на построение ''единой'' для всей математики формальной теории, наподобие [[теория множеств|теории множеств]] или [[теория типов|теории типов]].
Анонимный участник