List of undecidable problems (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "List of undecidable problems" in English language version.

refsWebsite

Global rank English rank

10doi.org

2^nd place

7arxiv.org

69^th place

59^th place

6nih.gov

4^th place

5harvard.edu

18^th place

17^th place

3semanticscholar.org

11^th place

8^th place

1psu.edu

207^th place

136^th place

1ams.org

451^st place

277^th place

1books.google.com

3^rd place

1handle.net

102^nd place

76^th place

1gwu.edu

1,353^rd place

938^th place

1demarcken.org

low place

1duke.edu

1,880^th place

1,218^th place

ams.org

mathscinet.ams.org

Trahtenbrot, B. A. (1950). "The impossibility of an algorithm for the decision problem for finite domains". Doklady Akademii Nauk SSSR. New Series. 70: 569–572. MR 0033784.

arxiv.org

Cubitt, Toby S.; Perez-Garcia, David; Wolf, Michael M. (2015). "Undecidability of the spectral gap". Nature. 528 (7581): 207–211. arXiv:1502.04135. Bibcode:2015Natur.528..207C. doi:10.1038/nature16059. PMID 26659181. S2CID 4451987.
Bausch, Johannes; Cubitt, Toby S.; Lucia, Angelo; Perez-Garcia, David (17 August 2020). "Undecidability of the Spectral Gap in One Dimension". Physical Review X. 10 (3): 031038. arXiv:1810.01858. Bibcode:2020PhRvX..10c1038B. doi:10.1103/PhysRevX.10.031038.
Li, C. T. (2023). "Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication". IEEE Transactions on Information Theory. 69 (6): 1. arXiv:2205.11461. doi:10.1109/TIT.2023.3247570. S2CID 248986512.
Kühne, L.; Yashfe, G. (2022). "Representability of Matroids by c-Arrangements is Undecidable". Israel Journal of Mathematics. 252: 1-53. arXiv:1912.06123. doi:10.1007/s11856-022-2345-z. S2CID 209324252.
Herrick, Austin; Biderman, Stella; Churchill, Alex (2019-03-24). "Magic: The Gathering is Turing Complete". arXiv:1904.09828v2 [cs.AI].
Cardona, R.; Miranda, E.; Peralta-Salas, D.; Presas, F. (2021). "Constructing Turing complete Euler flows in dimension 3". Proceedings of the National Academy of Sciences. 118 (19): 19. arXiv:2012.12828. Bibcode:2021PNAS..11826818C. doi:10.1073/pnas.2026818118. PMC 8126859. PMID 33947820.
Cardona, R.; Miranda, E.; Peralta-Salas, D. (2023). "Computability and Beltrami fields in Euclidean space". Journal de Mathématiques Pures et Appliquées. 169: 50-81. arXiv:2111.03559. doi:10.1016/j.matpur.2022.11.007.

books.google.com

Stillwell, John (1993), Classical Topology and Combinatorial Group Theory, Graduate Texts in Mathematics, vol. 72, Springer, p. 247, ISBN 9780387979700.

demarcken.org

de Marcken, Carl. "Computational Complexity of Air Travel Planning" (PDF). ITA Software. Retrieved 4 January 2021.

doi.org

Stallworth, Daniel T.; Roush, Fred W. (July 1997). "An Undecidable Property of Definite Integrals". Proceedings of the American Mathematical Society. 125 (7): 2147–2148. doi:10.1090/S0002-9939-97-03822-7.
Graça, Daniel S.; Buescu, Jorge; Campagnolo, Manuel L. (21 March 2008). "Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs". Electronic Notes in Theoretical Computer Science. 202: 49–57. doi:10.1016/j.entcs.2008.03.007. hdl:10400.1/1016.
Moore, Cristopher (1990), "Unpredictability and undecidability in dynamical systems" (PDF), Physical Review Letters, 64 (20): 2354–2357, Bibcode:1990PhRvL..64.2354M, doi:10.1103/PhysRevLett.64.2354, PMID 10041691.
Cubitt, Toby S.; Perez-Garcia, David; Wolf, Michael M. (2015). "Undecidability of the spectral gap". Nature. 528 (7581): 207–211. arXiv:1502.04135. Bibcode:2015Natur.528..207C. doi:10.1038/nature16059. PMID 26659181. S2CID 4451987.
Bausch, Johannes; Cubitt, Toby S.; Lucia, Angelo; Perez-Garcia, David (17 August 2020). "Undecidability of the Spectral Gap in One Dimension". Physical Review X. 10 (3): 031038. arXiv:1810.01858. Bibcode:2020PhRvX..10c1038B. doi:10.1103/PhysRevX.10.031038.
Elkouss, D.; Pérez-García, D. (2018). "Memory effects can make the transmission capability of a communication channel uncomputable". Nature Communications. 9 (1): 1149. Bibcode:2018NatCo...9.1149E. doi:10.1038/s41467-018-03428-0. PMC 5861076. PMID 29559615.
Li, C. T. (2023). "Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication". IEEE Transactions on Information Theory. 69 (6): 1. arXiv:2205.11461. doi:10.1109/TIT.2023.3247570. S2CID 248986512.
Kühne, L.; Yashfe, G. (2022). "Representability of Matroids by c-Arrangements is Undecidable". Israel Journal of Mathematics. 252: 1-53. arXiv:1912.06123. doi:10.1007/s11856-022-2345-z. S2CID 209324252.
Cardona, R.; Miranda, E.; Peralta-Salas, D.; Presas, F. (2021). "Constructing Turing complete Euler flows in dimension 3". Proceedings of the National Academy of Sciences. 118 (19): 19. arXiv:2012.12828. Bibcode:2021PNAS..11826818C. doi:10.1073/pnas.2026818118. PMC 8126859. PMID 33947820.
Cardona, R.; Miranda, E.; Peralta-Salas, D. (2023). "Computability and Beltrami fields in Euclidean space". Journal de Mathématiques Pures et Appliquées. 169: 50-81. arXiv:2111.03559. doi:10.1016/j.matpur.2022.11.007.

duke.edu

cs.duke.edu

"Computability and Complexity of Ray Tracing" (PDF). CS.Duke.edu.

gwu.edu

seas.gwu.edu

Moore, Cristopher (1990), "Unpredictability and undecidability in dynamical systems" (PDF), Physical Review Letters, 64 (20): 2354–2357, Bibcode:1990PhRvL..64.2354M, doi:10.1103/PhysRevLett.64.2354, PMID 10041691.

handle.net

hdl.handle.net

Graça, Daniel S.; Buescu, Jorge; Campagnolo, Manuel L. (21 March 2008). "Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs". Electronic Notes in Theoretical Computer Science. 202: 49–57. doi:10.1016/j.entcs.2008.03.007. hdl:10400.1/1016.

harvard.edu

ui.adsabs.harvard.edu

Moore, Cristopher (1990), "Unpredictability and undecidability in dynamical systems" (PDF), Physical Review Letters, 64 (20): 2354–2357, Bibcode:1990PhRvL..64.2354M, doi:10.1103/PhysRevLett.64.2354, PMID 10041691.
Cubitt, Toby S.; Perez-Garcia, David; Wolf, Michael M. (2015). "Undecidability of the spectral gap". Nature. 528 (7581): 207–211. arXiv:1502.04135. Bibcode:2015Natur.528..207C. doi:10.1038/nature16059. PMID 26659181. S2CID 4451987.
Bausch, Johannes; Cubitt, Toby S.; Lucia, Angelo; Perez-Garcia, David (17 August 2020). "Undecidability of the Spectral Gap in One Dimension". Physical Review X. 10 (3): 031038. arXiv:1810.01858. Bibcode:2020PhRvX..10c1038B. doi:10.1103/PhysRevX.10.031038.
Elkouss, D.; Pérez-García, D. (2018). "Memory effects can make the transmission capability of a communication channel uncomputable". Nature Communications. 9 (1): 1149. Bibcode:2018NatCo...9.1149E. doi:10.1038/s41467-018-03428-0. PMC 5861076. PMID 29559615.
Cardona, R.; Miranda, E.; Peralta-Salas, D.; Presas, F. (2021). "Constructing Turing complete Euler flows in dimension 3". Proceedings of the National Academy of Sciences. 118 (19): 19. arXiv:2012.12828. Bibcode:2021PNAS..11826818C. doi:10.1073/pnas.2026818118. PMC 8126859. PMID 33947820.

nih.gov

pubmed.ncbi.nlm.nih.gov

Moore, Cristopher (1990), "Unpredictability and undecidability in dynamical systems" (PDF), Physical Review Letters, 64 (20): 2354–2357, Bibcode:1990PhRvL..64.2354M, doi:10.1103/PhysRevLett.64.2354, PMID 10041691.
Cubitt, Toby S.; Perez-Garcia, David; Wolf, Michael M. (2015). "Undecidability of the spectral gap". Nature. 528 (7581): 207–211. arXiv:1502.04135. Bibcode:2015Natur.528..207C. doi:10.1038/nature16059. PMID 26659181. S2CID 4451987.
Elkouss, D.; Pérez-García, D. (2018). "Memory effects can make the transmission capability of a communication channel uncomputable". Nature Communications. 9 (1): 1149. Bibcode:2018NatCo...9.1149E. doi:10.1038/s41467-018-03428-0. PMC 5861076. PMID 29559615.
Cardona, R.; Miranda, E.; Peralta-Salas, D.; Presas, F. (2021). "Constructing Turing complete Euler flows in dimension 3". Proceedings of the National Academy of Sciences. 118 (19): 19. arXiv:2012.12828. Bibcode:2021PNAS..11826818C. doi:10.1073/pnas.2026818118. PMC 8126859. PMID 33947820.

ncbi.nlm.nih.gov

Elkouss, D.; Pérez-García, D. (2018). "Memory effects can make the transmission capability of a communication channel uncomputable". Nature Communications. 9 (1): 1149. Bibcode:2018NatCo...9.1149E. doi:10.1038/s41467-018-03428-0. PMC 5861076. PMID 29559615.
Cardona, R.; Miranda, E.; Peralta-Salas, D.; Presas, F. (2021). "Constructing Turing complete Euler flows in dimension 3". Proceedings of the National Academy of Sciences. 118 (19): 19. arXiv:2012.12828. Bibcode:2021PNAS..11826818C. doi:10.1073/pnas.2026818118. PMC 8126859. PMID 33947820.

psu.edu

citeseerx.ist.psu.edu

Wells, J. B. (1993). "Typability and type checking in the second-order lambda-calculus are equivalent and undecidable". Tech. Rep. 93-011. Comput. Sci. Dept., Boston Univ.: 176–185. CiteSeerX 10.1.1.31.3590.

semanticscholar.org

api.semanticscholar.org

Cubitt, Toby S.; Perez-Garcia, David; Wolf, Michael M. (2015). "Undecidability of the spectral gap". Nature. 528 (7581): 207–211. arXiv:1502.04135. Bibcode:2015Natur.528..207C. doi:10.1038/nature16059. PMID 26659181. S2CID 4451987.
Li, C. T. (2023). "Undecidability of Network Coding, Conditional Information Inequalities, and Conditional Independence Implication". IEEE Transactions on Information Theory. 69 (6): 1. arXiv:2205.11461. doi:10.1109/TIT.2023.3247570. S2CID 248986512.
Kühne, L.; Yashfe, G. (2022). "Representability of Matroids by c-Arrangements is Undecidable". Israel Journal of Mathematics. 252: 1-53. arXiv:1912.06123. doi:10.1007/s11856-022-2345-z. S2CID 209324252.