Chemins (sub-sahariens) de la PraxisSoutenir

Gödel

Kurt Gödel · Mathématicien austro-américain · 1906–1978

Présent dans 4 vidéos · 4 passages, dont 4 développements.

Portrait : GödelQui est-ce ?

Kurt Gödel est un logicien et mathématicien autrichien naturalisé américain, né le 28 avril 1906 à Brünn (Autriche-Hongrie) et mort le 14 janvier 1978 à Princeton (États-Unis). Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Ces propositions sont qualifiées d'indécidables. […]

Lire l'article sur Wikipédia

Texte : Wikipédia, CC BY-SA 4.0, extrait · Portrait : Unknown authorUnknown author, Public domain

Cherchez n'importe quel auteur, concept ou mot dans toutes les vidéos et tous les textes de Dominique Pagani