Accès plus rapide que le navigateur!
38 relations: Arithmétique, Axiomes de Peano, Étienne Ghys, Correspondance de Curry-Howard, Crise des fondements, David Hilbert, Emil du Bois-Reymond, Fondements des mathématiques, Georg Cantor, Georg Kreisel, Gerhard Gentzen, Gottlob Frege, Hermann Weyl, Ignorabimus, Images des mathématiques, Intuitionnisme, Jean Largeault, John von Neumann, Kurt Gödel, Luitzen Egbertus Jan Brouwer, Mathématiques classiques, Mathematical Association of America, Nombre epsilon, Nombre ordinal, Paul Bernays, Paul David Gustave du Bois-Reymond, Pessimisme, Presses universitaires de France, Principe du tiers exclu, Problèmes de Hilbert, Récurrence transfinie, Richard Courant, Théorème de Bolzano-Weierstrass, Théorème de complétude de Gödel, Théorèmes d'incomplétude de Gödel, Théorie de la démonstration, Théorie des ensembles, Wilhelm Ackermann.
Arithmétique
L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels (\N), relatifs (\Z) et rationnels (\Q), voire réels (\R), ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires: addition (+), soustraction (−), multiplication (×), division (÷, /, ou), puissance et racine.
Nouveau!!: Programme de Hilbert et Arithmétique · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Programme de Hilbert et Axiomes de Peano · Voir plus »
Étienne Ghys
Étienne Ghys, né le à Lille, est un mathématicien français, secrétaire perpétuel (première division) de l'Académie des sciences.
Nouveau!!: Programme de Hilbert et Étienne Ghys · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Programme de Hilbert et Correspondance de Curry-Howard · Voir plus »
Crise des fondements
La crise des fondements des mathématiques, qui a marqué la discipline au tournant du, est l'aboutissement des tentatives d'asseoir la théorie des ensembles, et par là, l'arithmétique et les mathématiques, sur des bases non contradictoires.
Nouveau!!: Programme de Hilbert et Crise des fondements · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Programme de Hilbert et David Hilbert · Voir plus »
Emil du Bois-Reymond
Emil Heinrich du Bois-Reymond, né le à Berlin et mort le dans la même ville, est un physiologiste allemand, l'un des fondateurs de l'électrophysiologie.
Nouveau!!: Programme de Hilbert et Emil du Bois-Reymond · Voir plus »
Fondements des mathématiques
Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.
Nouveau!!: Programme de Hilbert et Fondements des mathématiques · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Programme de Hilbert et Georg Cantor · Voir plus »
Georg Kreisel
Georg Kreisel (né le à Graz et mort le à Salzbourg) est un logicien des mathématiques d'origine autrichienne qui a étudié et travaillé au Royaume-Uni et aux États-Unis.
Nouveau!!: Programme de Hilbert et Georg Kreisel · Voir plus »
Gerhard Gentzen
Gerhard Gentzen (à Greifswald - à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration.
Nouveau!!: Programme de Hilbert et Gerhard Gentzen · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Programme de Hilbert et Gottlob Frege · Voir plus »
Hermann Weyl
Hermann Weyl, né le à Elmshorn et mort le à Zurich, est un mathématicien et physicien théoricien allemand du.
Nouveau!!: Programme de Hilbert et Hermann Weyl · Voir plus »
Ignorabimus
Emil du Bois-Reymond (1818-1896), à l'origine de la maxime « Ignoramus et ignorabimus ». (Photogravure d'une peinture de Max Koner) Lignorabimus est une abréviation du latin « Ignoramus et ignorabimus » qui signifie « Nous ne savons pas et ne saurons jamais », exprimant par là une forme de pessimisme à propos de la possibilité de connaître ou d'expliquer scientifiquement tous les aspects du monde.
Nouveau!!: Programme de Hilbert et Ignorabimus · Voir plus »
Images des mathématiques
Images des mathématiques (ou Images des maths) est un site web français édité par le CNRS et consacré à la vulgarisation en mathématiques.
Nouveau!!: Programme de Hilbert et Images des mathématiques · Voir plus »
Intuitionnisme
L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du.
Nouveau!!: Programme de Hilbert et Intuitionnisme · Voir plus »
Jean Largeault
Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste.
Nouveau!!: Programme de Hilbert et Jean Largeault · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Programme de Hilbert et John von Neumann · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Programme de Hilbert et Kurt Gödel · Voir plus »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais sur Encyclopædia Britannica.
Nouveau!!: Programme de Hilbert et Luitzen Egbertus Jan Brouwer · Voir plus »
Mathématiques classiques
En fondements des mathématiques, les mathématiques classiques se réfèrent généralement à l'approche traditionnelle des mathématiques, qui est basée sur la logique classique et la théorie des ensembles ZFC. Il s'oppose à d'autres types de mathématiques tels que les mathématiques constructives ou les mathématiques prédicatives.
Nouveau!!: Programme de Hilbert et Mathématiques classiques · Voir plus »
Mathematical Association of America
La Mathematical Association of America (Association mathématique d'Amérique, MAA) est une société professionnelle qui s'intéresse à l'éducation mathématique, particulièrement au niveau premier cycle universitaire.
Nouveau!!: Programme de Hilbert et Mathematical Association of America · Voir plus »
Nombre epsilon
En mathématiques, les nombres epsilon sont une collection de nombres transfinis définis par la propriété d'être des points fixes d'une application exponentielle.
Nouveau!!: Programme de Hilbert et Nombre epsilon · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Programme de Hilbert et Nombre ordinal · Voir plus »
Paul Bernays
Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au.
Nouveau!!: Programme de Hilbert et Paul Bernays · Voir plus »
Paul David Gustave du Bois-Reymond
Paul du Bois-Reymond, né le à Berlin, au royaume de Prusse, est un mathématicien prussien.
Nouveau!!: Programme de Hilbert et Paul David Gustave du Bois-Reymond · Voir plus »
Pessimisme
Optimiste et Pessimiste,Tableau de Vladimir Makovski (1893). Le pessimisme (du mot latin pessimus, superlatif de malus signifiant « mauvais ») est un état d'esprit dans lequel un individu perçoit négativement la vie.
Nouveau!!: Programme de Hilbert et Pessimisme · Voir plus »
Presses universitaires de France
Les Presses universitaires de France (PUF) sont une maison d'édition fondée en 1921 par un collège de professeurs.
Nouveau!!: Programme de Hilbert et Presses universitaires de France · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Programme de Hilbert et Principe du tiers exclu · Voir plus »
Problèmes de Hilbert
Lors du deuxième congrès international des mathématiciens, tenu à Paris en août 1900, David Hilbert entendait rivaliser avec le maître des mathématiques françaises, Henri PoincaréLors du premier congrès international des mathématiciens qui s'était tenu à Zurich en 1897, Henri Poincaré avait été la vedette avec sa conférence « Sur les rapports de l'analyse pure et de la physique mathématique ».
Nouveau!!: Programme de Hilbert et Problèmes de Hilbert · Voir plus »
Récurrence transfinie
En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts.
Nouveau!!: Programme de Hilbert et Récurrence transfinie · Voir plus »
Richard Courant
Richard Courant (né le à Lublinitz en Silésie, mort le à New York) est un mathématicien germano-américain.
Nouveau!!: Programme de Hilbert et Richard Courant · Voir plus »
Théorème de Bolzano-Weierstrass
En topologie des espaces métriques, le théorème de Bolzano-Weierstrass donne une caractérisation séquentielle des espaces compacts.
Nouveau!!: Programme de Hilbert et Théorème de Bolzano-Weierstrass · Voir plus »
Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Nouveau!!: Programme de Hilbert et Théorème de complétude de Gödel · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Programme de Hilbert et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Programme de Hilbert et Théorie de la démonstration · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Programme de Hilbert et Théorie des ensembles · Voir plus »
Wilhelm Ackermann
Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité.
Nouveau!!: Programme de Hilbert et Wilhelm Ackermann · Voir plus »
