Sökt på: Sökresultat
totalt 9 träffar
O-Bibliography of Mathematical Logic
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded …
Finite Model Theory
Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and …
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 …
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 …
Recursion Theory Week
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 …