A Possible Mechanistic Answer to Penrose et al

Paper here, "Informal Concepts in Machines", Kurt Ammon. Argues that algorithms exist which can perform computations beyond the limits of Turing machines. This is one answer to the problem of how, if humans are machines, we can definitively decide non-computability (one of Penrose's challenges).