Re: Another proof: The Halting Problem Is Undecidable.

On Fri, 2024-10-11 at 21:32 +0100, Andy Walker wrote:

On 11/10/2024 18:11, wij wrote:

Archimedes likely believes that all (real) numbers, including pi, sqrt(2), are
p/q representable. Is that what you suggest?

 
By the time of Archimedes it had been known for several hundred
years that "sqrt(2)" is irrational.  [The status of "pi" remained unknown
for a further ~2K years.]  So no, Archimedes did not believe that, not
least when he laid some of the foundations of calculus.

That is a fabrication (there are many, but... accepted, as a fabrication)

Archimedean axiom is an *assertion* that infinitesimal does not exist without
knowing the consequence (violating Wij's Theorem which is provable from the rules
stronger than 'assertion').

 
If "Wij's Theorem" is inconsistent with the axioms of real numbers,
then it is not a theorem of real numbers.  Try one of the other systems of
numbers, which you would probably find more to your taste, given the other
things you say in this group.

Are you kidding? "x>0 iff x/n >0, where n∈ℤ⁺" is inconsistent? With your real, yes.

My real is based on the abacus that can be physically modeled. Tell me, how can
it be inconsistent?