Lorenz Halbeisen – författare

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on Zermelo’s axioms, containing also a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. In addition, the corrected, revised and extended second edition now provides detailed solutions to all exercises.

The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.

Dieses Buch nimmt Sie mit auf eine Entdeckungsreise durch die Welt der klassischen Geometrie: Beginnend beim Satz von Thales und den Apolloniuskreisen führt die Reise über Steiner''sche Kreisketten bis in die Welt der Kegelschnitte. Dabei werden verborgene Zusammenhänge aufgedeckt und Perlen der Elementargeometrie präsentiert. Hierbei werden Sie durch harmonische Verhältnisse geleitet, welche eine zentrale Rolle spielen und sich wie ein roter Faden durch das ganze Buch ziehen.

Einerseits ist dieses Buch für alle Liebhaberinnen und Liebhaber der Geometrie geschrieben, andererseits ist es durch die leicht zugängliche Theorie und die kurzen Beweise besonders auch für Schülerinnen und Schüler der Sekundarstufe sowie Lehramtsstudierende geeignet.

Dieses Lehrbuch nimmt Sie mit auf eine Entdeckungsreise durch die Welt der klassischen Geometrie: Beginnend beim Satz von Thales und den Apolloniuskreisen führt die Reise über Steiner''sche Kreisketten bis in die Welt der Kegelschnitte. Dabei werden verborgene Zusammenhänge aufgedeckt und Perlen der Elementargeometrie präsentiert. Hierbei werden Sie durch harmonische Verhältnisse geleitet, welche eine zentrale Rolle spielen und sich wie ein roter Faden durch das ganze Buch ziehen.

Einerseits ist dieses Buch für alle Liebhaberinnen und Liebhaber der Geometrie geschrieben, andererseits ist es durch die leicht zugängliche Theorie und die kurzen Beweise besonders auch für Schülerinnen und Schüler der Sekundarstufe sowie Lehramtsstudierende geeignet.

Die Entdeckung, dass sich nicht jedes Verhältnis von zwei Streckenlängen als Verhältnis ganzer Zahlen ausdrücken lässt, hat gezeigt, dass sich nicht jede reelle Zahl durch einen endlichen Term ausdrücken lässt, sondern dass es dazu etwas Unendliches braucht. Solch eine Darstellung wurde aber erst zwei Jahrtausende später durch Dedekind gefunden. Kurze Zeit nach Dedekinds Konstruktion der reellen Zahlen hat Cantor eine Theorie entwickelt, die Mengenlehre, in der mit verschiedenen Unendlichkeiten gerechnet werden kann. Diese Theorie wurde später von Zermelo auf ein axiomatisches Fundament gestellt, auf dem die moderne Mathematik aufgebaut ist.Die Reise wird immer wieder aufgelockert durch zahlreiche Beispiele und Übungsaufgaben, welche dabei helfen, den Text zu verstehen. Die Voraussetzungen sind so gewählt, dass das Buch bereits für Studierende mit geringen Vorkenntnissen zugänglich ist. Entstanden im Rahmen einer Vorlesung fürs Lehramt, richtet sich dieses Buch ganz besonders auch an Lehramtsstudierende.