Zobrazeno 1 - 10
of 174
pro vyhledávání: '"Solomon Feferman"'
Publikováno v:
Philosophia Scientiæ, Vol 14, Iss 1, Pp 159-168 (2010)
Externí odkaz:
https://doaj.org/article/52c0dc330b6b423b9492de30b2e50f31
Autor:
Solomon Feferman
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 3 (2006)
The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of e
Externí odkaz:
https://doaj.org/article/fd60118942b14e2a96e8c98b1c287a72
Autor:
Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg
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 theory, and the consistency of the axiom of choice and the continuum hypoth
Autor:
Kurt Gödel, Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons, Wilfried Sieg
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 theory, and the consistency of the axiom of choice and the continuum hypoth
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 formalized arithmetic. This book on different aspects of his work
Autor:
Solomon Feferman
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the
Autor:
Kurt Godel, Solomon Feferman, John W. Dawson Jr, Stephen C. Kleene, Gregory H. Moore, Robert M. Sol
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The fi
Autor:
Solomon Feferman
Publikováno v:
Alan Turing's Systems of Logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6333d489ee8ddfcd489c8a8ca10b1b54
https://doi.org/10.2307/j.ctv1vbd2dr.5
https://doi.org/10.2307/j.ctv1vbd2dr.5
Autor:
Solomon Feferman, Geoffrey Hellman
The White Rabbit put on his spectacles. “Where shall I begin, please your Majesty?” he asked. “Begin at the beginning,” the King said gravely, “and go on till you come to the end: then stop.” Lewis Carroll, Alice in Wonderland This is a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e172f6333dfc8090b11c940645e3a445
https://doi.org/10.1017/9781108657419.009
https://doi.org/10.1017/9781108657419.009