22 Ergebnisse für: computability
-
Correspondence H-Z - Kurt G?del, S. Feferman - Google Books
http://books.google.de/books?id=54fim_HHd6IC&lpg=PA565&ots=ZPhSfngBmc&dq=%22goldbach-zahl%22&pg=PA565#v=onepage&q&f=false
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 hypothesis.…
-
CMC-E-Texts
https://web.archive.org/web/20000817193611/http://www.uni-koeln.de/themen/cmc/litlist.html
Keine Beschreibung vorhanden.