Gödel, Kurt (1906-1978) Amélioration Assistance
028039734
Notice de type Personne

Forme retenue

Gödel, Kurt (1906-1978)

Information

Langue d'expression : multilingue
Pays : ÉTATS-UNIS
Date de naissance : 28 04 1906
Date de mort : 14 01 1978
Sexe : masculin

Notes

Note publique d'information :
Mathématicien d'origine austro-hongroise, il a obtenu la nationalité américaine en 1948


Source

GDEL. Collected works / K. Gödel..., 1986


Internet, http://www.bibmath.net, 2004-10-29


Sentences undecidable in formalized arithmetic, an exposition of the theory of Kurt Gödel / Andrzej Mostowski, 1952

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

Identifiant de notice Sudoc fusionnée : 02978977X
Identifiant BNF : FRBNF121339873
Identifiant ISNI : 000000011031567X

Notices bibliographiques liées :4 rôle(s)

000 Code de fonction non reconnu ( 2 )
070 Auteur ( 22 )
420 Personne honorée ( 1 )
990 Sujet ( 75 )



Code de fonction non reconnu :

Rôles ?



024651370 : Ergebnisse eines mathematischen Kolloquiums Heft 1-5, 1928-1933 (erschienen 1931-1933) / unter mitwirkung von Kurt Gödel und Georg Nöbeling ; herausgegeben von Karl Menger / Leipzig : F. Deuticke , 1935

020333099 : Mathematical logic and its applications / edited by Dimiter G. Skordev / New York : Plenum Press , c1987



Auteur :

Rôles ?



012333301 : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory [Texte imprimé] / by Kurt Gödel / Princeton N.J : Princeton University Press , 1940

011547324 : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory [Texte imprimé] / by Kurt Gödel / Princeton, N.J. : Princeton university press , 1940, cop. 1940

014937999 : Sentences undecidable in formalized arithmetic [Texte imprimé] : an exposition of the theory of Kurt Gödel / Andrzej Mostowski / Amsterdam : North-Holland Pub. Co. , 1952

08938721X : La Démonstration [Texte imprimé] : Lecture commentée d'une méta-démonstration de Kurt Gödel : de la comptabilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles / Jean Balibar / Paris : Association des professeurs de mathématiques de l'enseignement public (Cahors, impr. A. Coueslant) , 1962

12715132X : Frege and Gödel [Texte imprimé] : two fundamental texts in mathematical logic / edited by Jean van Heijenoort,... / Cambridge, Mass. : Harvard University Press , 1970

017649242 : Collected works Volume I, Publications 1929-1936 [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, ed.-in-chief, John W. Dawson Jr., Stephen C. Kleene... [et al.] / New York : Oxford University press , 1986

001881604 : Collected works [Texte imprimé] / Kurt Gödel ; ed. by Solomon Feferman,... John W. Dawson, Jr. Stephen C. Kleene, Gregory H. Moore ... prepared under the auspices of the Association for symbolic logic / New York : Oxford university press , 1986-

012391867 : Collected works / Kurt Gödel ; ed. by Solomon Feferman ... [et al.] / New York : Oxford Univ. Press , 1986-...

027179036 : Collected works [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman (editor-in-chief)... [et al.] / Oxford [Oxfordshire] : Clarendon Press , 1986-1990

020237413 : Collected works Vol. I-II, [Texte imprimé] / Kurt Gödel ; ed. by Solomon Feferman ... [et al.] / Oxford : Clarendon Press , 1986-1990

071348492 : On formally undecidable propositions of Principia Mathematica and related systems [Texte imprimé] / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite / New York : Dover publications , 1992

018236189 : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory [Texte imprimé] / by Kurt Gödel ; [Notes par George W. Brown] / [12e tirage] / Princeton : Princeton University Press , 1993, cop. 1968

075112132 : Collected works Volume III, Unpublished essays and lectures [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman (editor-in-chief), John W. Dawson Jr., Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / New York : Oxford University press , 1995

080106854 : Collected works III, Unpublished essays and lectures [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman [...] ; John W. Dawson, Jr., Warren Goldfarb, Charles Parsons... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Oxford University press , 2001

075116448 : Collected works Volume V, Correspondence H-Z [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003

075113384 : Collected works Volume IV, Correspondence A-G [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson, Jr. (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003

00150875X : Le théorème de Gödel [Texte imprimé] / Ernest Nagel, James R. Newman, Kurt Gödel... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer ; [édité par Thierry Marchaisse] / Paris : Ed. du Seuil , DL 1989

107768569 : Le Théorème de Gödel [Texte imprimé] / Ernest Nagel, James R. Newman, Kurt Gödel... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer / Paris : Seuil , DL 1989

004281632 : Le théorème de Gödel [Texte imprimé] / Ernest Nagel, James R. Newman, Kurt Gödel... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer / Paris : Éd. du Seuil , DL 1997, cop. 1989

01609669X : On formally undecidable propositions of Principia mathematica and related systems [Texte imprimé] / Kurt Gödel ; transl. by B. Meltzer, with an introd. by R. B. Braithwaite / Edinburgh : Oliver & Boyd , [1962]

01466075X : Collected works Volume II, Publications 1938-1974 [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, editor in chief, John W. Dawson Jr., Stephen C. Kleene... [et al.] / New York : Oxford University press , cop. 1990

047455349 : Unpublished philosophical essays [Texte imprimé] / Kurt Gödel ; edited by Francisco A. Rodriguez-Consuegra, with a historico-philosophical introduction by the editor / Basel : Birkhäusel Verlag , cop. 1995



Personne honorée :

Rôles ?



01412081X : Foundations of mathematics [Texte imprimé] : symposium papers commemorating the sixtieth birthday of Kurt Gödel / ed. by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn / Berlin : Springer , 1969



Sujet :

Rôles ?



090616669 : Unvollständigkeit und Unentscheidbarkeit [Texte imprimé] : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller,... / Wien : Springer-Verlag , 1959

07130875X : Lecture commentée d'une méta-démonstration de Gödel [Texte imprimé] : la démonstration, par Kurt Gödel, de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles / Jean Balibar / Paris : Association des professeurs de mathématiques de l'enseignement public , 1962

01412081X : Foundations of mathematics [Texte imprimé] : symposium papers commemorating the sixtieth birthday of Kurt Gödel / ed. by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn / Berlin : Springer , 1969

019556586 : Gödel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / Hassocks, Sussex : Harvester Press , 1979

054088402 : Gödel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / Harmondsworth : Penguin Books , 1980, cop. 1979

023698195 : Gödel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / New York : Vintage Books , 1980, cop. 1979

027179036 : Collected works [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman (editor-in-chief)... [et al.] / Oxford [Oxfordshire] : Clarendon Press , 1986-1990

016748646 : Gödel, Escher, Bach : ein endloses geflochtenes Band / Douglas R. Hofstadter ; [aus dem Amerikanischen übersetzt von Philipp Wolf-Windegg und Hermann Feuersee ; unter Mitwirkung von Werner Alexi, Ronald Jonkers und Günter Jung] / 12., voll. rev. Aufl. / Stuttgart : Klett-Cotta , 1989

007993099 : Godel, Escher, Bach : an eternal golden braid / Douglas Hofstadter / New York : Vintage books , 1989

072518154 : Die Drift der Erkenntnis : zur Theorie selbstmodifizierter Systeme bei Gödel, Hegel und Freud / Dieter Hombach / München : Raben Verlag , 1989

009519866 : The disappearance of time [Texte imprimé] : Kurt Gödel and the idealistic tradition in philosophy / Palle Yourgrau,... / Cambridge : Cambridge University Press , 1991

013153609 : Realism in mathematics [Texte imprimé] / Penelope Maddy / Oxford : Clarendon Press , 1992

003013227 : Kurt Gödel : actes du Colloque, Neuchâtel 13-14 juin 1991 / Denis Miéville, éditeur / Neuchâtel : CdRS, Université de Neuchâtel , 1992

002811553 : Intuitionisme et théorie de la démonstration / textes de Bernays, Brouwer, Gentzen... [et al.] ; réunis, traduits et présentés par Jean Largeault / Paris : Librairie philosophique J. Vrin , 1992, cop. 1992

047453036 : A logical journey [Texte imprimé] : from Gödel to philosophy / Hao Wang / Cambridge (Mass.) : The MIT Press , 1996

092255817 : In the light of logic [Texte imprimé] / Solomon Feferman / Oxford : Oxford University press , 1998

060548312 : Godel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / 20th-anniversary ed. / London : Penguin , 2000

144223643 : Gödel [Texte imprimé] : a life of logic / John L. Casti and Werner DePauli / Cambridge, Mass. : Basic Books , 2001

082968241 : Musil, Gödel, Wittgenstein und das Unendliche [Texte imprimé] / Rudolf Taschner / Wien : Picus , 2002

066886538 : Critica della ragion poetica [Texte imprimé] : e altri saggi di letteratura e filosofia / Franco Brioschi / Torino : Bollati Boringhieri , 2002

075116448 : Collected works Volume V, Correspondence H-Z [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003

075113384 : Collected works Volume IV, Correspondence A-G [Texte imprimé] / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson, Jr. (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003

082605432 : Kurt Gödel, critique de la téhorie de la relativité générale [Texte imprimé] / Eric Audureau ; sous la direction de Alain Michel / [S.l.] : [s.n.] , 2004

082605432 : Kurt Gödel, critique de la téhorie de la relativité générale [Texte imprimé] / Eric Audureau ; sous la direction de Alain Michel / [S.l.] : [s.n.] , 2004

123601770 : Kurt Gödel [Texte imprimé] / [Directeur Michel Meyer ; introduction par Jaako Hintikka] / Bruxelles : Revue internationale de philosophie , 2005

111971993 : Le drame subjectif du savant [Texte imprimé] : le cas des mathématiciens porteurs d’une structure psychotique / Alain Cochet ; sous la direction de François Sauvagnat / [S.l.] : [s.n.] , 2006

142732273 : A world without time [Texte imprimé] : the forgotten legacy of Gödel and Einstein / Palle Yourgrau / London : Penguin books , 2007

12485589X : Le drame subjectif du savant [Microforme] : le cas des mathématiciens porteurs d’une structure psychotique / Alain Cochet ; sous la direction de François Sauvagnat / Lille : Atelier national de reproduction des theses , 2007

129221074 : Musil, Gödel, Wittgenstein und das Unendliche [Texte imprimé] : [Vortrag im Prunksaal der Österreichischen Nationalbibliothek am 7. Mai 2002] / Rudolf Taschner / 3. Auflage / Wien : Picus , 2008

180686712 : Prosa oder Beweis ? [Texte imprimé] : Wittgensteins berüchtigte Bemerkungen zu Gödel / Esther Ramharter / Berlin : Parerga , 2008

140860487 : Changement conceptuel et developpement scientifique [Texte imprimé] : le cas de logique mathématique de Hilbert à Gödel / Catherine Karella ; sous la direction de Jean Mosconi / [S.l.] : [s.n.] , 2009

154033235 : Le problème de la subjectivité à la lumière de l'épistémologie des mathématiques et de la logique [Texte imprimé] / Pierre Cassou-Noguès ; [sous la direction de] Jean-Michel Salanskis / [S. l.] : [s. n.] , 2009

154033235 : Le problème de la subjectivité à la lumière de l'épistémologie des mathématiques et de la logique [Texte imprimé] / Pierre Cassou-Noguès ; [sous la direction de] Jean-Michel Salanskis / [S. l.] : [s. n.] , 2009

150662815 : Phénoménologie des mathématiques [Texte imprimé] / Mark van Atten ; sous la direction de Jacques Dubucs / [S.l.] : [s.n.] , 2010

189761229 : Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz,... Christos H. Papadimitriou,... Hilary W. Putnam,... [et al.] / Cambridge : Cambridge University Press , 2011

158297725 : After Gödel [Ressource électronique] : Platonism and rationalism in mathematics and logic / Richard Tieszen / [Oxford] : Oxford University Press , 2011

168932717 : Kurt Gödel [Texte imprimé] : philosophical explorations : history and theory / Daniele Chiffi ; preface by Arcangelo Rossi / Roma : Aracne , 2012, cop. 2012

189010223 : An introduction to Gödel's theorems / Peter Smith / Second edition / Cambridge : Cambridge University press , 2013

193602342 : Kurt Gödel philosopher-scientist / edited by Gabriella Crocco, Eva-Maria Engelen / Aix-en-Provence : Presses universitaires de Provence , 2016

00508671X : Godel, Escher, Bach : les brins d'une guirlande éternelle / Douglas Hofstadter ; version française de Jacqueline Henry et Robert French / [Tirage corrigé] / Paris : InterEditions , DL 1986, cop. 1985

08307144X : Gödel : Logique à la folie / [par Gianbruno Guerrerio] / Paris : Pour la science , DL 2004

094419787 : L'aventure mathématique [Texte imprimé] : liberté et rigueur psychotiques : Cantor, Goedel et Türing / Gabriel Lombardi ; [traduit de l'espagnol par Delia Esquibel] / Paris : Éd. du Champ lacanien , DL 2005

087472406 : Einstein-Gödel [Texte imprimé] : quand deux génies refont le monde / Palle Yourgrau,... ; traduit de l'américain par Christian Jeanmougin ; préface de Thibault Damour / Paris : Dunod , DL 2005, cop. 2005

118638327 : Les démons de Gödel [Texte imprimé] : logique et folie / Pierre Cassou-Noguès / Paris : Éd. du Seuil , DL 2007

160363292 : Les démons de Gödel : logique et folie / Pierre Cassou-Noguès / [Paris] : Éd. du Seuil , DL 2012, cop. 2012

170217051 : Gödel [Ressource électronique] / Pierre Cassou-Noguès / Paris : Les Belles Lettres , [20..]

170217051 : Gödel [Ressource électronique] / Pierre Cassou-Noguès / Paris : Les Belles Lettres , [20..]

020490917 : Gödel remembered [Texte imprimé] : Salzburg 10-12 July 1983 / R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold Schmetterer / Napoli [Naples] : Bibliopolis , c1987

01516103X : Ontology and the vicious-circle principle [Texte imprimé] / Charles S. Chihara / Ithaca : Cornell University Press , cop. 1973

018964060 : Gödel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / New York(N.Y.) : Basic Books , cop. 1979

000973831 : Gödel, Escher, Bach : les brins d'une guirlande éternelle / Douglas Hofstadter ; version française de Jacqueline Henry et Robert French / Paris : InterÉditions , cop. 1985

009899022 : Reflections on Kurt Gödel [Texte imprimé] / Hao Wang / Cambridge (Mass.) : MIT press , cop. 1987

069746923 : Reflections on Kurt Gödel [Texte imprimé] / Hao Wang / Cambridge (Mass.) : MIT press , cop. 1987

078096766 : Logical dilemmas [Texte imprimé] : the life and work of Kurt Gödel / John W. Dawson, Jr, ... / Wellesley, Mass. : A. K. Peters , cop. 1997

046607595 : Philosophy of mathematics [Texte imprimé] : an introduction to the world of proofs and pictures / James Robert Brown / London : Routledge , cop. 1999

128663987 : Gödel, Escher, Bach [Texte imprimé] : an eternal golden braid / Douglas R. Hofstadter / 20th anniversary ed. / New York : Basic Books , cop. 1999

054360617 : Gödel, Escher, Bach [Texte imprimé] : les brins d'une guirlande éternelle / Douglas Hofstadter ; version française de Jacqueline Henry et Robert French / Paris : Dunod , cop. 2000

09133893X : Incompleteness [Texte imprimé] : the proof and paradox of Kurt Gödel / Rebecca Goldstein / New York : W.W. Norton , cop. 2005

161463282 : Kurt Gödel [Texte imprimé] : das Album = the Album : / Karl Sigmund, John Dawson, Kurt Mühlberger / Wiesbaden : Friedr. Vieweg & Sohn Verlag , cop. 2006

117676454 : An introduction to Gödel's theorems [Texte imprimé] / Peter Smith, ... / Cambridge : Cambridge University press , cop. 2007

122191471 : Gödel, Putnam, and functionalism [Texte imprimé] : a new reading of Representation and reality / Jeff Buechner / Cambridge, Mass. : MIT Press , cop. 2008

134278860 : A madman dreams of Turing machines [Texte imprimé] / Janna Levin / London : Weidenfeld & Nicolson , cop. 2008

147300509 : Kurt Gödel [Texte imprimé] : essays for his centennial / edited by Solomon Feferman,...Charles Parsons,...Stephen G. Simpson,... / New York : Cambridge University Press , cop. 2010

147519837 : Un fou rêve de machines de Turing [Texte imprimé] / Janna Levin ; traduit de l'anglais par Patrick Hersant / Genève : M. Haller , cop. 2010

156037289 : After Gödel [Texte imprimé] : Platonism and rationalism in mathematics and logic / Richard Tieszen / New York : Oxford University Press , cop. 2011

156003309 : Kurt Gödel and the foundations of mathematics [Texte imprimé] : horizons of truth / edited by Matthias Baaz,... Christos H. Papadimitriou,... Hilary W. Putnam,... [et al.] / Cambridge : Cambridge university press , cop. 2011

170851699 : An introduction to Gödel's theorems [Texte imprimé] / Peter Smith / Second edition / Cambridge : Cambridge University press , cop. 2013

182732479 : Badiou's "Being and event" and the mathematics of set theory / by Burhanuddin Baki / London : Bloomsbury Academic, an imprint of Bloomsbury Publishing Plc , cop. 2015

160333598 : On Gödel [Texte imprimé] / Jaakko Hintika / Belmont (Calif.) : Wadsworth , cop.2000

002766248 : Kurt Gödel [Texte imprimé] / Hao Wang ; traduit de l'américain par Laura Ovion et Michel Mériaux / Paris : A. Colin , impr. 1990, cop. 1990

052152731 : Gödel, une révolution en mathématiques [Texte imprimé] : essai sur les conséquences scientifiques et philosophiques des théorèmes gödeliens / André Delessert / Lausanne : Presses polytechniques et universitaires romandes , impr. 2000

07647996X : Gödel [Texte imprimé] / Pierre Cassou-Noguès / Paris : les Belles lettres , impr. 2003

163901384 : La déesse des petites victoires [Texte imprimé] / Yannick Grannec / Paris : A. Carrière , impr. 2012, cop. 2012

179207423 : L'intuition a sa logique [Texte imprimé] : Gödel et le théorème d'incomplétude / [Gustavo Ernesto Piñeiro] ; [traduit de l'espagnol par Anne-Lucie Fernandez et Julie Soubeyrand] / Paris : RBA France , impr. 2014

188215727 : Peut-on décider de ce qui est vrai ? : Gödel et le théorème d'incomplétude / [Gustavo Ernesto Piñeiro] ; [traduit de l'espagnol par Anne-Lucie Fernandez et Julie Soubeyrand] / Paris : RBA France , impr. 2015, cop. 2015


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance