- 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
[2] https://en.wikipedia.org/wiki/Turing_machine
[3] https://www.info2007.net/docs/intelligent-machinery-alan-tur...
[4] http://compucology.net/unorganized
[5] http://compucology.net/criticism
[6] https://en.wikipedia.org/wiki/Turing_test
[7] http://www.dna.caltech.edu/courses/cs191/paperscs191/turing....
[8] https://arstechnica.com/science/2018/05/alan-turings-contrib...
[9] http://www.alanturing.net/turing_archive/pages/Reference%20A...