Startseite Intuitionistic Set Theory
Kuck: Intuitionistic Set Theory
Kuck: Intuitionistic Set Theory

Conrad Kuck - Intuitionistic Set Theory

or How to construct semi-rings. Part IV

97,00 €
97,00 €
inkl. MwSt.
zzgl. Versandkosten

Lieferzeit max. 4 Tage *

Die Menge muss 1 oder mehr sein

Lieferung & Versand

  • Warensendung bis 500 g
    0,00 €
    Lieferzeit max. 4 Tage

Über das Buch

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.

Intuitionistic Set Theory, Part I: ISBN 3-86064-616-8 Intuitionistic Set Theory, Part II: ISBN 3-86064-617-6 Intuitionistic Set Theory, Part III: ISBN 3-8300-0378-1 [...]

Schlagworte

Informatik

  • Autor*in
    Conrad Kuck
  • Seiten
    280
  • Jahr
    Hamburg 2002
  • ISBN
    978-3-8300-0691-6
  • Schriftenreihe
    Forschungsergebnisse zur Informatik
  • ISSN
    1435-6260
  • Band
    61
  • Fachbereich
    Naturwissenschaft, Technik & Medizin

Lieferzeit

(*) Die Lieferzeit beträgt innerhalb Deutschlands üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.