Conceptual Revolutions in Twentieth-Century Art || The Greatest Artists of the Twentieth Century
- 作者Galenson, David W.
- 期第2期
- 文件大小578.74KB
- 发表时间2009
- DOI10.1017/cbo9780511804205.004
- 页码30-61
Turing's Legacy (Developments from Turing's Ideas in Logic) || Turing and the discovery of computabilityDowney, Rod · 2014
[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Feedback Turing Computability, and Turing Computability as FeedbackAckerman, Nathanael L.; Freer, Cameron E.; Lubarsky, Robert S. · 2015
Turing's Legacy (Developments from Turing's Ideas in Logic) || Computability theory, algorithmic randomness and Turing's anticipationDowney, Rod · 2014
Turing's Legacy (Developments from Turing's Ideas in Logic) || Computability and analysis: the legacy of Alan TuringDowney, Rod · 2014
[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || The Global Structure of the Turing DegreesTheodore, A. Slaman · 1999
Alan Turing and the Turing Machine.; Turing's Analysis of Computability, and Major Applications of it.; The Confluence of Ideas in 1936.; Turing in the Land of O(z).; Mathematical Logic and the Origin of Modern Computers.;Crossley, John N.; Hodges, Andrew; Herken, Rolf; Kleene, Stephen C.; Gandy, Robin; Feferman, Solomon; Davis, Martin; Phillips, Esther R. · The Journal of Symbolic Logic · 1991
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing. pp. 20–33. - Andrew R. Booker. Turing and the Primes. pp. 34–52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53–77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78–89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92–105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106–116. - Solomon Feferman. Turing’s ‘Oracle’: From Absolute to Relative Computability and Back. pp. 300–334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335–360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361–378.Urquhart, Alasdair · The Bulletin of Symbolic Logic · 2016
Computability and Logic || DiagonalizationBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2002
Computability and Logic || Recursive FunctionsBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2002
Computability and Logic || ModelsBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2002
Computability and Logic || Nonstandard ModelsBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2002
Computability and Logic || Annotated BibliographyBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2002
Computability and Logic || EnumerabilityBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2007
Computability and Logic || DiagonalizationBoolos, George S.; Burgess, John P.; Jeffrey, Richard C. · 2007