Halting problem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Halting problem" in English language version.

refsWebsite

Global rank English rank

11doi.org

2^nd place

8archive.org

6^th place

4books.google.com

3^rd place

4semanticscholar.org

11^th place

8^th place

1jstor.org

26^th place

20^th place

1handle.net

102^nd place

76^th place

1oup.com

485^th place

440^th place

1dijkstrascry.com

low place

1projecteuclid.org

3,707^th place

2,409^th place

1researchgate.net

120^th place

125^th place

1core.ac.uk

1,734^th place

1,312^th place

1arxiv.org

69^th place

59^th place

1scottaaronson.blog

low place

archive.org

Hodges 1983, p. 83; Davis' commentary in Davis 1965, p. 108 Hodges, Andrew (1983). Alan Turing: the enigma. New York: Simon and Schuster. ISBN 0-671-49207-1.. Cf. Chapter "The Spirit of Truth" for a history leading to, and a discussion of, his proof. Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
Absolutely unsolvable problems and relatively undecidable propositions – account of an anticipation, reprinted in Davis 1965, pp. 340–433 Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
reprinted in Davis 1965, p. 5ff Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
A Note on the Entscheidungsproblem, reprinted in Davis 1965, p. 110 Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
Davis 1965, p. 289ff. Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
reprinted in Davis 1965, p. 115 Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
Rosser, "Informal Exposition of Proofs of Gödel's Theorem and Church's Theorem", reprinted in Davis 1965, p. 223 Davis, Martin (1965). The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions. New York: Raven Press.. Turing's paper is #3 in this volume. Papers include those by Godel, Church, Rosser, Kleene, and Post.
for example, Sipser 2006, Davis 1958, Minsky 1967, Hopcroft & Ullman 1979, Börger 1989 Sipser, Michael (2006). "Section 4.2: The Halting Problem". Introduction to the Theory of Computation (Second ed.). PWS Publishing. pp. 173–182. ISBN 0-534-94728-X. Davis, Martin (1958). Computability and Unsolvability. New York: McGraw-Hill.. Minsky, Marvin (1967). Computation: finite and infinite machines. Englewood Cliffs, NJ: Prentice-Hall. ISBN 0131655639.. See chapter 8, Section 8.2 "Unsolvability of the Halting Problem." Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation (1st ed.). Addison-Wesley. ISBN 81-7808-347-7.. See Chapter 7 "Turing Machines." A book centered around the machine-interpretation of "languages", NP-Completeness, etc. Börger, Egon (1989). Computability, complexity, logic. Amsterdam: North-Holland. ISBN 008088704X.

arxiv.org

Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander (5 April 2016). "Generic algorithms for halting problem and optimal machines revisited". Logical Methods in Computer Science. 12 (2): 1. arXiv:1505.00731. doi:10.2168/LMCS-12(2:1)2016. S2CID 14763862.

books.google.com

McConnell, Steve (2004). Code Complete (2nd ed.). Pearson Education. p. 374. ISBN 9780735636972.
Huang, Han-Way (2009). The HCS12 / 9S12: An Introduction to Software and Hardware Interfacing. p. 197. ... if the program gets stuck in a certain loop, ... figure out what's wrong.
Simon, David E. (1999). An Embedded Software Primer. p. 253. For hard real-time systems, therefore, it is important to write subroutines that always execute in the same amount of time or that have a clearly identifiable worst case.
Textual search of Turing's collected works: Good (1992), Gandy & Yates (2001), Ince (1992), Saunders (1992). Similarly Hodges (1983) does not have the word "halting" or words "halting problem" in his index. Good, Irving John, ed. (1992). Pure Mathematics. North-Holland. ISBN 978-0-444-88059-8. Gandy, R. O.; Yates, C. E. M., eds. (5 December 2001). Mathematical Logic. Elsevier. ISBN 978-0-08-053592-0. Ince, D.C., ed. (1992). Mechanical Intelligence. North-Holland. ISBN 978-0-444-88058-1. Saunders, P. T., ed. (26 November 1992). Morphogenesis. Elsevier. ISBN 978-0-08-093405-1. Hodges, Andrew (1983). Alan Turing: the enigma. New York: Simon and Schuster. ISBN 0-671-49207-1.. Cf. Chapter "The Spirit of Truth" for a history leading to, and a discussion of, his proof.

core.ac.uk

Lynch, Nancy (October 1974). "Approximations to the halting problem" (PDF). Journal of Computer and System Sciences. 9 (2): 143–150. doi:10.1016/S0022-0000(74)80003-6.

dijkstrascry.com

Daylight, Edgar G. (16 April 2021). "The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian" (PDF). Computability. 10 (2): 141–158. doi:10.3233/COM-180217. S2CID 233329507. Retrieved 26 August 2021.

doi.org

Church 1936. Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
Lucas 2021. Lucas, Salvador (June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687. hdl:10251/189460. S2CID 235396831.
Moore & Mertens 2011, pp. 236–237. Moore, Cristopher; Mertens, Stephan (2011). The Nature of Computation. Oxford University Press. doi:10.1093/acprof:oso/9780199233212.001.0001. ISBN 978-0-19-923321-2.
Strachey, C. (1 January 1965). "An impossible program". The Computer Journal. 7 (4): 313. doi:10.1093/comjnl/7.4.313.
Daylight, Edgar G. (16 April 2021). "The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian" (PDF). Computability. 10 (2): 141–158. doi:10.3233/COM-180217. S2CID 233329507. Retrieved 26 August 2021.
Hamkins, Joel David; Miasnikov, Alexei (1 October 2006). "The Halting Problem Is Decidable on a Set of Asymptotic Probability One" (PDF). Notre Dame Journal of Formal Logic. 47 (4). doi:10.1305/ndjfl/1168352664. S2CID 15005164. Retrieved 5 November 2022.
Köhler, Sven; Schindelhauer, Christian; Ziegler, Martin (2005). "On Approximating Real-World Halting Problems". Fundamentals of Computation Theory. Lecture Notes in Computer Science. Vol. 3623. pp. 454–466. doi:10.1007/11537311_40. ISBN 978-3-540-28193-1.
Lynch, Nancy (October 1974). "Approximations to the halting problem" (PDF). Journal of Computer and System Sciences. 9 (2): 143–150. doi:10.1016/S0022-0000(74)80003-6.
Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander (5 April 2016). "Generic algorithms for halting problem and optimal machines revisited". Logical Methods in Computer Science. 12 (2): 1. arXiv:1505.00731. doi:10.2168/LMCS-12(2:1)2016. S2CID 14763862.
Abdulla & Jonsson 1996, p. 92. Abdulla, Parosh Aziz; Jonsson, Bengt (1996). "Verifying Programs with Unreliable Channels". Information and Computation. 127 (2): 91–101. doi:10.1006/inco.1996.0053.

dx.doi.org

Moore & Mertens 2011, pp. 236–237. Moore, Cristopher; Mertens, Stephan (2011). The Nature of Computation. Oxford University Press. doi:10.1093/acprof:oso/9780199233212.001.0001. ISBN 978-0-19-923321-2.

handle.net

hdl.handle.net

Lucas 2021. Lucas, Salvador (June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687. hdl:10251/189460. S2CID 235396831.

jstor.org

Church 1936. Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.

oup.com

academic.oup.com

Strachey, C. (1 January 1965). "An impossible program". The Computer Journal. 7 (4): 313. doi:10.1093/comjnl/7.4.313.

projecteuclid.org

Hamkins, Joel David; Miasnikov, Alexei (1 October 2006). "The Halting Problem Is Decidable on a Set of Asymptotic Probability One" (PDF). Notre Dame Journal of Formal Logic. 47 (4). doi:10.1305/ndjfl/1168352664. S2CID 15005164. Retrieved 5 November 2022.

researchgate.net

Köhler, Sven; Schindelhauer, Christian; Ziegler, Martin (2005). "On Approximating Real-World Halting Problems". Fundamentals of Computation Theory. Lecture Notes in Computer Science. Vol. 3623. pp. 454–466. doi:10.1007/11537311_40. ISBN 978-3-540-28193-1.

scottaaronson.blog

Aaronson, Scott (21 July 2011). "Rosser's Theorem via Turing machines". Shtetl-Optimized. Retrieved 2 November 2022.

semanticscholar.org

api.semanticscholar.org

Lucas 2021. Lucas, Salvador (June 2021). "The origins of the halting problem". Journal of Logical and Algebraic Methods in Programming. 121: 100687. doi:10.1016/j.jlamp.2021.100687. hdl:10251/189460. S2CID 235396831.
Daylight, Edgar G. (16 April 2021). "The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian" (PDF). Computability. 10 (2): 141–158. doi:10.3233/COM-180217. S2CID 233329507. Retrieved 26 August 2021.
Hamkins, Joel David; Miasnikov, Alexei (1 October 2006). "The Halting Problem Is Decidable on a Set of Asymptotic Probability One" (PDF). Notre Dame Journal of Formal Logic. 47 (4). doi:10.1305/ndjfl/1168352664. S2CID 15005164. Retrieved 5 November 2022.
Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander (5 April 2016). "Generic algorithms for halting problem and optimal machines revisited". Logical Methods in Computer Science. 12 (2): 1. arXiv:1505.00731. doi:10.2168/LMCS-12(2:1)2016. S2CID 14763862.