Kurt Gödel: Wahrheit und Beweisbarkeit

Main
Mathematics - Logic
Kurt Gödel: Wahrheit und Beweisbarkeit

Kurt Gödel: Wahrheit und Beweisbarkeit

Bernd Buldt, Eckehart Köhler, Michael Stötzner, Peter Weibel, Carsten Klein, Werner DePauli-Schimanovich-Göttig (eds.)

0 / 5.0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

Mathematics - Logic

Tom:

2

İl:

2002

Nəşriyyat:

öbv&hpt

Dil:

german

ISBN 10:

320903835X

ISBN 13:

9783209038357

Fayl:

PDF, 27.35 MB

IPFS:

,

german, 2002

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

G. Ludwig — Deutung des Begriffs “physikalische Theorie” und axiomatische Grundlegung der Hilbertraumstruktur der Quantenmechanik durch Hauptsätze des Messens

von Neumann J. — Collected works. Vol.1 Logic, Theory of Sets and Quantum Mechanics

Dieter Klaua — Allgemeine Mengenlehre: Ein Fundament der Mathematik

Karel Berka, Lothar Kreiser — Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik

Dieter Klaua — Elementare Axiome der Mengenlehre-Einführung in die Allgemeine Mengenlehre

Hilbert D. — Gesammelte Abhandlungen. Analysis. Grundlagen der Mathematik. Physik. Vershiedenes

Berka K., Kreiser L. — Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Philip J. Davis, Reuben Hersh (auth.) — Erfahrung Mathematik

Detlef Spalt — Rechnen mit dem Unendlichen: Beiträge zur Entwicklung eines kontroversen Gegenstandes

Dieter Klaua — Mengenlehre

Thomas Bedurftig, Roman Murawski — Philosophie der Mathematik

Thomas Bedürftig; Roman Murawski — Philosophie der Mathematik

Thomas Bedürftig; Roman Murawski — Philosophie der Mathematik

Roman Murawski, Thomas Bedürftig — Philosophie der Mathematik

Thomas Bedürftig; Roman Murawski — Philosophie der Mathematik

Thomas Bedürftig; Roman Murawski — Philosophie der Mathematik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Eckehart Köhler, Peter Weibel, Michael Stötzner, Bernd Buldt, Carsten Klein, Werner DePauli-Schimanovich-Göttig (eds.) — Kurt Gödel: Wahrheit und Beweisbarkeit

Dr. rer. nat. Ulf Friedrichsdorf, Dr. rer. nat. Alexander Prestel (auth.) — Mengenlehre für den Mathematiker

Rainer Wust — Mathematik für Physiker und Mathematiker/ 1, Reelle Analysis und Lineare Algebra

Ulrich Felgner — Mengenlehre

Jann Paul Engler — Aspekte des Unendlichen bei Kant und Wittgenstein

Wolfgang Stegmüller, Matthias Varga von Kibéd — Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

David Ruelle (auth.) — Wie Mathematiker ticken: Geniale Köpfe - ihre Gedankenwelt und ihre größten Erkenntnisse

Christian Tapp (auth.) — An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus

John Stillwell (auth.) — Wahrheit, Beweis, Unendlichkeit: Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit

David Hilbert (auth.) — Dritter Band: Analysis · Grundlagen der Mathematik · Physik Verschiedenes: Nebst Einer Lebensgeschichte

Jörg Neunhäuserer — Einführung in die Philosophie der Mathematik

Dr. Adolf Fraenkel (auth.) — Zehn Vorlesungen Über die Grundlegung der Mengenlehre: Gehalten in Kiel auf Einladung der Kant-Gesellschaft, Ortsgruppe Kiel, vom 8.–12. Juni 1925

Godehard Link — Montague-Grammatik: die logischen Grundlagen

Paul Lorenzen — Metamathematik

Godehard Link — Collegium Logicum 2. Logische Grundlagen der Philosophie und der Wissenschaften

Açar ifadələr