While the likes of Zuse and Flowers deserve more recognition, here are some other of Turing's achievements. - Introduced the concept of ordinal logic, an appo

While the likes of Zuse and Flowers deserve more recognition, here are some other of Turing's achievements. - Introduced the concept of ordinal logic, an apporach to overcoming the limitations of Goedel's incompleteness theorems, a thriving field as of 2019. See [1]. - Gave the definite analysis of the notion of "mechanical computability", see [2]. - Essentially invented the field of AI, with key contributions such as Neural Networks [3] (but see [4, 5, 9]) and the Turing test [6]. - Work in chemistry / biology, see [7, 8]. [1] https://en.wikipedia.org/wiki/Ordinal_logic https://en.wikipedia.org/wiki/Ordinal_logic [2] https://en.wikipedia.org/wiki/Turing_machine https://en.wikipedia.org/wiki/Turing_machine [3] https://www.info2007.net/docs/intelligent-machinery-alan-turing.html https://www.info2007.net/docs/intelligent-machinery-alan-tur... [4] http://compucology.net/unorganized http://compucology.net/unorganized [5] http://compucology.net/criticism http://compucology.net/criticism [6] https://en.wikipedia.org/wiki/Turing_test https://en.wikipedia.org/wiki/Turing_test [7] http://www.dna.caltech.edu/courses/cs191/paperscs191/turing.pdf http://www.dna.caltech.edu/courses/cs191/paperscs191/turing.... [8] https://arstechnica.com/science/2018/05/alan-turings-contribution-to-chemistry-used-to-filter-salt-water/#p3 https://arstechnica.com/science/2018/05/alan-turings-contrib... [9] http://www.alanturing.net/turing_archive/pages/Reference%20Articles/connectionism/Turing's%20neural%20networks.html http://www.alanturing.net/turing_archive/pages/Reference%20A...