Deeper than primes

Status
Not open for further replies.
Yes they do.

They are preliminary steps, which their goal is to develop a comprehensive framework where both objective and subjective aspects of the researched environment reinforce each other into a one organic realm.

Let us know when you have produced a single result using OM.
 
Ah, I see 'result' is yet another term you have trouble with, not to mention that you're still doing the posthumous edits.

Your reply about my "posthumous edits" is an example you one-directional step-by-step syndrome, which has no ability to re-read and understand previous posts, because your misunderstanding of them is a built-in property of your one-directional step-by-step comprehension abilities.

EDIT:
You are right if I do not put EDIT: sign in my previous posts, but in this case I added EDIT: sign , and generally there is no reason to write any change in a new post, and all you need is to look at the edited post as a new post.

This is exactly the syndrome of step-by-step thinkers, they are able to get things only if they are sequential.
 
Last edited:
Your reply about my "posthumous edits" is an example you one-directional step-by-step syndrome, which has no ability to re-read and understand previous posts, because your misunderstanding of them is a built-in property of your one-directional step-by-step comprehension abilities.
No, it's a comment about the fact that, having read and responded to a post, I don't expect that post to be changed.
EDIT:
You are right if I do not put EDIT: sign in my previous posts, but in this case I added EDIT: sign , and generally there is no reason to write any change in a new post, and all you need is to look at the edited post as a new post.
Unless all the new material follows the EDIT: sign, it is impossible to see what has changed. You often do this, make changes and do not make it clear what has changed.

This is exactly the syndrome of step-by-step thinkers, they are able to get things only if they are sequential.
It's a function of the way the forum works. Once I've read a post, I don't get shown it again unless I explicitly go to it. It is therefore bad manners to make substantive and unflagged changes, especially after people have replied to a post.
 
EDIT:

The order of some collection of distinct objects has no influence on the number of the objects.

The power set of, for example, {0,1,2} is {{},{0},{1},{2},{0,1},{0,2},{1,2},{0,1,2}}.

Here is some example of the translation of a power set's members into <0,1> form, such that no "{X}" or "{}" forms are used anymore.

By this generalization the power set of some set is 2^(the number of the distinct objects of that set), for example:

{
000 ↔ {}
001 ↔ {0}
010 ↔ {1}
011 ↔ {2}
100 ↔ {0,1}
101 ↔ {0,2}
110 ↔ {1,2}
111 ↔ {0,1,2}
}

So by using <0,1>^X we can construct any power set, such that the members of the set and the members of power set are constructed by the same rule of <0,1> form, which enables us to use the diagonal method without any need of any extra set of indexes, because <0,1> form is its own index system.

Please pay attention that if we use the diagonal method on any arbitrary set of X members (and in this case X=3), which are based on <0,1> form, we get the members of the power set that are not in the range of some X arbitrary members of that set, for example:

If the arbitrary set of 3 distinct members is:

{
111,
100,
101
}

then the diagonal member of the power set that is not in the range of the arbitrary set of 3 distinct members, is 010.

We can change the arbitrary set of 3 distinct members, but always we get some diagonal member of the power set of the arbitrary set of 3 distinct members, which is not in the range of the arbitrary set of 3 distinct members.

By using the common constriction rule of <0,1> form, we are using the diagonal method also on the set of ∞ distinct members, as follows:

{
111… ,
100… ,
101… ,

}

The diagonal member of the power set that is not in the range of set of ∞ distinct members, starts (in this case) with 010… <0,1> form, even if X=∞ (also in this case the members of the set and the members of power set are constructed by the same rule of <0,1> form).

Because the set and the power set are based on the same constriction rule of <0,1> form and there are always members of the power set that are not in the range of the set (whether X is finite or not), then no set is complete exactly because every set has a power set and every power set has also power set etc... ad infinitum ...

Furthermore, we can be more precise by using the constriction rule of <0,1> form in order to use the diagonal method on the set of R members.

It is done by using a mirror image of <0,1> form in order to use R members, as follows:

For example, instead of using the right to left construction

{
…000,
…001,
…010,
…011,
…100,
…101,
…110,
…111,

}

we are using a left right mirror construction of the factional part of any given R member

{
.000…,
.100…,
.010…,
.110…,
.001…,
.101…,
.011…,
.111…,

}

The order of the distinct members has no influence on the result, which clearly demonstrates the incompleteness of any set w.r.t to its power set ad infinitum … , whether the set is finite or infinite.


Godel's first incompleteness theorem demonstrates the validity of a thing according to the rules of a given framework, which can't be proved within the given framework.

By using the diagonal method (without using any bijection) on the set of R members, we define an object that has the properties of that set (it obeys the construction rules of the given framework) but it is not in the range of R set (but can't be proved within this framework).
 
Last edited:
No, really, a result, not just circular speculation about how great it will be when you finally untangle things nor more non sequitars.

EDIT: The completeness of L R Q sets of Dedekind's cuts argument is no more than an agreed speculation, where this speculation is wrong exactly because it is limited to the level of collections and can't get notions beyond it, so?
 
Last edited:
EDIT: The completeness of L R Q sets of Dedekind's cuts argument is no more than an agreed speculation, where this speculation is wrong exactly because it is limited to the level of collections and can't get notions beyond it, so?

Responding to an accusation that a non sequitar is not helpful to your cause with another non sequitar is not helpful to your cause.
 
Responding to an accusation that a non sequitar is not helpful to your cause with another non sequitar is not helpful to your cause.

The right word is "sequitur" and your agreed speculation of L R completeness is indeed non sequitur.
 
...
Here is some example of the translation of a power set's members into <0,1> form, such that no "{X}" or "{}" forms are used anymore.

Other than its ability to impede communication, you have failed to demonstrate any advantage to this unnecessary approach. Moreover, it requires concepts at a much high level than just set theory, so it is without foundation.

...
By using the common constriction rule of <0,1> form, we are using the diagonal method also on the set of ∞ distinct members, as follows:

Nope, you have made an invalid assumption. (Well, several actually.) You have at least two infinities going on, here, not to mention a bunch of other higher-order concepts.

Because the set and the power set are based on the same constriction rule of <0,1> form and there are always members of the power set that are not in the range of the set (whether X is finite or not), then no set is complete exactly because every set has a power set and every power set has also power set etc... ad infinitum ...

So, how do you reason your way from an unnecessary procedure through an invalid assumption all the way to "therefore incomplete"? You (and Doronetics) must have a very odd definition for incomplete. Perhaps you could share?

Still, even if the invalid assumptions and very invalid conclusion were repaired, this whole approach is unnecessary. Mathematics continues uncorrupted by all things Doronetics.
 
Your reply about my "posthumous edits" is an example you one-directional step-by-step syndrome.

A finite set's cardinality is determined by counting its members step-by-step in one direction: 1, 2, 3, ...

If someone inserts another member into the set -- a member whose location is past the point of present count, the result changes with the counter being unaware of the insertion.

Since the sole purpose of OM is to stir disorderly goulash of phantasmagoric ideas, the purpose of order in mathematics is surely an unrelated item on your indexless list.
 
Moreover, it requires concepts at a much high level than just set theory

Nonsense, it is done at the level of ZFC.

By the axiom of powerset every set has a power set, where the concept of subset is not required ( see http://en.wikipedia.org/wiki/Axiom_of_power_set ).

The axiom of powerset is actually a "Trojan horse" which defines objects of ZFC that have the properties of a given set (it obeys the construction rules of the given framework) but it is not in the range of the given set (but can't be proved within this framework), exactly as Godel's first incompleteness theorem demonstrates.

Your :boxedin: community simply :covereyes its eyes and ignores Godel's first and second incompleteness theorems for the past 80 years.
 
Last edited:
Nonsense, it is done at the level of ZFC.

By the axiom of powerset every set has a power set, where the concept of subset is not required ( see http://en.wikipedia.org/wiki/Axiom_of_power_set ).

The axiom of powerset is actually a "Trojan horse" which defines objects of ZFC that have the properties of a given set (it obeys the construction rules of the given framework) but it is not in the range of the given set (but can't be proved within this framework), exactly as Godel's first incompleteness theorem demonstrates.

Your :boxedin: community simply :covereyes its eyes and ignores Godel's first and second incompleteness theorems for the past 80 years.
What are you pretending here? For a person like you who has a proven difficulty to get himself oriented inside simple properties of prime numbers, any subject related to the set theory is totally out of reach. Your assertions that link Godel's first theorem with the power set is as ridiculous as anything else you've ever conceived.
 
Your :boxedin: community simply :covereyes its eyes and ignores Godel's first and second incompleteness theorems for the past 80 years.
:o

Well, that's a shame. I decided not to ignore anymore and use both Godel's theorems all the time. But I remeber only one and I don't know which one it is -- the first or the second? Would you be so kind, Doron, to help me out to tell them theorems apart? Also, I think I made a mistake, not sure though. Can you correct it as you go through?


(1) X*(n) ↔ ϕn(n) is not true.
(2) ϕk (n) ↔ ϕn(n) is not true.
(3) ϕk (k) ↔ ϕk (k) is not true
(4) ϕk (n) ↔ ϕn(n) is Φ,
(5) ϕk (n) ↔ ϕn(n) is not provable.
(6) γ is true ↔ γ is not provable in T,
(7) ψ(┌ ϕ(v) ┐) ↔ ϕ(┌ ϕ(v) ┐) is not provable,
(8) forall y [δ(┌ ϕ(v) ┐, y) ↔ y ≈┌ ϕ(┌ ϕ(v) ┐) ┐ ] is true.
(9) Proof(n, ┌ α ┐ ) is true ↔ n represents a proof in T of α.
(10) ψ(┌ ϕ(v) ┐) is true iff ¬Provable(┌ ϕ(┌ ϕ(v) ┐)) is true.
(11) γ ↔ ¬Provable(┌ γ ┐) is true.
(12) T |- forall y [δ(┌ ϕ(v) ┐, y) ↔ y ≈┌ ϕ(┌ ϕ(v) ┐) ┐]
(13) T |- ψ(┌ ϕ(v) ┐) ↔¬Provable (ϕ(┌ ϕ(v) ┐)).
(14) T |- γ ↔ ¬Provable(┌ γ ┐)
(15a) T |- V Proof(n,┌ α ┐), if n represent a proof in T of α,
(15b) T |- ¬Proof(n,┌ α ┐), if n does not represent a proof in T of α.

Note: That |- symbol means logical inference -- it's the T turned 90 degrees left.
 
Last edited:
For a person like you who has a proven difficulty to get himself oriented inside simple properties of prime numbers,
EDIT:
Wrong, I corrected my argument about X in http://www.internationalskeptics.com/forums/showpost.php?p=6732614&postcount=13822 (actually if n>2, then X=(n^2+n) can't be prime*2 and as a result X/2 can't be a prime number) but you simply ignore it.

In general you deal here with Triangular numbers (http://en.wikipedia.org/wiki/Triangular_number).

More about this subject can be seen also in http://www.cut-the-knot.org/do_you_know/triSquare.shtml and http://www.cut-the-knot.org/do_you_know/triSquare2.shtml .
 
Last edited:
Status
Not open for further replies.

Back
Top Bottom