Two Gödel arguments against computationalism

[davv]

These are interesting.

First: the Lucas-Penrose argument.

Second: a more tangible argument based on solving the busy beaver puzzle.

Things are coming together!