Self-Reference and Modal Logic
Craig Smorynski
Broschiertes Buch

Self-Reference and Modal Logic

Versandkostenfrei!
Versandfertig in 1-2 Wochen
84,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
42 °P sammeln!
It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyting, the foremost disciple of L. E. J. Brouwer, has spoken on intuitionism; Rudolf Carnap of the Vienna Circle has expounded on logicism; Johann (formerly Janos and in a few years to be Johnny) von Neumann has explained Hilbert's proof theory-- the so-called formalism; and Hans Hahn has just propounded his own empiricist views of mathematics. The floor is open for general discussion, in the midst of which Heyting announces his satisfaction with th...