| Buchprofil | ||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||
|
| Inhalt |
| Oliver Deiser behandelt zwei neue Theorien der Prädikatenlogik erster Stufe,
deren Objekte Listen (Wohlordnungen) bzw. Aggregate (Multimengen) sind.
Die von Euklid bis Georg Cantor reichende Tradition, Zahlen als Systeme
von Einheiten aufzufassen, erhält so eine axiomatische Präzisierung. Die
Theorien werfen zudem ein neues Licht auf einige kritische Axiome der
Zermelo-Fraenkel-Axiomatik der Mengenlehre.
Das Buch wendet sich an alle, die an axiomatischen Grundlagenfragen und insbesondere an Alternativen zur mengentheoretischen Fundierung der Mathematik interessiert sind. Vorausgesetzt werden beim Leser lediglich Grundkenntnisse der mathematischen Logik und der axiomatischen Mengenlehre. |
Copyright 1996-2021 HARLAND media
Dr. Peter E. Harland
Ernst-Thälmann-Str. 16
07747 Jena