Dirk W. Hoffmann Forfatter
-
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic (Bog, Paperback / softback, Engelsk)
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.
Levering: 6 - 9 hverdage -
Godel's Incompleteness Theorems: A Guided Tour Through Kurt Godel’s Historic Proof (Bog, Paperback / softback, Engelsk)
For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
