It's actually a pretty common line of thought that Turing machines, Lambda Calculus and/or Neural Networks give general insights into human thought/ consciousne

It's actually a pretty common line of thought that Turing machines, Lambda Calculus and/or Neural Networks give general insights into human thought/ consciousness. These are three different approaches that are mathematically equivalent. (The first two come from philosophy of mathematics, and the third is inspired on the field of biology, to wit neurophysiology. ) Lambda Calculus is associated with the first AI spring, and Neural Nets are of course associated with the current AI spring.