Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: UN-PROVABLE, UN-COMPUTABLE & UN-COUNTABLE are all UN-BELIEVABLE!
Replies: 0

 Graham Cooper Posts: 4,495 Registered: 5/20/10
UN-PROVABLE, UN-COMPUTABLE & UN-COUNTABLE are all UN-BELIEVABLE!
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 SEMI-DECIDABLE LIST OF (ALL COMPUTABLE) SUBSETS OF N!

====================================

the only UN-PROVABLE 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 UN-COMPUTABLE!???

--------------------------
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 UN-DOABLE RUBBISH!

You redid the same errors with Calculus and BIJECTION / ONTO self

|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