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

Edited by É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

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 science, les...

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

Écrits logiques et philosophiques / Gottlob Frege

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

Chargement des enrichissements...