Lucas needs to produce entire Lucas arithmetic
Lucas's argument requires a person be able to produce the whole of Lucas's arithmetic, which includes all of the Gödel sentences of all formal systems powerful enough to produce arithmetic. But Lucas hasn't shown this ability is possible for humans.
David Lewis (1969).

Lucas Arithmetic

David Lewis (1969) proposed that the real issue in the Lucas argument is the form of arithmetic that Lucas uses in discussing his own mathematical ability. Lewis dubbed this form of reasoning the Lucas arithmetic.

Lewis defines this arithmetic is the ordinary Peano arithmetic with the addition of an infinitary rule of inference. Peano arithmetic is a formalisation of the arithmetic developed by Giuseppe Peano in the late 19th century. The system uses a set of five axioms to deduce all the truths of ordinary arithmetic.

In ordinary Peno arithmetic, the consistency of the system cannot be proven within the system; this would violate Gödel's second theorem. The addition of an infinitary rule, however allows us to ensure the consistency of the formal system from within that system without violating Gödel's second theorem.

When fully worked out, the Lucas arithmetic includes all of the Gödel sentences of all systems powerful enough to produce arithmetic. As such, it includes an entire hierarchy of systems of arithmetic each of which contains the Gödel sentences for lower-level systems in the hierarchy.

Note: the method of adding an infinitary inference rule to Peano arithmetic was developed by Gerhard Gentzen in 1936.
Immediately related elementsHow this works
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Argument from Gödel's theorem is dialectical »Argument from Gödel's theorem is dialectical
Lucas needs to produce entire Lucas arithmetic
Machines can't produce the entire Lucas arithmetic »Machines can't produce the entire Lucas arithmetic
We don't need the entire Lucas arithmetic »We don't need the entire Lucas arithmetic
+Kommentare (0)
+Verweise (0)
+About