Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Dana S. Scott"'
Autor:
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely a
Publikováno v:
Kurt Gödel and the Foundations of Mathematics. :xix-xxiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b926248d1f13e55f1b6f9721cc75a909
https://doi.org/10.1017/cbo9780511974236.003
https://doi.org/10.1017/cbo9780511974236.003
Autor:
Dana S. Scott
Publikováno v:
ACM-TURING
A very fast development in the early 1930s, following Hilbert's codification of Mathematical Logic, led to the Incompleteness Theorems, Computable Functions, Undecidability Theorems, and the general formulation of recursive Function Theory. The so-ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6007cfe855b96625ba736bc88082db7
https://doi.org/10.1145/2322176.2322185
https://doi.org/10.1145/2322176.2322185
Autor:
Dana S. Scott
Publikováno v:
Acta Informatica. 31:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d5f662c2b4c0c7975d42ffb98267cdd
https://doi.org/10.1007/bf01178919
https://doi.org/10.1007/bf01178919
Publikováno v:
Mathematical Structures in Computer Science. 12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3393f46d5ffa3dd0a0856d2578099993
https://doi.org/10.1017/s0960129502003602
https://doi.org/10.1017/s0960129502003602
Autor:
Dana S. Scott, G. H. Müller
Publikováno v:
Lecture Notes in Mathematics ISBN: 9783540089261
Higher Set Theory
Higher Set Theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::daefec23e628d1fa0c9b6651358457cc
https://doi.org/10.1007/bfb0103096
https://doi.org/10.1007/bfb0103096