Wissenschaftliche LiteraturIntuitionInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Zum ShopConrad Kuck
Intuitionistic Set Theory
or How to construct semi-rings Part III
Forschungsergebnisse zur Informatik
Hilbert‘s Program is completed by a finite method, which constructs propositions. The constructed propositions can make assertions about infinitive sets. Intuitionistic Set Theory generalizes the construction of an algebraic-real number u.u is a complex number, which satisfies a polynomial equation with rational…
InformatikIntuitionistic Set Theory
Zum ShopConrad Kuck
Intuitionistic Set Theory
or How to construct semi-rings. Part IV
Forschungsergebnisse zur Informatik
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…
Informatik
Zum ShopConrad Kuck
Intuitionistic Set Theory Part II
Forschungsergebnisse zur Informatik
In part II of his study, the author deals with the following problems:
Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable functions, Baire property Souslin space, projective sets Measurable…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet Theory
Zum ShopConrad Kuck
Intuitionistic Set Theory Part I
Forschungsergebnisse zur Informatik
In part I of his study, the author deals with the following problems:
Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms of the Axiomatic Set Theory (by K. Kuratowski and A. Mostowski),…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet Theory