Zum Inhalt springen

Huber-Dyson, Verena [VerfasserIn]

Gödel's theorems : a workbook on formalization

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig: Teubner, 1991

Erschienen in: Teubner-Texte zur Mathematik ; 122
Hoffmann, Dirk W. [VerfasserIn]

Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer Spektrum, 2013
Enders, Heinz W. [VerfasserIn]

Der Hauptgedanke des Beweises

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stadtbergen: Verl. Quid Verum, 1999
Smullyan, Raymond M. [VerfasserIn]

Gödel's incompleteness theorems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford [u.a.]: Oxford Univ. Press, 1992

Erschienen in: Oxford logic guides ; 1900
Nagel, Ernest [VerfasserIn]; Newman, James R. [VerfasserIn]

Gödel's proof - [Reprint.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Routledge, 1993
Nagel, Ernest [VerfasserIn] ; Newman, James R. [Sonstige Person, Familie und Körperschaft]; Schleichert, Hubert [Sonstige Person, Familie und Körperschaft]

Der Gödelsche Beweis

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien; München: Oldenbourg, 1964

Erschienen in: Scientia nova
Dawson, John W. Jr [VerfasserIn]

Logical dilemmas : the life and work of Kurt Gödel - [Nachdr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wellesley, Mass.: Peters, 1998
Wang, Hao [VerfasserIn]

Reflections on Kurt Gödel - [2. print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 1988

Erschienen in: A Bradford book
Kühnrich, Martin [VerfasserIn]

Kurt Gödel : 1906-1978

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1978

Erschienen in: Wissenschaft und Fortschritt ; 28(1978), 10, Seite 399-400
Breuer, Thomas [VerfasserIn]

Quantenmechanik: ein Fall für Gödel?

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg; Berlin; Oxford: Spektrum, Akad. Verl., 1997
Ketelsen, Christel [VerfasserIn]

Die Gödelschen Unvollständigkeitssätze : zur Geschichte ihrer Entstehung und Rezeption

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Steiner, 1994

Erschienen in: Boethius ; 36
Heinrich-Ramharter, Esther [HerausgeberIn]; Wittgenstein, Ludwig [Sonstige Person, Familie und Körperschaft]; Gödel, Kurt [Sonstige Person, Familie und Körperschaft]

Prosa oder Beweis? : Wittgensteins "berüchtigte" Bemerkungen zu Gödel : Texte und Dokumente - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Parerga, c 2008

Erschienen in: Wittgensteiniana ; 4
Franzén, Torkel [VerfasserIn]

Gödel's theorem : an incomplete guide to its use and abuse

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wellesley, Mass.: Peters, 2005
Pauli-Schimanovich, Werner de [VerfasserIn]

Europolis / 5, Kurt Gödel und die mathematische Logik / Werner DePauli-Schimanovich

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2005

Erschienen in: Europolis ; 5 - Schriftenreihe Geschichte der Naturwissenschaften und der Technik ; 8
Dawson, John W. Jr [VerfasserIn]

Kurt Gödel: Leben und Werk

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien; New York: Springer, 1999

Erschienen in: Computerkultur ; 1100
Pauli-Schimanovich, Werner de [VerfasserIn]; Weibel, Peter [VerfasserIn]

Kurt Gödel - ein mathematischer Mythos - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien: Hölder-Pichler-Tempsky, 1997
Büchi, Julius Richard [VerfasserIn]; Siefkes, Dirk [VerfasserIn]

The monadic second order theory of all countable ordinals

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1973

Erschienen in: Decidable theories ; 2 - Lecture notes in mathematics ; 328
Baaz, Matthias [HerausgeberIn]; Papadimitriou, Christos H. [HerausgeberIn]; Putnam, Hilary [HerausgeberIn]; Scott, Dana S. [HerausgeberIn]; Harper, Charles L. [HerausgeberIn]

Kurt Gödel and the foundations of mathematics : horizons of truth ; [Gödel Centenary Celebratory Symposium "Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge" was held from April 27 to April 29, 2006] - [1st publ]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u. a.]: Cambridge University Press, 2011
Deutsch, Michael [VerfasserIn]

Zahlbereiche, naive Mengenlehre, Axiomatik der Geometrie, Grundlagenfragen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen: Universitätsdruckerei, 2007
Taschner, Rudolf [VerfasserIn]

Musil, Gödel, Wittgenstein und das Unendliche : [Vortrag im Prunksaal der Österreichischen Nationalbibliothek am 7. Mai 2002] - [5. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien: Picus-Verl., 2012

Erschienen in: Wiener Vorlesungen im Rathaus ; 87,2012

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr