Computational Analysis of Human Thinking Processes (Invited Paper)

Gams M.1-56072-898-1

Human creative thinking is analyzed, in particular through the principle of multiple knowledge. It is claimed that current digital computers, however fast, cannot achieve true human-level intelligence, and that the Church-Turing thesis might be inadequate to encapsulate top human thinking mechanisms. We try to show this by introducing and analyzing a two- and one-processing entity. Formally, we want to compare performance of a single program/process performed by a Turing machine, and two programs/processes performed by two interaction Turing machines that can dynamically change each others programs based on dynamic unconstrained input.