Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



UNPROVABLE, UNCOMPUTABLE & UNCOUNTABLE are all UNBELIEVABLE!
Posted:
Jan 29, 2013 4:39 PM


Consider Turing Machine 1 halts on input value 1.
1 e POWERSET(N)_SUBSET1
Every possible formulatic method in existence! ensures every possible subset of N <1 2 3 4...> is COMPUTABLE!
BIJECTION FROM N TO POWERSET(N) 1 <=> < 1 2 3 4 5 ...> tm1 2 <=> < 2 4 6 8 ... > tm2 3 <=> < 1 2 > tm3 ...
A SEMIDECIDABLE LIST OF (ALL COMPUTABLE) SUBSETS OF N!
====================================
the only UNPROVABLE sentences are idiotic nonsense like
X = 'not (exist( proof( X )))'
The only WITNESS to missing computable reals is CHAITANS OMEGA which is based on :
S: if Halts(S) Gosub S
Halt() MUST BE UNCOMPUTABLE!???
 Really, abstract mathematics is the biggest century long con to ever exist under the guise of 'WEVE FORMALLY PROVED IT ALL!'
You haven't formally proven ANY OF ALL THE UNDOABLE RUBBISH!
You redid the same errors with Calculus and BIJECTION / ONTO self defeating function definitions instead!
N = GODEL NUMBERS = FUNCTIONS = CHOICE FUNCTIONS = SETS
by your own AXIOM OF CHOICE THIS IS IMPOSSIBLE!
These errors all stem from
INFINITIE LENGTH FUNCTION STRINGS!
As if a TM couldn't do this with a finite formula!
1 + 1/2  1/3 + 1/4  1/5 + ....

R > N is all in their heads!
Herc  www.BLoCKPROLOG.com



