Resultats de la cerca

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

Estudià amb L Brunschvicg i fou professor 1941 a la Sorbona Estudià la teoria de conjunts i els problemes derivats de la seva axiomatització, i s’interessà també per la gènesi de les teories científiques Participà en la resistència i fou afusellat pels nazis Entre les seves obres cal esmentar Méthode axiomatique et formalisme 1937, Remarques sur la formation de la théorie abstraite des ensembles 1938 Pòstumament fou publicada Sur la logique et la théorie de la science 1947

El 1930 començà a aparèixer aquesta signatura en els Comptes Rendus de l’Académie Française des Sciences, i a partir del 1939 iniciaren la publicació dels cèlebres Éléments de Mathématiques Adscrits a l’escola formalista formalisme , han exercit una gran influència en la matemàtica actual l’elaboració dels Éléments sembla ésser una realització del programa de David Hilbert Bé que el funcionament intern i el nom dels membres del grup Bourbaki han estat mantinguts en secret, hom creu que els fundadors foren Henri Cartan, Claude Chevalley, Samuel Eilenberg, Jean Dieudonné i André…

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…

Aquesta definició és força descriptiva, però incompleta, i per això diversos matemàtics han intentat de definir la matemàtica tot assenyalant-ne els trets més característics Així, segons B Russell, la matemàtica consisteix només en afirmacions tals com “si una proposició és veritable referida a un objecte, aleshores una altra proposició també ho és”, de manera que la matemàtica és aquell camp en què hom no sap mai de què parla ni si allò que diu és veritat o no Dins aquesta mateixa línia, H Poincaré diu que els matemàtics no estudien objectes, sinó relacions entre objectes no els interessa la…