Afficher la couverture 'Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al.] | Nagel, Ernest (1901-1985). Auteur' en grand format
/5

0 avis

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al.]

Livre

Nagel, Ernest (1901-1985). Auteur | Newman, James R. (1907-1966). Auteur | Gödel, Kurt (1906-1978). Auteur | Girard, Jean-Yves (1947-....). Auteur

Edité par Éd. du Seuil - 1997

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème d' "incomplétude". [Source : 4e de couv.]

Autres documents dans la collection «Collection Points. Série Sciences»

Vérification des exemplaires disponibles ...

Suggestions

Du même sujet

Infinity and the mind : the science and philosophy of the infinite / Rudy R...

Livre | Rucker, Rudy (1946-....). Auteur | 1982

La logique, un aiguillon pour la pensée / Jean-Paul Delahaye

Livre | Delahaye, Jean-Paul (1952-....) - mathématicien. Auteur | 2012

Idéographie / G. Frege

Livre | Frege, Gottlob (1848-1925). Auteur | 1999

Je suis une boucle étrange / Douglas Hofstadter

Livre | Hofstadter, Douglas R. (1945-....). Auteur | 2021

"Que voulons-nous dire quand nous prononçons le mot « Je » ? La pensée peut-elle naître de la matière inanimée ? Cette question s'impose à nous de plus en plus fréquemment à mesure que nous assistons aux progrès de la sci...

Philosophie des mathématiques : logique, preuve et pratiques / textes réuni...

Livre | 2017

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Chargement des enrichissements...