Re: A new Arithmetic Principle?
Nam Nguyen wrote:
Consider the following (proposed) Arithmetic Principle,
say, "Anti-Induction" [or just "AI"]:
(1) There _exists_ an arithmetic number that we don't know
if it's even. [I.e. no formalization can assert that it's even]
or a more generalized version, named "gAI" which is:
(2) If P is an arithmetic property that:
a) if P is true for an arithmetic number n0
b) if P(nk) is true for an nk >= n0, then there
exist an nk' >= n0 and nk'' >= n0 such that
P(nk') is true and P(nk'') is false.
Oops I for got to add that:
If a) and b) are satisfied, then there exists an arithmetic
number m that we don't/can't know if P(m) is true.
Basically gAI would state that certain arithmetic knowledge is not
"inductive".
Could/should we adopt gAI? If we do, what would be the possible
consequences?
---Nam Nguyen
.
