Resultats de la cerca

Estudià a Heidelberg, a Leipzig i a París, i fou catedràtic a Königsberg i a Göttingen Dedicat a la lògica matemàtica, aplicà a la geometria els nous instruments lògics introduïts per Peano Fou el cap de l’escola formalista i el creador de la metamatemàtica, s’esforçà per provar la consistència del sistema axiomàtic i inventà un simbolisme que, juntament amb els de Russell i Lukasiewicz, ha trobat una amplíssima audiència en el món científic Introduí el concepte d’espai que avui porta el seu nom, i fou l’autor de Grundlagen der Geometrie ‘Fonaments de geometria’, 1899

Estudià a la Universitat de Harvard i fou professor a Princeton 1909-12 i a Harvard 1919-44 Féu els seus primers treballs sobre equacions diferencials lineals i, sota la influència dels descobriments de Poincaré, començà a treballar en mecànica teòrica, especialment en òrbites periòdiques, problema dels tres cossos i estabilitat, i escriví la notable memòria Dynamical Systems with Two Degrees of Freedom 1928 Estudià el problema dels tres cossos mitjançant el mètode ergòdic Entre d’altres obres, escriví Relativity and Modern Physics 1923 i The Origin, Nature and Influence of…

És compost, per tant, de sis triangles equilàters traçats sobre els sis costats d’un hexàgon regular L'estrella de David és un hexagram

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

Fou professor a la Universitat d’Amsterdam 1912-55 i un dels fundadors de la topologia moderna Els seus treballs bàsics es desenvoluparen en els camps de l’epistemologia i de la fonamentació de les matemàtiques Fou el principal representant de l' escola matemàtica intuïcionista , que s’oposa a les escoles axiomàtiques, de David Hilbert, i logicista, iniciada per Gottlieb Frege i continuada per Giuseppe Peano i Bertrand Russell Brouwer construí una certa noció de conjunt i la definició de continuïtat a partir del nombre zero La postura intuïcionista es nega a acceptar l’existència…

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é…

Graduat en enginyeria per l’École Polytechnique de París 1993, obtingué el doctorat en estadística a la Universitat de Stanford Estats Units l’any 1998, on s’incorporà com a professor assistent fins el 2000 Aquest any passà al California Institute of Technology, d’on el 2006 ocupà la càtedra Ronald and Maxine Linde de matemàtiques aplicades i computacionals L’any 2009 retornà a Stanford Es important la seva contribució a l’estudi de les ondetes, que repercutí posteriorment en el camp de la compressió de dades , en el qual amb Terence Tao  desenvolupà la teoria del compressed sensing 2006, que…

Alhora, imposa axiomàticament l’arquimedianitat i la completesa de la recta geomètrica

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…