Artificial intelligence or human ...
According to the theory of Jean-Louis Krivine , several layers are superimposed in our brain. Downstairs are the neurons, which emerges from the layer logical language (lambda calculus), from which emerge languages increasingly sophisticated, to languages we speak.
Similarly, overlapping layers in the computer, since the electrons, to programming languages, which allow computer scientists to write their logicles.
Accordingly: from lambda-calculus, real seat of intelligence, human cognitive processes can be mathematically translated, revealing their "programs".


















