22 Ergebnisse für: computability

  • Thumbnail
    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.…

  • Thumbnail
    https://web.archive.org/web/20000817193611/http://www.uni-koeln.de/themen/cmc/litlist.html

    Keine Beschreibung vorhanden.



Ähnliche Suchbegriffe