Forschungsarbeit: Intuitionistic Set Theory

Intuitionistic Set Theory

or How to construct semi-rings. Part IV

Buch beschaffen

Forschungsergebnisse zur Informatik, Band 61

Hamburg , 280 Seiten

ISBN 978-3-8300-0691-6 (Print)

Zum Inhalt

The logical problem is an old problem. Leibniz developed a „mathesis universalis“, which he estimated to be the Logic of sciences. His approach was rational calculable. Frege took Leibniz‘s ideas and prepared a logic, which was composed by nitions.

In Frege‘s Logic the calculation with numbers plays an essential role. Frege thought that the arithmetic, which was known in his time, is a basis for a logic.

Finally David Hilbert continued the work by Leibniz-Frege. He tried to prove the consistency of mathematics by his predicate calculus. Hilbert worked with finite, decidable, mathematical procedures, as the author does.

Between the first and second volume of Hilbert‘s predicate calculus Kurt Gödel published his two incomplete propositions. He showed that the formalistic proofs by Hilbert cannot solve the consistency problem on principle; Gödel‘s result caused the crisis of the foundations of mathematics, which has done away with the Intuitionistic Set Theory.

Schlagworte

Informatik

Ihr Werk im Verlag Dr. Kovač

Bibliothek, Bücher, Monitore

Möchten Sie Ihre wissenschaftliche Arbeit publizieren? Erfahren Sie mehr über unsere günstigen Konditionen und unseren Service für Autorinnen und Autoren.

Weitere Bücher des Autors

: Intuitionistic Set Theory

Intuitionistic Set Theory

or How to construct semi-rings Part III

Hamburg , ISBN 978-3-8300-0378-6 (Print)


: Intuitionistic Set Theory Part II

Intuitionistic Set Theory Part II

Hamburg , ISBN 978-3-86064-617-5 (Print & eBook)


: Intuitionistic Set Theory Part I

Intuitionistic Set Theory Part I

Hamburg , ISBN 978-3-86064-616-8 (Print & eBook)