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

Tractatus logico-philosophicus / Wittgenstein | Wittgenstein, Ludwig (1889-1951). Auteur

Tractatus logico-philosophicus / Wittgenstein

Livre | Wittgenstein, Ludwig (1889-1951). Auteur | 2022 - [Nouvelle traduction]

"En 1921, Ludwig Wittgenstein publie son seul livre édité de son vivant, porté par une thèse forte : les problèmes que la philosophie a rencontrés jusqu’ici viennent de notre ignorance de la logique profonde du langage, qui est au...

Infinity and the mind : the science and philosophy of the infinite / Rudy Rucker | Rucker, Rudy (1946-....). Auteur

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 | Delahaye, Jean-Paul (1952-....) - mathématicien. Auteur

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

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

Idéographie / G. Frege | Frege, Gottlob (1848-1925). Auteur

Idéographie / G. Frege

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

Je suis une boucle étrange / Douglas Hofstadter | Hofstadter, Douglas R. (1945-....). Auteur

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éunis et présentés par S. Gandon et I. Smadja |

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

Livre | 2017

Chargement des enrichissements...