Paradoxes in Göttingen

Cached

Download Links

by Volker Peckhaus
Citations:1 - 0 self

Active Bibliography

Hilbert's Paradox – Volker Peckhaus, Reinhard Kahle - 2001
5 The Mathematical Import Of Zermelo's Well-Ordering Theorem – Akihiro Kanamori - 1997
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Pro and Contra Hilbert: Zermelo’s Set Theories – Volker Peckhaus
The Pragmatism of Hilbert’s Programme ∗ – Volker Peckhaus
8 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
3 Is the Continuum Hypothesis a definite mathematical problem? – Solomon Feferman
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
In Defense of the Ideal 2nd DRAFT – W. W. Tait
Completeness Results for . . . – Mark Kaminski - 2006
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
Heriot-Watt University Edinburgh, Scotland – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – unknown authors - 2007
century: A journey through Frege, Russell and – Fairouz Kamareddine - 2004