Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

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

Advanced Search

Back to Topic List Back to Topic List  
Graham Cooper

Posts: 4,344
Registered: 5/20/10
UN-PROVABLE, UN-COMPUTABLE & UN-COUNTABLE are all UN-BELIEVABLE!
Posted: Jan 29, 2013 4:39 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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
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





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.