{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T15:38:03Z","timestamp":1790696283561,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T00:00:00Z","timestamp":1658880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"United States Department of Energy"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,27]]},"DOI":"10.1145\/3546790.3546806","type":"proceedings-article","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:10:51Z","timestamp":1662610251000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Neuromorphic Computing is Turing-Complete"],"prefix":"10.1145","author":[{"given":"Prasanna","family":"Date","sequence":"first","affiliation":[{"name":"Oak Ridge National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Potok","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Catherine","family":"Schuman","sequence":"additional","affiliation":[{"name":"University of Tennessee, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bill","family":"Kay","sequence":"additional","affiliation":[{"name":"Pacific Northwest National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Lapicque\u2019s introduction of the integrate-and-fire model neuron","author":"Abbott F","year":"1907","unstructured":"Larry\u00a0 F Abbott . 1999. Lapicque\u2019s introduction of the integrate-and-fire model neuron ( 1907 ). Brain research bulletin 50, 5-6 (1999), 303\u2013304. Larry\u00a0F Abbott. 1999. Lapicque\u2019s introduction of the integrate-and-fire model neuron (1907). Brain research bulletin 50, 5-6 (1999), 303\u2013304."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Third International Workshop on Post Moores Era Supercomputing. 24\u201326","author":"Aimone B","year":"2018","unstructured":"James\u00a0 B Aimone , Kathleen\u00a0 E Hamilton , Susan Mniszewski , Leah Reeder , Catherine\u00a0 D Schuman , and William\u00a0 M Severa . 2018 . Non-neural network applications for spiking neuromorphic hardware . In Proceedings of the Third International Workshop on Post Moores Era Supercomputing. 24\u201326 . James\u00a0B Aimone, Kathleen\u00a0E Hamilton, Susan Mniszewski, Leah Reeder, Catherine\u00a0D Schuman, and William\u00a0M Severa. 2018. Non-neural network applications for spiking neuromorphic hardware. In Proceedings of the Third International Workshop on Post Moores Era Supercomputing. 24\u201326."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3350755.3400258"},{"key":"e_1_3_2_1_4_1","volume-title":"Quantum supremacy using a programmable superconducting processor. Nature 574, 7779","author":"Arute Frank","year":"2019","unstructured":"Frank Arute , Kunal Arya , Ryan Babbush , Dave Bacon , Joseph\u00a0 C Bardin , Rami Barends , Rupak Biswas , Sergio Boixo , Fernando\u00a0 GSL Brandao , David\u00a0 A Buell , 2019. Quantum supremacy using a programmable superconducting processor. Nature 574, 7779 ( 2019 ), 505\u2013510. Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph\u00a0C Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando\u00a0GSL Brandao, David\u00a0A Buell, 2019. Quantum supremacy using a programmable superconducting processor. Nature 574, 7779 (2019), 505\u2013510."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2019.2953001"},{"key":"e_1_3_2_1_6_1","series-title":"SIAM Journal on computing 26, 5","volume-title":"Quantum complexity theory","author":"Bernstein Ethan","year":"1997","unstructured":"Ethan Bernstein and Umesh Vazirani . 1997. Quantum complexity theory . SIAM Journal on computing 26, 5 ( 1997 ), 1411\u20131473. Ethan Bernstein and Umesh Vazirani. 1997. Quantum complexity theory. SIAM Journal on computing 26, 5 (1997), 1411\u20131473."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320288.3320304"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0223451"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129065714500294"},{"key":"e_1_3_2_1_10_1","volume-title":"An unsolvable problem of elementary number theory. American journal of mathematics 58, 2","author":"Church Alonzo","year":"1936","unstructured":"Alonzo Church . 1936. An unsolvable problem of elementary number theory. American journal of mathematics 58, 2 ( 1936 ), 345\u2013363. Alonzo Church. 1936. An unsolvable problem of elementary number theory. American journal of mathematics 58, 2 (1936), 345\u2013363."},{"key":"e_1_3_2_1_11_1","volume-title":"A formulation of the simple theory of types. The journal of symbolic logic 5, 2","author":"Church Alonzo","year":"1940","unstructured":"Alonzo Church . 1940. A formulation of the simple theory of types. The journal of symbolic logic 5, 2 ( 1940 ), 56\u201368. Alonzo Church. 1940. A formulation of the simple theory of types. The journal of symbolic logic 5, 2 (1940), 56\u201368."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2307\/2269326"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI.2018.8628946"},{"key":"e_1_3_2_1_14_1","volume-title":"Computational Complexity of Neuromorphic Algorithms. In International Conference on Neuromorphic Systems","author":"Date Prasanna","year":"2021","unstructured":"Prasanna Date , Bill Kay , Catherine Schuman , Robert Patton , and Thomas Potok . 2021 . Computational Complexity of Neuromorphic Algorithms. In International Conference on Neuromorphic Systems 2021. 1\u20137. Prasanna Date, Bill Kay, Catherine Schuman, Robert Patton, and Thomas Potok. 2021. Computational Complexity of Neuromorphic Algorithms. In International Conference on Neuromorphic Systems 2021. 1\u20137."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-019-2236-3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2018.112130359"},{"key":"e_1_3_2_1_17_1","volume-title":"Using stochastic spiking neural networks on spinnaker to solve constraint satisfaction problems. Frontiers in neuroscience 11","author":"Fonseca\u00a0Guerra A","year":"2017","unstructured":"Gabriel\u00a0 A Fonseca\u00a0Guerra and Steve\u00a0 B Furber . 2017. Using stochastic spiking neural networks on spinnaker to solve constraint satisfaction problems. Frontiers in neuroscience 11 ( 2017 ), 714. Gabriel\u00a0A Fonseca\u00a0Guerra and Steve\u00a0B Furber. 2017. Using stochastic spiking neural networks on spinnaker to solve constraint satisfaction problems. Frontiers in neuroscience 11 (2017), 714."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2304638"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.1430"},{"key":"e_1_3_2_1_20_1","volume-title":"On undecidable propositions of formal mathematics systems","author":"G\u00f6del Kurt","unstructured":"Kurt G\u00f6del . 1934. On undecidable propositions of formal mathematics systems . Institute for Advanced Study . Kurt G\u00f6del. 1934. On undecidable propositions of formal mathematics systems. Institute for Advanced Study."},{"key":"e_1_3_2_1_21_1","volume-title":"One-dimensional organic artificial multi-synapses enabling electronic textile neural network for wearable neuromorphic applications. Science Advances 6, 28","author":"Ham Seonggil","year":"2020","unstructured":"Seonggil Ham , Minji Kang , Seonghoon Jang , Jingon Jang , Sanghyeon Choi , Tae-Wook Kim , and Gunuk Wang . 2020. One-dimensional organic artificial multi-synapses enabling electronic textile neural network for wearable neuromorphic applications. Science Advances 6, 28 ( 2020 ), eaba1178. Seonggil Ham, Minji Kang, Seonghoon Jang, Jingon Jang, Sanghyeon Choi, Tae-Wook Kim, and Gunuk Wang. 2020. One-dimensional organic artificial multi-synapses enabling electronic textile neural network for wearable neuromorphic applications. Science Advances 6, 28 (2020), eaba1178."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407197.3407219"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407197.3407199"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381755.3381762"},{"key":"e_1_3_2_1_25_1","unstructured":"Daniyal Kazempour. 2015. Seminar High Performance Computers-Current trends and developments Winter Term 2015\/2016 Got Brain (s)? A Review and Critical Assessment on Neuromorphic Computing. (2015).  Daniyal Kazempour. 2015. Seminar High Performance Computers-Current trends and developments Winter Term 2015\/2016 Got Brain (s)? A Review and Critical Assessment on Neuromorphic Computing. (2015)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2016.7727355"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008328.1008329"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381755.3381760"},{"key":"e_1_3_2_1_29_1","volume-title":"Recherches quantitatives sur l\u2019excitation electrique des nerfs traitee comme une polarization.Journal of Physiology and Pathololgy 9","author":"Lapique Louis","year":"1907","unstructured":"Louis Lapique . 1907. Recherches quantitatives sur l\u2019excitation electrique des nerfs traitee comme une polarization.Journal of Physiology and Pathololgy 9 ( 1907 ), 620\u2013635. Louis Lapique. 1907. Recherches quantitatives sur l\u2019excitation electrique des nerfs traitee comme une polarization.Journal of Physiology and Pathololgy 9 (1907), 620\u2013635."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1039\/D0NR06478E"},{"key":"e_1_3_2_1_31_1","volume-title":"2014 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, 1\u20136.","author":"Liu Xiaoxiao","year":"2014","unstructured":"Xiaoxiao Liu , Mengjie Mao , Hai Li , Yiran Chen , Hao Jiang , J\u00a0Joshua Yang , Qing Wu , and Mark Barnell . 2014 . A heterogeneous computing system with memristor-based neuromorphic accelerators . In 2014 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, 1\u20136. Xiaoxiao Liu, Mengjie Mao, Hai Li, Yiran Chen, Hao Jiang, J\u00a0Joshua Yang, Qing Wu, and Mark Barnell. 2014. A heterogeneous computing system with memristor-based neuromorphic accelerators. In 2014 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, 1\u20136."},{"key":"e_1_3_2_1_32_1","volume-title":"Lower bounds for the computational power of networks of spiking neurons. Neural computation 8, 1","author":"Maass Wolfgang","year":"1996","unstructured":"Wolfgang Maass . 1996. Lower bounds for the computational power of networks of spiking neurons. Neural computation 8, 1 ( 1996 ), 1\u201340. Wolfgang Maass. 1996. Lower bounds for the computational power of networks of spiking neurons. Neural computation 8, 1 (1996), 1\u201340."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.58356"},{"key":"e_1_3_2_1_34_1","volume-title":"A million spiking-neuron integrated circuit with a scalable communication network and interface. Science 345, 6197","author":"Merolla A","year":"2014","unstructured":"Paul\u00a0 A Merolla , John\u00a0 V Arthur , Rodrigo Alvarez-Icaza , Andrew\u00a0 S Cassidy , Jun Sawada , Filipp Akopyan , Bryan\u00a0 L Jackson , Nabil Imam , Chen Guo , Yutaka Nakamura , 2014. A million spiking-neuron integrated circuit with a scalable communication network and interface. Science 345, 6197 ( 2014 ), 668\u2013673. Paul\u00a0A Merolla, John\u00a0V Arthur, Rodrigo Alvarez-Icaza, Andrew\u00a0S Cassidy, Jun Sawada, Filipp Akopyan, Bryan\u00a0L Jackson, Nabil Imam, Chen Guo, Yutaka Nakamura, 2014. A million spiking-neuron integrated circuit with a scalable communication network and interface. Science 345, 6197 (2014), 668\u2013673."},{"key":"e_1_3_2_1_35_1","volume-title":"Obstacle avoidance and target acquisition for robot navigation using a mixed signal analog\/digital neuromorphic processing system. Frontiers in neurorobotics 11","author":"Milde B","year":"2017","unstructured":"Moritz\u00a0 B Milde , Hermann Blum , Alexander Dietm\u00fcller , Dora Sumislawska , J\u00f6rg Conradt , Giacomo Indiveri , and Yulia Sandamirskaya . 2017. Obstacle avoidance and target acquisition for robot navigation using a mixed signal analog\/digital neuromorphic processing system. Frontiers in neurorobotics 11 ( 2017 ), 28. Moritz\u00a0B Milde, Hermann Blum, Alexander Dietm\u00fcller, Dora Sumislawska, J\u00f6rg Conradt, Giacomo Indiveri, and Yulia Sandamirskaya. 2017. Obstacle avoidance and target acquisition for robot navigation using a mixed signal analog\/digital neuromorphic processing system. Frontiers in neurorobotics 11 (2017), 28."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRIS.2017.8250111"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Michael\u00a0A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.  Michael\u00a0A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.","DOI":"10.1119\/1.1463744"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2019.8851858"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400286.3418264"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Oliver Rhodes. 2020. Brain-inspired computing boosted by new concept of completeness.  Oliver Rhodes. 2020. Brain-inspired computing boosted by new concept of completeness.","DOI":"10.1038\/d41586-020-02829-w"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5536970"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320288.3320290"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381755.3381758"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2019.8852139"},{"key":"e_1_3_2_1_45_1","unstructured":"Catherine\u00a0D Schuman Thomas\u00a0E Potok Robert\u00a0M Patton J\u00a0Douglas Birdwell Mark\u00a0E Dean Garrett\u00a0S Rose and James\u00a0S Plank. 2017. A survey of neuromorphic computing and neural networks in hardware. arXiv preprint arXiv:1705.06963(2017).  Catherine\u00a0D Schuman Thomas\u00a0E Potok Robert\u00a0M Patton J\u00a0Douglas Birdwell Mark\u00a0E Dean Garrett\u00a0S Rose and James\u00a0S Plank. 2017. A survey of neuromorphic computing and neural networks in hardware. arXiv preprint arXiv:1705.06963(2017)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.374"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021376718708"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407197.3407202"},{"key":"e_1_3_2_1_49_1","volume-title":"An introduction to G\u00f6del\u2019s theorems","author":"Smith Peter","unstructured":"Peter Smith . 2013. An introduction to G\u00f6del\u2019s theorems . Cambridge University Press . Peter Smith. 2013. An introduction to G\u00f6del\u2019s theorems. Cambridge University Press."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sse.2019.03.023"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/61\/2\/002"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268280"},{"key":"e_1_3_2_1_53_1","volume-title":"Parsing the turing test","author":"Turing M","unstructured":"Alan\u00a0 M Turing . 2009. Computing machinery and intelligence . In Parsing the turing test . Springer , 23\u201365. Alan\u00a0M Turing. 2009. Computing machinery and intelligence. In Parsing the turing test. Springer, 23\u201365."},{"key":"e_1_3_2_1_54_1","first-page":"6","article-title":"Architectures for the post-Moore era","volume":"37","author":"Vetter S","year":"2017","unstructured":"Jeffrey\u00a0 S Vetter , Erik\u00a0 P DeBenedictis , and Thomas\u00a0 M Conte . 2017 . Architectures for the post-Moore era . IEEE Annals of the History of Computing 37 , 04 (2017), 6 \u2013 8 . Jeffrey\u00a0S Vetter, Erik\u00a0P DeBenedictis, and Thomas\u00a0M Conte. 2017. Architectures for the post-Moore era. IEEE Annals of the History of Computing 37, 04 (2017), 6\u20138.","journal-title":"IEEE Annals of the History of Computing"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/85.238389"},{"key":"e_1_3_2_1_56_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 1079\u20131084","author":"Yakopcic Chris","year":"2020","unstructured":"Chris Yakopcic , Nayim Rahman , Tanvir Atahary , Tarek\u00a0 M Taha , and Scott Douglass . 2020 . Solving constraint satisfaction problems using the loihi spiking neuromorphic processor. In 2020 Design , Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 1079\u20131084 . Chris Yakopcic, Nayim Rahman, Tanvir Atahary, Tarek\u00a0M Taha, and Scott Douglass. 2020. Solving constraint satisfaction problems using the loihi spiking neuromorphic processor. In 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 1079\u20131084."},{"key":"e_1_3_2_1_57_1","volume-title":"A system hierarchy for brain-inspired computing. Nature 586, 7829","author":"Zhang Youhui","year":"2020","unstructured":"Youhui Zhang , Peng Qu , Yu Ji , Weihao Zhang , Guangrong Gao , Guanrui Wang , Sen Song , Guoqi Li , Wenguang Chen , Weimin Zheng , 2020. A system hierarchy for brain-inspired computing. Nature 586, 7829 ( 2020 ), 378\u2013384. Youhui Zhang, Peng Qu, Yu Ji, Weihao Zhang, Guangrong Gao, Guanrui Wang, Sen Song, Guoqi Li, Wenguang Chen, Weimin Zheng, 2020. A system hierarchy for brain-inspired computing. Nature 586, 7829 (2020), 378\u2013384."}],"event":{"name":"ICONS: International Conference on Neuromorphic Systems","location":"Knoxville TN USA","acronym":"ICONS"},"container-title":["Proceedings of the International Conference on Neuromorphic Systems 2022"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546790.3546806","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546790.3546806","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546790.3546806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:40Z","timestamp":1750186840000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546790.3546806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,27]]},"references-count":57,"alternative-id":["10.1145\/3546790.3546806","10.1145\/3546790"],"URL":"https:\/\/doi.org\/10.1145\/3546790.3546806","relation":{},"subject":[],"published":{"date-parts":[[2022,7,27]]},"assertion":[{"value":"2022-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}