{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:30:03Z","timestamp":1765233003756,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:00Z","timestamp":1605744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,19]]},"DOI":"10.1145\/3428029.3428038","type":"proceedings-article","created":{"date-parts":[[2020,11,22]],"date-time":"2020-11-22T20:32:05Z","timestamp":1606077125000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science"],"prefix":"10.1145","author":[{"given":"Rafael","family":"del Vado V\u00edrseda","sequence":"first","affiliation":[{"name":"Complutense University of Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2020,11,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ACM. 2017. Curricula Recommendations. https:\/\/www.acm.org\/education\/curricula-recommendations  ACM. 2017. Curricula Recommendations. https:\/\/www.acm.org\/education\/curricula-recommendations"},{"key":"e_1_3_2_1_2_1","unstructured":"CSTA Cyber Innovation Center National\u00a0Math ACM Code.org and Science Initiative. 2016. K-12 Computer Science Framework. http:\/\/www.k12cs.org  CSTA Cyber Innovation Center National\u00a0Math ACM Code.org and Science Initiative. 2016. K-12 Computer Science Framework. http:\/\/www.k12cs.org"},{"volume-title":"Computation and Computational Thinking. Ubiquity symposium (2011","year":"2011","author":"Aho V.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"A. Balanskat and K. Engelhardt. 2015. Computing our future: Computer programming and coding. Priorities school curricula and initiatives across Europe. Technical Report. European Schoolnet.  A. Balanskat and K. Engelhardt. 2015. Computing our future: Computer programming and coding. Priorities school curricula and initiatives across Europe. Technical Report. European Schoolnet."},{"key":"e_1_3_2_1_5_1","first-page":"20","article-title":"Computer science unplugged: school students doing real computing without computers","volume":"13","author":"Bell Tim","year":"2009","journal-title":"New Zealand Journal of Applied Computing and Information Technology"},{"key":"e_1_3_2_1_6_1","unstructured":"Brian Conrad. 2005. Impossibility theorems for elementary integration. (2005). http:\/\/www2.maths.ox.ac.uk\/cmi\/library\/academy\/LectureNotes05\/Conrad.pdf  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_7_1","doi-asserted-by":"crossref","DOI":"10.1145\/2094131.2094158","volume-title":"Computing at school: Stimulating computing education in the UK. (11","author":"Crick Tom","year":"2011"},{"volume-title":"The Universal Computer: The Road from Leibniz to Turing","author":"Davis Martin","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3300115.3309507"},{"volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019","year":"2019","author":"del Vado\u00a0V\u00edrseda Rafael","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341525.3393986"},{"volume-title":"Great Principles of Computing","author":"Denning Peter","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Roy Dubisch. 1948. The Art of Teaching: Impossible and Unsolved Problems in Elementary Mathematics. ibid 41(1948) 285\u2013286.  Roy Dubisch. 1948. The Art of Teaching: Impossible and Unsolved Problems in Elementary Mathematics. ibid 41(1948) 285\u2013286.","DOI":"10.5951\/MT.41.6.0285"},{"volume-title":"2013. Making computing interesting to school students: teachers","author":"Jonathan\u00a0Back","key":"e_1_3_2_1_14_1"},{"volume-title":"ITiCSE \u201907","author":"Laura\u00a0Korte","key":"e_1_3_2_1_15_1"},{"volume-title":"Using nonelementary results in non-university courses. epsilon - Thales 41, 2","year":"1998","author":"G\u00f3mez Joaqu\u00edn\u00a0Hern\u00e1ndez","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"M. Guzdial. 2016. Bringing computer science to US schools state by state. Vol.\u00a059(5).  M. Guzdial. 2016. Bringing computer science to US schools state by state. Vol.\u00a059(5).","DOI":"10.1145\/2898963"},{"key":"e_1_3_2_1_18_1","unstructured":"P. Kemp. 2014. Computing in the National Curriculum: A guide for secondary teachers.  P. Kemp. 2014. Computing in the National Curriculum: A guide for secondary teachers."},{"edition":"5","volume-title":"A Primer on Scientific Programming with Python","author":"Langtangen P.","key":"e_1_3_2_1_19_1"},{"volume-title":"Mathematical Impossibility in History and in the Classroom. Cuadernos de Investigaci\u00f3n y Formaci\u00f3n en Educaci\u00f3n Matem\u00e1tica 8, 11","year":"2013","author":"L\u00fctzen Jesper","key":"e_1_3_2_1_20_1"},{"volume-title":"D. E.\u00a0Comer.","year":"1989","author":"Gries M. C.","key":"e_1_3_2_1_21_1"},{"volume-title":"Undecidable problems: a sampler. (apr","year":"2012","author":"Poonen Bjorn","key":"e_1_3_2_1_22_1"},{"volume-title":"Computer Science in Elementary and Secondary Schools. In IFIP","year":"1993","author":"Proulx K.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"volume-title":"Teaching Theoretical Computer Science at the Undergraduate Level: Experiences, Observations, and Proposals to Improve the Status Quo","year":"1988","author":"Robins Gabriel","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","unstructured":"D.\u00a0Ching S.\u00a0Vogel R.\u00a0Santo. 2017. Visions of computer science education: Unpacking arguments for an projected impacts of CS4All initiatives.  D.\u00a0Ching S.\u00a0Vogel R.\u00a0Santo. 2017. Visions of computer science education: Unpacking arguments for an projected impacts of CS4All initiatives."},{"key":"e_1_3_2_1_27_1","unstructured":"Michael Sipser. 2012. Introduction to the Theory of Computation.  Michael Sipser. 2012. Introduction to the Theory of Computation."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1038\/scientificamerican0100-98","article-title":"Impossibility Theorems","volume":"282","author":"Stewart Ian","year":"2000","journal-title":"Scientific American - SCI AMER"},{"volume-title":"Yearning for the Impossible: The Surprising Truths of Mathematics (2 ed.)","author":"Stillwell John","key":"e_1_3_2_1_29_1"},{"volume-title":"Roads to Infinity: The Mathematics of Truth and Proof","author":"Stillwell C.","key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","DOI":"10.1201\/b11162"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/321850.321856","article-title":"The Undecidability of the Existence of Zeros of Real Elementary Functions","volume":"21","author":"Wang S.","year":"1974","journal-title":"J. ACM"}],"event":{"name":"Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research","acronym":"Koli Calling '20","location":"Koli Finland"},"container-title":["Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428029.3428038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3428029.3428038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:23Z","timestamp":1750195463000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428029.3428038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,19]]},"references-count":31,"alternative-id":["10.1145\/3428029.3428038","10.1145\/3428029"],"URL":"https:\/\/doi.org\/10.1145\/3428029.3428038","relation":{},"subject":[],"published":{"date-parts":[[2020,11,19]]}}}