{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:37:58Z","timestamp":1765233478419,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T00:00:00Z","timestamp":1677715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,2]]},"DOI":"10.1145\/3545945.3569742","type":"proceedings-article","created":{"date-parts":[[2023,3,3]],"date-time":"2023-03-03T23:40:27Z","timestamp":1677886827000},"page":"270-276","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-751X","authenticated-orcid":false,"given":"Rafael","family":"del Vado V\u00edrseda","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2023,3,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Abrams and Seth Lloyd","author":"Daniel","year":"1998","unstructured":"Daniel S. Abrams and Seth Lloyd. 1998. Computational Complexity and Physical Law. In QCQC."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Aguirre Z. Merali and D. Sloan. 2021. Undecidability Uncomputability and Unpredictability. Springer International Publishing. https:\/\/books.google.es\/ books?id=p00uzgEACAAJ","DOI":"10.1007\/978-3-030-70354-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519935.3520067"},{"key":"e_1_3_2_1_4_1","volume-title":"Four mathematicians demonstrate it is impossible to predict where 29,000 rubber ducks in the sea will wash up. (may","author":"Ansede Manuel","year":"2021","unstructured":"Manuel Ansede. 2021. Four mathematicians demonstrate it is impossible to predict where 29,000 rubber ducks in the sea will wash up. (may 2021). https:\/\/english.elpais.com\/usa\/2021-05--12\/four-mathematicians-demonstrate-it-is-impossible-to-predict-where-rubber-ducks-in-the-sea-will-wash-up.html#?prm=copy_link"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780195130829.001.0001"},{"volume-title":"Complexity and Real Computation","author":"Blum Lenore","key":"e_1_3_2_1_6_1","unstructured":"Lenore Blum, Felipe Cucker, Michael Shub, and Steve Smale. 1998. Complexity and Real Computation. Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"Robert Cardona Eva Miranda and Daniel Peralta-Salas. 2021. Looking at Euler flows through a contact mirror: Universality and undecidability. https:\/\/doi.org\/ 10.48550\/ARXIV.2107.09471","DOI":"10.48550\/ARXIV.2107.09471"},{"key":"e_1_3_2_1_8_1","unstructured":"Brian Conrad. 2005. Impossibility theorems for elementary integration. (2005). http:\/\/www2.maths.ox.ac.uk\/cmi\/library\/academy\/LectureNotes05\/Conrad.pdf"},{"key":"e_1_3_2_1_9_1","volume-title":"The Unsolvable Problem. Scientific American","author":"Cubitt Toby S.","year":"2018","unstructured":"Toby S. Cubitt, David P\u00e9rez-Garc\u00eda, and Michael Wolf. 2018. The Unsolvable Problem. Scientific American (2018)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature16059"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00671484"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Martin Davis. 2013. Computability and Unsolvability. Dover Publications.","DOI":"10.7551\/mitpress\/8009.003.0003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3300115.3309507"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3293784"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3293784"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428029.3428038"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341525.3393986"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432475"},{"key":"e_1_3_2_1_19_1","unstructured":"Jedson dos Santos. 2022. Python Animation Tool for Simple Fluid Dynamics Simulation. https:\/\/www.linkedin.com\/pulse\/python-animation-tool-simple-fluid-dynamics-jedson-dos-santos?trk=articles_directory"},{"key":"e_1_3_2_1_20_1","unstructured":"D. Perez Garcia. 2018. Undecidability in physics. . . and its consequences. https: \/\/www.youtube.com\/watch?v=QG9Bueldok4&t=10s"},{"volume-title":"Reducing abstraction level when learning computability theory concepts (ITiCSE '02)","author":"Hazzan Orit","key":"e_1_3_2_1_21_1","unstructured":"Orit Hazzan. 2002. Reducing abstraction level when learning computability theory concepts (ITiCSE '02). ACM, New York, NY, USA, 156--160. https:\/\/doi. org\/10.1145\/544414.544461"},{"volume-title":"Force Fields, Teleportation, and Time Travel (1 ed.)","author":"Kaku Michio","key":"e_1_3_2_1_22_1","unstructured":"Michio Kaku. 2008. Physics of the Impossible: A Scientific Exploration Into the World of Phasers, Force Fields, Teleportation, and Time Travel (1 ed.). Doubleday."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2538862"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1268784.1268802"},{"key":"e_1_3_2_1_25_1","volume-title":"A Primer on Scientific Programming with Python","author":"Langtangen Hans P.","unstructured":"Hans P. Langtangen. 2012. A Primer on Scientific Programming with Python (5th ed.). Springer Publishing Company, Incorporated.","edition":"5"},{"key":"e_1_3_2_1_26_1","volume-title":"Langtangen","author":"Linge Svein","year":"2016","unstructured":"Svein Linge and Hans P. Langtangen. 2016. Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python (1st ed.). Springer Publishing Company, Incorporated."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10569-010-9333-z"},{"key":"e_1_3_2_1_28_1","unstructured":"Chiara Marletto. 2021. The Science of Can and Can't: A Physicist's Journey Through the Land of Counterfactuals. Allen Lane."},{"volume-title":"Unpredictability and undecidability in dynamical systems. Physical review letters 64 20","year":"1990","key":"e_1_3_2_1_29_1","unstructured":"Moore. 1990. Unpredictability and undecidability in dynamical systems. Physical review letters 64 20 (1990), 2354--2357."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-70354-7_2"},{"key":"e_1_3_2_1_31_1","unstructured":"Erik Neumann. 2016. Kinematics of the Double Pendulum. https:\/\/web.mit.edu\/ jorloff\/www\/chaosTalk\/double-pendulum\/double-pendulum-en.html"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"T. N. Palmer. 2021. Bell's Theorem Non-Computability and Conformal Cyclic Cosmology: A Top-Down Approach to Quantum Gravity. https:\/\/doi.org\/10. 48550\/ARXIV.2108.10902","DOI":"10.1116\/5.0060680"},{"volume-title":"The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics","author":"Penrose Roger","key":"e_1_3_2_1_33_1","unstructured":"Roger Penrose. 1989. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford University Press, Inc., USA."},{"key":"e_1_3_2_1_34_1","volume-title":"Undecidable problems: a sampler. (apr","author":"Poonen Bjorn","year":"2012","unstructured":"Bjorn Poonen. 2012. Undecidable problems: a sampler. (apr 2012), 28. http: \/\/www-math.mit.edu\/~poonen\/papers\/sampler.pdf"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"e_1_3_2_1_36_1","unstructured":"Bobby Richardst. 2021. A Computer Simulation of a Perpetual Motion Concept. https:\/\/www.youtube.com\/watch?v=TZIQ4zSwjNo"},{"key":"e_1_3_2_1_37_1","volume-title":"Teaching Theoretical Computer Science at the Undergraduate Level: Experiences, Observations, and Proposals to Improve the Status Quo","author":"Robins Gabriel","year":"1988","unstructured":"Gabriel Robins. 1988. Teaching Theoretical Computer Science at the Undergraduate Level: Experiences, Observations, and Proposals to Improve the Status Quo. University of California. Computer Science Department 88, 63 (02 1988)."},{"key":"e_1_3_2_1_38_1","volume-title":"What We Cannot Know: Explorations at the Edge of Knowledge","author":"Sautoy Marcus Du","unstructured":"Marcus Du Sautoy. 2016. What We Cannot Know: Explorations at the Edge of Knowledge (1st ed.). 4th Estate.","edition":"1"},{"key":"e_1_3_2_1_39_1","volume-title":"Impossible: Physics Beyond The Edge. The Great Courses.","author":"Schumacher Benjamin","year":"2010","unstructured":"Benjamin Schumacher. 2010. Impossible: Physics Beyond The Edge. The Great Courses."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-"},{"key":"e_1_3_2_1_41_1","unstructured":"Michael Sipser. 2012. Introduction to the Theory of Computation."},{"key":"e_1_3_2_1_42_1","volume-title":"An Introduction to G\u00f6del's Theorems","author":"Smith Peter","unstructured":"Peter Smith. 2013. An Introduction to G\u00f6del's Theorems (2nd ed.). Cambridge University Press.","edition":"2"},{"volume-title":"Thermodynamics in python (tutorial). https:\/\/www.youtube. com\/watch?v=idwnFn2jJ94","author":"Spacet Dave's","key":"e_1_3_2_1_43_1","unstructured":"Dave's Spacet. 2021. Thermodynamics in python (tutorial). https:\/\/www.youtube. com\/watch?v=idwnFn2jJ94"},{"volume-title":"Yearning for the Impossible: The Surprising Truths of Mathe- matics (2 ed.)","author":"Stillwell John","key":"e_1_3_2_1_44_1","unstructured":"John Stillwell. 2018. Yearning for the Impossible: The Surprising Truths of Mathe- matics (2 ed.). CRC Press."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","unstructured":"Terence Tao. 2017. On the universality of potential well dynamics. (2017). https:\/\/doi.org\/10.48550\/ARXIV.1707.02389","DOI":"10.48550\/ARXIV.1707.02389"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","unstructured":"Terence Tao. 2017. On the universality of the incompressible Euler equation on compact manifolds. https:\/\/doi.org\/10.48550\/ARXIV.1707.07807","DOI":"10.48550\/ARXIV.1707.07807"},{"key":"e_1_3_2_1_47_1","unstructured":"Terence Tao. 2019. On the universality of the incompressible Euler equation on compact manifolds II. Non-rigidity of Euler flows. https:\/\/doi.org\/10.48550\/ ARXIV.1902.06313"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00004233"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.2001.061"},{"volume-title":"The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us","author":"Yanofsky Noson S.","key":"e_1_3_2_1_50_1","unstructured":"Noson S. Yanofsky. 2016. The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us. The MIT Press"}],"event":{"name":"SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Toronto ON Canada","acronym":"SIGCSE 2023"},"container-title":["Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569742","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3545945.3569742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:59Z","timestamp":1750183799000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,2]]},"references-count":50,"alternative-id":["10.1145\/3545945.3569742","10.1145\/3545945"],"URL":"https:\/\/doi.org\/10.1145\/3545945.3569742","relation":{},"subject":[],"published":{"date-parts":[[2023,3,2]]},"assertion":[{"value":"2023-03-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}