Reply to post:

Danish lit star Helle Helle, Marianne Faithfull and Jim Al-Khalili on Quantum Biology

Mephistro Silver badge

"...Gödel statements must be true, even though they can't be proved algortihmically."

It depends on what you mean by 'algorithmically'. Any set of logical operations to input data can be translated as an algorithm. Same thing regarding logical tests and philosophical arguments like 'reductio ad absurdum'. What is exactly the part of the process a machine can't perform?.

I can understand K.Gödel using such a limited definition for algorithm, as IT was an emerging field back then, but this argument seems to have aged poorly.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

SUBSCRIBE TO OUR WEEKLY TECH NEWSLETTER

Biting the hand that feeds IT © 1998–2020