Sökt på: Böcker av Solomon Feferman
totalt 15 träffar
Kurt Gödel: Collected Works: Volume IV
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number …
In the Light of Logic
Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the …
Kurt Gödel: Collected Works: Volume V
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number …
Alfred Tarski
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are …
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
Kurt Gödel
Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of …
Kurt Godel
Kurt Godel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of …
Alfred Tarski
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as ‘the man who defined truth’. His mathematical work on the concepts of truth and logical …
Kurt Gödel: Collected Works: Volume III
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number …
Kurt Godel: Collected Works: Volume V
Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number …
Kurt Gödel: Collected Works: Volume IV
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number …
One Hundred Years of Russell´s Paradox
The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the …