THE AUTONOMY OF MATHEMATICAL KNOWLEDGE: Hilbert’s Program...

Main
THE AUTONOMY OF MATHEMATICAL KNOWLEDGE:...

THE AUTONOMY OF MATHEMATICAL KNOWLEDGE: Hilbert’s Program Revisited

CURTIS FRANKS

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Рік:

2009

Мова:

english

Файл:

PDF, 1.08 MB

IPFS:

,

english, 2009

Читати Онлайн

Завантажити (pdf, 1.08 MB)

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

Feferman Solomon — Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Michael Detlefsen (edt) — Proof, Logic and Formalization

A.R.D.Mathias — The Ignorance of Bourbaki

Paolo Mancosu — The Philosophy of Mathematical Practice

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

Wilfried Sieg — Hilbert’s Programs and Beyond

H. G. Dales, G. Oliveri — Truth in mathematics

Paolo Mancosu — Philosophy of Mathematical Practice

Paolo Mancosu — The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

Stuart Shanker — Godel’s Theorem in Focus (Philosophers in Focus)

Detlefsen M. (Ed) — Proof, Logic and Formalization

Michael Detlefsen — Proof, Logic and Formalization

Stuart G. Shanker (editor) — Gödel’s Theorem in Focus

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Richard Tieszen — Phenomenology, Logic, and the Philosophy of Mathematics

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.) — Kurt Gödel: Essays for his Centennial

Curtis Franks — The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Stuart Shanker — Gödel's Theorem in Focus

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof (Revised Edition 2001)

Davis, Martin — The Universal Computer: The road from Leibniz to Turing

Menzler-Trott, Eckart (Author); Craig Smoryński(Translator); Edward Griffor(Translator) — Logic's lost genius - The life of Gerhard Gentzen

Martin Davis — The Universal Computer. The Road from Leibniz to Turing

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Martin Davis — The Universal Computer - The Road from Leibniz to Turing (Turing Centenary Edition)

Roman Murawski — Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic

Vincent F. Hendricks, Hannes Leitgeb — Philosophy of Mathematics: 5 Questions

Gregory J. Chaitin — Thinking about Godel and Turing: Essays on complexity, 1970-2007

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age