Cont: Deeper than primes - Continuation 1/3*9

Does an effective theory T that each one of its wff is coded by unique natural number (as done, for example, by Godel in his first incompleteness theorem), proves the wff "I am not provable in T" in T, if there is bijection from all T wff codes to all N members?
 
Last edited:
As I understand it, if there is bijection from all T wff codes to all natural numbers, then the wff "I am not provable in T" is provable in T, which is a contradiction, exactly because no T wff code is missing (exactly as no natural number is missing from the set of all (infinite) natural numbers).

In that case isn't the very notion of a complete and infinite set (in this case, the set of all natural numbers) is logically contradictory?
 
Last edited:
Can a theory be effective and also inconsistant?

Does an effective theory T (that each one of its provable wff (theorems) is coded by unique natural number (as done, for example, by Godel in his first incompleteness theorem)) proves the wff "I am not provable in T" in T (which means that T is inconsistant), if there is bijection from all T provable wff codes to all natural numbers?
 
Please observe the following diagram:


wuaXY.jpg


Let the (0,0) coordinate be the redix point of a complete infinite binary tree, where each element is a unique real number represented by 0;1 path of depth |N|.

As I understand it, by such construction one can't define a given real number that is not already in that tree, so the diagonal argument can't be expressed and one can't conclude that there are more real numbers than natural numbers.

Moreover, each level of the complete infinite binary tree is of the form 2^x, where in case of an infinite binary tree x=|N| so we have 2^|N| unique 0;1 paths, that are completely included in the |N|x|N| matrix.

At level 2^x, where x=|N| (x is not restricted to finite-olny values) there are 2^|N| nodes that are still ordered as 0 1 0 1 0 ... sequence. So the first 1 from the left side belongs to the real number .000...1 and its complement real number on the right side is .111...0

I am aware that by the agreed notion there can't be a real nember that has inftinitly many zeros and then 1, but since 2^x holds for both finite or infinite values (in case that x=|N|) I don't see any problem to represent a real number by inftinitly many zeros and then 1.

Can you please help me to understand better what's going on?
 
Last edited:
Some correction at the begining of the 3th paragraph, instead of "Moreover, each level of the complete infinite binary tree is of the form 2^x" it has to be "Moreover, the number of unique paths at any arbitrary given level of the complete infinite binary tree, is of the form 2^x"

Some correction at the begining of the 4th paragraph, instead of "At level 2^x," it has to be "At level x,"
 
Last edited:

ISF - Join now!

Every member here is approved by hand. No bots, no spam, just people who care about evidence and honest debate.

Membership is free!

Create your free account

Back
Top Bottom