[Doctor Stochastic]

I maintain that computer programs are implementations of human reasoning, thus all of their results fall under that heading.

Church's Thesis (if true) would certainly support this claim. So far, all models of computation (for example: Turing machines, recursive function theory, Post normal forms, quantum computers, probabilistic turing machines, stack machines, etc.) all compute exactly the same set of functions. No model of computation has been found to extend this set.

[RightWingAtheist]

Do think this implies that there is a common universal logical structure underlying all forms of human reasoning, just as there exists a common grammatic structure underlying all language?