I came across this argument on thinkinghard.com: "(adsbygoogle = window.adsbygoogle || []).push({});

To make the contradiction obvious, let the human mathematician who understands that G(G) is non-terminating be the same human mathematician for whom F determines their mathematical ability. If the mathematician was a robot, telling them that G(G) is non-terminating would cause a genuine increase in their mathematical ability. But Roger Penrose claims that the mathematician already knows G(G) is non-terminating, because they understand the Godelian argument.

I will show that this is not the case. We must return to basic principles. The task assigned to the function F is the following -

The human mathematician is given X=G and Y=G, with G defined such that G(x)=F(x,x) where F is the function that describes the mathematician's mathematical ability. The mathematician does not know that F is the function that describes their mathematical ability, unless we tell them so. If they did recognise F, then their understanding of the Godelian argument would allow them to determine that G(G) derived from F is non-terminating.

- Given program X and data Y, determine if X(Y) does not terminate.

If we tell the mathematician that F is the program determining their mathematical ability, then we are giving them extra information, and that is what enables them to state that G(G) is non-terminating, apparently going beyond the capability determined by F.

We can just as easily program a robot mathematician to accept claims made by trustworthy parties about things that the robot does not already know, for example that a function F is the function that determines that robot's mathematical ability. But the moment that the robot accepts that information, F goes out of date as a description of that robot's mathematical ability."

Doesn't this argument beg the question by assuming that a human's mathematical ability could be determined by F? Wouldn't F necessarily be computable, and if so, wouldn't postulating it's existence be the same as concluding that computationalism is correct?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# An argument against Godelian anti-computationalism

Loading...

Similar Threads - argument against Godelian | Date |
---|---|

I What is a convergent argument? | Jan 26, 2017 |

Cardinality of the set of binary-expressed real numbers | Dec 3, 2015 |

What happens if you flip an infinite heads and tails coin? | Jan 6, 2015 |

Arguments in sentential logic and contradictions/tautologies. | Jun 29, 2014 |

**Physics Forums - The Fusion of Science and Community**