• Security incident: ISF was recently accessed by intruders. Please change your password, and change it anywhere else you used it. Read more

Cont: Deeper than primes - Continuation 2

Status
Not open for further replies.
And this ball is still red if it is colored as such. This ball is red OR this ball is not red.

Can you tell me the color of this ball?
 
Once again you complicate things that are simple.
A specific color is not essential for our ball, exactly as being a successor is not essential for {X}.

It is a very simple, clear and profound notion that can be used in order to do an interesting mathematics.
 
Last edited:
Last edited:
A specific color is not essential for our ball, exactly as being a successor is not essential for {X}, which means that "{X}$X OR {X}~$X" is the right wff in this case, and unlike "{} = {}", it is used to do an interesting mathematics

And yet you cannot cite a single instantiation where the result of your OR-expression differs from {}={} in any way.
 
Last edited:
Please be more informative.

What do you mean by "instantiation"?

Without understanding the meaning of the term, you boldly provided links to multiple posts wherein you claimed instantiations were provided? Is this your preferred method of building credibility? It is not working.

By the way, instantiation is a common enough term in Mathematics. You asked about it once before, and I told you what it meant once before.
 
Without understanding the meaning of the term, you boldly provided links to multiple posts wherein you claimed instantiations were provided? Is this your preferred method of building credibility? It is not working.

What you are doing is this:

"{} = {}" is a tautology.

"{X}$X OR {X}$X" is a tautology.

Since tautology = tautology, "{} = {}" is indistinguishable of "{X}$X OR {X}$X".

This is a trivial way of reasoning.

A non-trivial way of reasoning enables to distinguish between "{} = {}" and "{X}$X OR {X}$X" as follows:

"{} = {}" can't be used in order to define optional (non-essential) properties of mathematical objects, according to their relations with each other.

"{X}$X OR {X}$X" can be used in order to define optional (non-essential) properties of mathematical objects according to their relations with each other, where http://www.internationalskeptics.com/forums/showpost.php?p=11285851&postcount=1535 is a concrete example of such non-trivial reasoning.

What you call instantiation is simply another name to force {X} to be a successor of X by using the wff "Y$Z <=> Y = {Z}", as if being a successor is an essential (non-optional) property of {X}.

By the way, instantiation is a common enough term in Mathematics. You asked about it once before, and I told you what it meant once before.
Yes teacher, I'm a naughty naughty boy.
 
Last edited:
By the way, instantiation is a common enough term in Mathematics. You asked about it once before, and I told you what it meant once before.
Yes teacher, I'm a naughty naughty boy.

More than that. It means you do not understand Mathematics, yet you are so willing to complain about it. It also means you make up terms without knowing what that mean either.

Everything in Doronetics is nonsense because (1) you don't understand what you are objecting to and (2) you don't understand what you fabricate that corrects the flaws you imagine to exist.
 
Status
Not open for further replies.

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