Did Turing Stand on Gödel’s Shoulders?-Reference-Cited by-同舟云学术

Did Turing Stand on Gödel’s Shoulders?

Published:2022-06-04 Issue:4 Volume:44 Page:308-319
ISSN:0343-6993
Container-title:The Mathematical Intelligencer
language:en
Short-container-title:Math Intelligencer

Author:

Copeland B. Jack^ORCID,Fan Zhao

Funder

University of Canterbury

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,General Mathematics

Link

https://link.springer.com/content/pdf/10.1007/s00283-022-10177-y.pdf

Reference49 articles.

1. S. Aaronson. Rosser’s theorem via Turing machines. Available at http://www.scottaaronson.com/blog/?p=710, 2011.

2. W. Aspray. From Mathematical Constructivity to Computer Science: Alan Turing, John von Neumann, and the Origins of Computer Science in Mathematical Logic. PhD Dissertation, University of Wisconsin-Madison, 1980.

3. H. Behmann. Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem. Mathematische Annalen 86 (1922), 163–229.

4. C. Bernhardt. Turing’s Vision: The Birth of Computer Science. MIT Press, 2016.

5. M. A. Boden. Mind as Machine: A History of Cognitive Science, vol. 1. Oxford University Press, 2006.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Legal implications of automated suspicious transaction monitoring: enhancing integrity of AI;Journal of Banking Regulation;2024-02-06

2. Specific challenges posed by artificial intelligence in research ethics;Frontiers in Artificial Intelligence;2023-07-06

3. Turing and Von Neumann: From Logic to the Computer;Philosophies;2023-03-09

4. “Legal personality” of artificial intelligence: methodological problems of scientific reasoning by Ukrainian and EU experts;AI & SOCIETY;2023-02-09

5. Using the AraBERT Model for Customer Satisfaction Classification of Telecom Sectors in Saudi Arabia;Brain Sciences;2023-01-14