Logicismo: diferenças entre revisões

Logicismo é a tese que a [[matemática]] -- ou uma parte dela -- reduz-se a [[lógica]] -- ou a uma parte da lógica. [[Gottlob Frege]] foi oum primeirodos primeiros lógicos a defendê-la. Ele examinou (p.ex., nos ''Fundamentos da Aritmética'' (1884)) como a lógica poderia estar na base de algumas verdades matemáticas -- precisamente àquelas da aritmética -- sem torná-las totalmente triviais; e [[Bertrand Russell]] -- com a colaboração de [[A.N.Whitehead]] -- estendeu essa indagação também para as verdades da geometria (p.ex., em ''Principia Mathematica'' (1910-13) ).