ARITHMÉTIQUE FORMELLE

CHURCH ALONZO (1903-1995)

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 611 mots

Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né le 14 juin 1903 à Washington et mort le 11 août 1995 à Hudson (Ohio). Professeur de mathématiques à l'université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale « le plus fidèle des disciples de Frege ». Réputé « platonisant », il défend une conception délibérémen […] Lire la suite☛ http://www.universalis.fr/encyclopedie/alonzo-church/#i_37480

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « La logique Π12 »  : […] L'extension des résultats obtenus par Takeuti, Pohlers, Buchholz... pour le schéma de compréhension Π 1 1 à des systèmes plus forts nécessite de remplacer la ω-logique par des logiques correspondant à de plus grandes complexités logiques, Π 2 1 et plus généralement Π 1 n . Le problème de la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_37480

FREGE GOTTLOB (1848-1925)

  • Écrit par 
  • Claude IMBERT
  •  • 3 260 mots

Dans le chapitre « La caractéristique »  : […] Pour formaliser le raisonnement arithmétique, Frege conçut une caractéristique apte à dépeindre les actes logiques aussi sûrement que l'arithmétique signale ses opérations. Cependant la logique de Frege n'imite pas l'arithmétique en utilisant les mêmes symboles d'opérations (+, ×), comme le firent Leibniz et Boole ; l'idéographie emprunte à la mathématique un procédé d'algèbre, la double distinct […] Lire la suite☛ http://www.universalis.fr/encyclopedie/gottlob-frege/#i_37480

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétud […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_37480

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Les nombres premiers (problèmes 8 et 9) »  : […] C'est sans doute l'une des plus célèbres conjectures mathématiques que celle de Riemann sur les zéros de la fonction ζ. Rappelons qu'on a par définition : qui définit une fonction méromorphe dans le plan complexe, avec des zéros simples, dits « triviaux » aux points — 2, — 3, ... Riemann a émis l'hypothèse que tous les autres zéros avaient une partie réelle égale à 1/2. Parmi les très nombreuses a […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_37480

MATHÉMATIQUES FONDEMENTS DES

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 438 mots
  •  • 1 média

Dans le chapitre « L'arithmétisation de l'analyse »  : […] Les œuvres de Frege et de Cantor sont produites dans le même contexte mathématique. L'analyse y est entièrement arithmétisée. Quelques-unes des structures algébriques fondamentales (groupes, anneaux) sont dégagées. Le corpus mathématique contient des régions « canoniques » qui s'offrent comme des systèmes axiomatisés d'énoncés (cf. les leçons de Weierstrass sur la théorie des fonctions telles que […] Lire la suite☛ http://www.universalis.fr/encyclopedie/fondements-des-mathematiques/#i_37480

RUSSELL BERTRAND lord (1872-1970)

  • Écrit par 
  • Philippe DEVAUX
  •  • 6 112 mots
  •  • 1 média

Dans le chapitre « La logicisation de l'arithmétique »  : […] Le projet de Russell commence par un effort de logicisation de l'arithmétique, qui sera suivi par l'élaboration du calcul des propositions, du calcul des classes et du calcul des relations. La définition du nombre est obtenue au moyen du concept de classes semblables. Une classe est constituée par le ou les membres qui lui appartiennent ( ∈ α). C'est […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bertrand-russell/#i_37480

WEBER HEINRICH MARTIN (1842-1913)

  • Écrit par 
  • Jeanne PEIFFER
  •  • 804 mots

Universalité. C'est le mot qui caractérise peut-être le mieux le mathématicien allemand Heinrich Weber. Esprit souple, il était capable de travailler dans des domaines très divers des mathématiques. Mais il concentra surtout ses recherches sur l'analyse et ses applications à la physique mathématique et obtint ses résultats les plus profonds en algèbre et en théorie des nombres. Né le 5 mai 1842 à […] Lire la suite☛ http://www.universalis.fr/encyclopedie/heinrich-martin-weber/#i_37480