Sökt på: Sökresultat
totalt 13 träffar
Finite Model Theory
Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of …
Einführung in die mathematische Logik
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden …
Ernst Zermelo - Collected Works/Gesammelte Werke
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also …
Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical …
Recursion Theory Week
O-Bibliography of Mathematical Logic
Einführung in die Mengenlehre
Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. …
Ernst Zermelo
Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and …
Ernst Zermelo - Collected Works/Gesammelte Werke II
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include …