Resultats de la cerca

Propugna que la matemàtica és l’estudi d’uns tipus de construccions mentals en les quals els objectes que hom maneja han d’ésser definits donant un criteri que en permeti la construcció i on el llenguatge emprat, sigui ordinari o simbòlic, només és un instrument auxiliar i no una part essencial de les construccions formalisme Hom accepta que la matemàtica intuïcionista és formada de tot allò que és conseqüència segons les normes de la lògica intuïcionista de la construcció de la successió dels nombres naturals ℕ, de la qual resulten evidents els axiomes de Peano base de la construcció formal…

La construcció d’un sistema formal resulta, aleshores, d’obtenir, a partir d’uns axiomes inicials, dels quals pot no existir cap realització concreta i dels quals hom no en qüestiona l’existència “real”, un conjunt consistent de teoremes El formalisme, anomenat a voltes axiomatisme o axiomàtica formal , fou introduït pel matemàtic alemany David Hilbert, i, com a intent de fonamentació de la matemàtica, s’oposa al logicisme de Russell i Whitehead i a l'intuïcionisme de Brouwer

És autor de nombrosos teoremes sobre la consistència, completesa i decidibilitat de certes teories matemàtiques, com ara la teoria dels conjunts Segons Gödel, la lògica matemàtica és una ciència anterior a les altres, i conté les idees i els principis en què es basen totes les ciències Bé que hom el pot considerar un dels grans representants del logicisme, tendència que vol fonamentar la validesa de la matemàtica en la lògica, cal observar en ell certes influències de l' intuïcionisme