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 ...

Se procurer le document

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...