Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Bew...

This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-...

This textbook introduces first-order logic and its role in the foundations of mathematics by exam...

Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiom...

Finite model theory has its origin in classical model theory, but owes its systematic development...

Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem ...

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known fo...

Aus den Besprechungen: 'Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schat...

Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlag...

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known fo...