Filosofia de les matemàtiques: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: la arrel -> l'arrel quadrada |
m Corregit: la aritmètica -> l'aritmètica que |
||
Línia 274:
Així, d'una banda, el formalisme és hereu de Kant. D'altra banda, el formalisme és una forma de nominalisme. Per al formalisme, com per a qualsevol nominalisme, no existeixen els conceptes correctes o incorrectes. Els conceptes ens els inventem nosaltres. Per tant, els conceptes matemàtics i les seves teories corresponents amb els seus axiomes són producte de la nostra imaginació. L'únic requisit és que no hi haja contradiccions en el concepte (expressat en el conjunt dels axiomes).
El formalisme té en contra els anomenats [[Teoremes d'incompletesa de Gödel]] formulats per [[Kurt Gödel]] el 1931. Una conseqüència d'aquests teoremes és que és impossible presentar un sistema formal per a
== Intuïcionisme ==
| |||