ISF Logo   IS Forum
Forum Index Register Members List Events Mark Forums Read Help

Go Back   International Skeptics Forum » General Topics » Religion and Philosophy
 


Welcome to the International Skeptics Forum, where we discuss skepticism, critical thinking, the paranormal and science in a friendly but lively way. You are currently viewing the forum as a guest, which means you are missing out on discussing matters that are of interest to you. Please consider registering so you can gain full use of the forum features and interact with other Members. Registration is simple, fast and free! Click here to register today.
Reply
Old 12th August 2019, 08:13 PM   #3361
caveman1917
Philosopher
 
Join Date: Feb 2015
Posts: 6,526
Originally Posted by Little 10 Toes View Post
Which set are you defining and which set are you using? The numbers that I use for Godel Numbering do not have to be the set of natural numbers.
I always find it a bit funny that people would use Godel numbering, using natural numbers, to encode statements in logic when they don't actually need the machinery to prove Godel's theorem. It would seem much simpler to just encode them as strings of symbols (such as ASCII or Latex something).
__________________
"Ideas are also weapons." - Subcomandante Marcos
"We must devastate the avenues where the wealthy live." - Lucy Parsons
"Let us therefore trust the eternal Spirit which destroys and annihilates only because it is the unfathomable and eternal source of all life. The passion for destruction is a creative passion, too!" - Mikhail Bakunin
caveman1917 is online now   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 09:17 PM   #3362
Little 10 Toes
Master Poster
 
Little 10 Toes's Avatar
 
Join Date: Nov 2006
Posts: 2,002
Well, considering Unicode has 137,994 characters, we can use that as a base, with the understanding when we use words vs. numbers. But since we use base10, we're stuck with that.
Little 10 Toes is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 09:19 PM   #3363
Little 10 Toes
Master Poster
 
Little 10 Toes's Avatar
 
Join Date: Nov 2006
Posts: 2,002
we just happen to use base10. We could use base137,994 (the number of characters currently in use in Unicode)/
Little 10 Toes is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 09:37 PM   #3364
Little 10 Toes
Master Poster
 
Little 10 Toes's Avatar
 
Join Date: Nov 2006
Posts: 2,002
We just happen to use base10. We could use base137,994 (the number of characters currently in use in Unicode).
Little 10 Toes is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 10:18 PM   #3365
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
It was a weak moment.
Wrong jsfisher, the weak moment of yours goes all along your replies about the last subject, since no one of your replies actually supports your argument that
Originally Posted by jsfisher View Post
They are completely different concepts
Just saying it is not enough.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 12th August 2019 at 10:40 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 10:24 PM   #3366
caveman1917
Philosopher
 
Join Date: Feb 2015
Posts: 6,526
We can use any base we want, there are trivial mappings between the sets of finite strings in various bases. Simplest of all we could just use base2, binary bits, where each set of 8 bits is a byte which maps to some symbol in the ASCII table.
__________________
"Ideas are also weapons." - Subcomandante Marcos
"We must devastate the avenues where the wealthy live." - Lucy Parsons
"Let us therefore trust the eternal Spirit which destroys and annihilates only because it is the unfathomable and eternal source of all life. The passion for destruction is a creative passion, too!" - Mikhail Bakunin
caveman1917 is online now   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 12th August 2019, 10:37 PM   #3367
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by dlorde View Post
Originally Posted by jsfisher
Most of what you post should be ignored. Little of what you write follows any sort of logical argument, and you don't even bother to understand what most of the terms you use actually mean. "Completeness" is just the latest example.

At least take the time to find out what completeness of a formal system means.
Wow, this thread is still going - after 10 years - and Doron isn't making any more sense than he was then.

I admire your patience and tenacity - although I have to wonder why you still do it
Both replies are no more than unsupported statements.

So, dlorde and jsfisher please support them.

Just saying them is not the same as also logically support them.

So the stage is yours and this time do not share only your opinions about http://www.internationalskeptics.com...postcount=3357 but actually logically support your arguments according to its content.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 12th August 2019 at 11:52 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 12:26 AM   #3368
dlorde
Philosopher
 
dlorde's Avatar
 
Join Date: Apr 2007
Posts: 6,857
Originally Posted by doronshadmi View Post
Both replies are no more than unsupported statements.

So, dlorde and jsfisher please support them.

Just saying them is not the same as also logically support them.

So the stage is yours and this time do not share only your opinions about http://www.internationalskeptics.com...postcount=3357 but actually logically support your arguments according to its content.
I offer the entire thread as supporting evidence for both the fact that it's over 10 years old (I provided a link), and that you're making no more sense now than then (ask every contributor other than yourself).
__________________
Simple probability tells us that we should expect coincidences, and simple psychology tells us that we'll remember the ones we notice...

Last edited by dlorde; 13th August 2019 at 12:27 AM.
dlorde is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 04:11 AM   #3369
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by dlorde View Post
I offer the entire thread as supporting evidence for both the fact that it's over 10 years old (I provided a link), and that you're making no more sense now than then (ask every contributor other than yourself).
You offer your opinion, which does not actually logically deals with anything that is found in my posts.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 13th August 2019 at 04:13 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 06:32 AM   #3370
Little 10 Toes
Master Poster
 
Little 10 Toes's Avatar
 
Join Date: Nov 2006
Posts: 2,002
In case you missed it Doronshadmi.

Originally Posted by Little 10 Toes View Post
Doronshadmi, please define set A. You keep saying it is the set of natural numbers and then say it is not. Declare what set A is nice and clear. Don't define it with sub-definitions
Little 10 Toes is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 07:36 AM   #3371
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by Little 10 Toes View Post
Doronshadmi, please define set A. You keep saying it is the set of natural numbers and then say it is not. Declare what set A is nice and clear. Don't define it with sub-definitions
Set A is a set in infinitely many axioms (where each axiom is written by finitely many symbols) which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself, such that Infinity is taken in terms of Platonic Infinity (By Platonic Infinity there exists a complete set of infinitely many things as a complete whole (without using any process)).

Some example: The set of all natural numbers is infinite in terms of Platonic infinity.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 13th August 2019 at 07:43 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 09:42 AM   #3372
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Some correction of the beginning of my previous post.

It has to be corrected to: "Set A is a set of infinitely many axioms ..."

So let's write the previews post here in order to complete here my argument.

---------------

Set A is a set of infinitely many axioms (where each axiom is written by finitely many symbols) which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself, such that Infinity is taken in terms of Platonic Infinity (By Platonic Infinity there exists a set of infinitely many things as a complete whole (without using any process)).

Some example: The infinite set of all natural numbers is taken in terms of Platonic infinity.

Now all we care (as written in http://www.internationalskeptics.com...postcount=3357) is about the set of all infinitely many wffs (in terms of Platonic Infinity) that can be established in A.

Each wff has some Godel number, where at least one of these wffs, called G, states "There is no number m such that m is the Godel number of a proof in A, of G"

Since all wffs are already in A and all Godel numbers are already in A (because Infinity is taken in terms of Platonic Infinity) there is a Godel number of a proof of G in A, which contradicts G in A, exactly because A is complete and therefore inconsistent, since Infinity is taken in terms of Platonic Infinity.

So the problem is actually the notion of a complete set of infinity many things in terms of Platonic Infinity, and in order to save the consistency of A, ZF(C) Axiom Of Infinity is taken in terms of Potential Infinity (process is used, exactly as done in case of GIT).

But then ZF(C) Axiom Of Infinity can't be used in order to establish sets in terms of Platonic Infinity (for example: the notion of The infinite set of all natural number is logically inconsistent).

-------------------

Now, Gödel was a Platonist (he agreed with Actual infinity in terms of Cantor (which is actually Platonic Infinity)) and his main motivation behind his Incompleteness Theorems was to logically demonstrate that formal systems that are strong enough in order to deal with Arithmetic, can't be complete AND consistent and also can't prove their own consistency (which means that many "interesting" formal systems can't deal with Platonic realms).

But Gödel's Incompleteness Theorems also prove that the very notion of Actual infinity in terms of Platonism (which is also Actual infinity in terms of Cantor) does not hold logically (at least in the strong sense).
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 13th August 2019 at 11:27 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 10:10 AM   #3373
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
Set A is a set of infinitely many axioms
Which set of infinitely many axioms? There are many such sets. Which one did you have in mind?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 11:21 AM   #3374
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
Which set of infinitely many axioms? There are ma.ny such sets. Which one did you have in mind?
Any set that is strong enough in order to deal with Arithmetic.

For example: Set A is a set of infinitely many axioms (where each axiom is written by finitely many symbols) which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 13th August 2019 at 11:24 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 11:48 AM   #3375
caveman1917
Philosopher
 
Join Date: Feb 2015
Posts: 6,526
Originally Posted by doronshadmi View Post
Any set that is strong enough in order to deal with Arithmetic.
Then let A be any such set which contains {"1 + 1 = 2", "2 + 1 = 3", "3 + 1 = 4", ...}. This set is infinite, and can not be both complete and consistent.
__________________
"Ideas are also weapons." - Subcomandante Marcos
"We must devastate the avenues where the wealthy live." - Lucy Parsons
"Let us therefore trust the eternal Spirit which destroys and annihilates only because it is the unfathomable and eternal source of all life. The passion for destruction is a creative passion, too!" - Mikhail Bakunin
caveman1917 is online now   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 13th August 2019, 12:20 PM   #3376
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
Any set that is strong enough in order to deal with Arithmetic.
Well, sets are not "strong enough" in order to deal with Arithmetic. That would require a formal system. I think you must have meant the set of axioms for some formal system. And since you don't care which one, how about the set of axioms for ZFC?

Conveniently enough, that set is infinite.


Quote:
For example: Set A is a set of infinitely many axioms (where each axiom is written by finitely many symbols) which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself.
Using the Axiom of Infinity on ZF(C) itself? Multiple things are wrong, there. ZFC is a set theory, a formal system. Did you perhaps mean the set of axioms that establish ZFC?

The real problem, though, is with "using [the] Axiom of Infinity on ZF(C)". That does not mean anything. That particular axiom simply says a certain set with a certain property exists within the formal system. It is not something you can "use on" something; you don't, for example, "use it on" another set to establish yet another set with that same certain property mentioned in the Axiom of Infinity.

The Axiom of Infinity tells us a certain set exists. (It guarantees one, but as it turns out there are many such sets.) The von Neumann ordinal is the simplest example of such a set. It is not an operator, though. You can't use it on a set.
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 12:22 AM   #3377
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
Well, sets are not "strong enough" in order to deal with Arithmetic.
A is a set of axioms, which are a formal system.

Originally Posted by jsfisher View Post
Using the Axiom of Infinity on ZF(C) itself? Multiple things are wrong, there. ZFC is a set theory, a formal system. Did you perhaps mean the set of axioms that establish ZFC?

The real problem, though, is with "using [the] Axiom of Infinity on ZF(C)". That does not mean anything.
It means a lot. A is a formal system with infinitely many axioms, which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself, such that A is complete in terms of Platonic Infinity.

Originally Posted by jsfisher View Post
The Axiom of Infinity tells us a certain set exists. (It guarantees one, but as it turns out there are many such sets.) The von Neumann ordinal is the simplest example of such a set. It is not an operator, though. You can't use it on a set.
No operator is involved by using ZF(C) Axiom Of Infinity on ZF(C) itself, if Infinity is taken in terms of Platonic Infinity.

If you reject the notion that ZF(C) Axiom Of Infinity is not taken in terms of Platonic Infinity, then by this axiom, even the infinite set of all natural numbers can't be established in terms of Cantorian Actual Infinity.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 14th August 2019 at 12:35 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 02:47 AM   #3378
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
Well, sets are not "strong enough" in order to deal with Arithmetic.
A is a set of axioms, which are a formal system, so when I wrote "Any set that is strong enough in order to deal with Arithmetic." it was about a set of axioms (in case that you are missing that the last discussion is about a set of axioms in terms of Platonic Infinity).

Now, there is a non-interesting solution about the discussed subject, as follows:

G states: "There is no number m such that m is the Godel number of a proof in A, of G"

If G is already an axiom in A (where A is an infinite set of axioms, such that Infinity is taken in terms of Platonic Infinity) it is actually a wff that is true in A, which does not have any Godel number that is used in order to encode G's proof (since axioms are true wff that do not need any proof in A).

But then no proof is needed and mathematicians are out of job (therefore it is an unwanted solution).
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 14th August 2019 at 03:06 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 04:17 AM   #3379
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
A is a set of axioms, which are a formal system.
Then don't write "any set" when you don't mean "any set".

Quote:
It means a lot. A is a formal system with infinitely many axioms, which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself, such that A is complete in terms of Platonic Infinity.

No operator is involved by using ZF(C) Axiom Of Infinity on ZF(C) itself, if Infinity is taken in terms of Platonic Infinity.
Then do tell us all what you mean by "using ZF(C) Axiom Of Infinity on ZF(C) itself". In that explanation you will need to stick to what the axiom actually says, not what you want it to mean.
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 05:04 AM   #3380
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
Then don't write "any set" when you don't mean "any set".
Please stop read partially by also ignore the considered context of the discussed subject.

For example, please read all of http://www.internationalskeptics.com...postcount=3372 before you replay to some part of it.

Thank you.

Originally Posted by jsfisher View Post
Then do tell us all what you mean by "using ZF(C) Axiom Of Infinity on ZF(C) itself".
I mean that A is a set of infinitely many axioms which is "strong enough" in order to deal with Arithmetic, where Infinity is taken in terms of Platonic Infinity.

Originally Posted by jsfisher View Post
In that explanation you will need to stick to what the axiom actually says, not what you want it to mean.
The considered subject is not about the axioms (that, by definition, are not proven) but about wffs in A that have to be proven in A, where the amount of such wffs is taken in terms of Platonic Infinity.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 14th August 2019 at 05:14 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 08:15 AM   #3381
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Opss...
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 14th August 2019 at 08:34 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 08:18 AM   #3382
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Do Gödel's First Incompleteness Theorem imply the inconsistency of Actual Infinity?

Ok, it is about time to gather the last discussion into one post.

------------

According to Modern Mathematics (where the majority of mathematicians agree about the notion of actual infinite sets, as established mostly by George Cantor) an inductive set (as given by ZF(C) Axiom Of Infinity) has an accurate cardinality, which implies that it is complete (no one of its members is missing).

In other words, by ZF(C) Axiom Of Infinity there exists at least one infinite AND complete set (if we agree with the notion of actual infinity, as mostly established by Cantor).

Now, assume a complete set of infinite axioms (according to the reasoning of actual infinity, as established mostly by Cantor and agreed by the majority of modern mathematicians).

But by Gödel's First Incompleteness Theorem such set of axioms must be inconsistent as follows:

Set A is a set of infinitely many axioms (where each axiom is written by finitely many symbols) which is established by using ZF(C) Axiom Of Infinity on ZF(C) itself, such that Infinity is taken in terms of Platonic Infinity (By Platonic Infinity there exists a set of infinitely many things as a complete whole (without using any process)).

Some example: The infinite set of all natural numbers is taken in terms of Platonic infinity.

Now all we care is about the set of all infinitely many wffs (in terms of Platonic Infinity) that are established in A.

Each wff has some Gödel number, where at least one of these wffs, called G, states "There is no number m such that m is the Gödel number of a proof in A, of G" (since G needs a proof, it is not an axiom but a theorem).

Since all wffs are already in A and all Godel numbers are already in A (because Infinity is taken in terms of Platonic Infinity) there is a Gödel number of a proof of G in A, which contradicts G in A, exactly because A is complete (as shown) and therefore inconsistent.

So the problem is actually the notion of a complete set of infinity many things in terms of Platonic Infinity, and in order to save the consistency of A, ZF(C) Axiom Of Infinity is taken in terms of Potential Infinity (process is used, exactly as done in case of Gödel's First Incompleteness Theorem).

But then ZF(C) Axiom Of Infinity can't be used in order to establish sets in terms of Platonic Infinity (for example: the notion of The infinite set of all natural number is logically inconsistent).

--------------------------

Gödel was a Platonist (he agreed with Actual infinity in terms of Cantor (which is actually Platonic Infinity)) and his main motivation behind his Incompleteness Theorems was to logically demonstrate that formal systems that are strong enough in order to deal with Arithmetic, can't be complete AND consistent and also can't prove their own consistency (which means that many "interesting" formal systems can't deal with Platonic realms).

But Gödel's First Incompleteness Theorem also proves that the very notion of Actual infinity in terms of Platonism (which is also Actual infinity in terms of Cantor) does not hold logically.

--------------------------

There is a non-interesting solution about the discussed subject, as follows:

G states: "There is no number m such that m is the Gödell number of a proof in A, of G"

If G is already an axiom in A (where A is an infinite set of axioms, such that Infinity is taken in terms of Platonic Infinity) it is actually a wff that is true in A, which does not have any Godel number that is used in order to encode G's proof (since axioms are true wff that do not need any proof in A).

But then no proof is needed and mathematicians are out of job (therefore it is an unwanted solution).

--------------------------

Also please be aware of the following:

1) If ZF(C) Axiom Of Infinity is not necessarily taken in terms of Platonic Infinity, then ZF(C) Axiom Of Infinity is taken in terms of Platonic Infinity OR Not (useless tautology).

2) If ZF(C) Axiom Of Infinity is not necessarily taken in terms of Platonic Infinity, then it can't be used in order to establish even the set of all natural numbers (which means that N (and |N|) is not necessarily established by ZF(C)).
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 14th August 2019 at 08:42 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 14th August 2019, 10:21 AM   #3383
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
I mean that A is a set of infinitely many axioms which is "strong enough" in order to deal with Arithmetic, where Infinity is taken in terms of Platonic Infinity.
How do you get from
There exists a set which contains the empty set and for every member of the set it also contains the member's successor*
to
A is a set of infinitely many axioms which is "strong enough" in order to deal with Arithmetic, where Infinity is taken in terms of Platonic Infinity.
That's a breath-taking leap, even for you. Also, nowhere did you "use" the axiom "on ZF(C) itself."


* 'Successor' has been defined various ways for different uses of the axiom in different set theories. ZF and ZFC share a specific successor function, S, where S(x) = x U {x}.
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 15th August 2019, 03:59 AM   #3384
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
There exists a set which contains the empty set and for every member of the set it also contains the member's successor
All we care is that such set is taken in terms of Platonic Infinity.
Originally Posted by jsfisher View Post
That's a breath-taking leap
I agree with you, modern mathematicians indeed take such axiom in terms of Platonic Infinity.

Infinity is taken in A (which is strong enough to deal with Arithmetic) in terms of Platonic Infinity, such that all the infinite wffs are already in A, exactly as ZF(C) Axiom Of Infinity defines an infinite set as a complete whole (Platonic Infinity).

jsfisher, please move on to http://www.internationalskeptics.com...postcount=3382.

Thank you.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 15th August 2019 at 04:34 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 15th August 2019, 07:33 AM   #3385
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
All we care is that such set is taken in terms of Platonic Infinity.
Who is this "we" of which you speak?

All "we" (= the set of not you) care about is what the axiom actually asserts, not this extra baggage and bogus inferences you insist upon.

So, again, the Axiom of Infinity is very specific in what it asserts. How do you get from there, in small, logical steps, please, to the rather distant conclusion you allege?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost

Last edited by jsfisher; 15th August 2019 at 07:40 AM.
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 16th August 2019, 01:32 AM   #3386
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
So, again, the Axiom of Infinity is very specific in what it asserts.
By Platonic Infinity there exists a set of infinitely many things as a complete whole.

The Axiom of Infinity establishes a set in terms of Platonic Infinity (if Platonic Infinity is rejected, then The Axiom of Infinity can't establish even the infinite set of all natural numbers (which means that N (and therefore |N|) is not established even in the abstract sense)).

Let A (which is a formal system) be the set of all infinite (in terms if Platonic Infinity) wffs (axioms (that do not need to be proven) OR theorems (that need to be proven)) that are encoded by Gödel numbers in A, such that A is strong enough in order to deal with Arithmetic.

In that case what is the cardinality of all the infinite Gödel numbers in A (where infinity is taken in terms of Platonic Infinity)?

Before you answer to this question, please be aware of the following:

Each wff is encoded by a Gödel number, where at least one of these wffs, called G, states "There is no number m such that m is the Gödel number of a proof in A, of G" (since G needs a proof, it is not an axiom but a theorem).

Since all wffs are already in A and all Gödel numbers are already in A (because Infinity is taken in terms of Platonic Infinity) there is a Gödel number of a proof of G in A, which contradicts G in A, exactly because A is complete (in terms of Platonic Infinity) and therefore inconsistent.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 16th August 2019 at 03:21 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 16th August 2019, 04:23 AM   #3387
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
The Axiom of Infinity establishes a set in terms of Platonic Infinity....
The Axiom of Infinity establishes a set in terms of Mathematics. The properties the set has are based in Mathematics. How you may relate to that philosophically is of no interest to Mathematics.

You have told us that your set, A, is based on "using the ZF(C) Axiom of Infinity on ZF(C) itself."

So, a very reasonable question than is what do you mean by that. So far, you have failed to give it any meaning, yet it is fundamental you this set, A, you banter about.
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 16th August 2019, 05:40 AM   #3388
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
You have told us that your set, A, is based on "using the ZF(C) Axiom of Infinity on ZF(C) itself."
By "using the ZF(C) Axiom of Infinity on ZF(C) itself." I mean that A is a formal system with infinitely many wffs in terms of Platonic Infinity, which is strong enough in order to deal with Arithmetic.

Now please answer to http://www.internationalskeptics.com...postcount=3386 but before that please explain what do you mean by "The Axiom of Infinity establishes a set in terms of Mathematics." (especially the highlighted part)?

Thank you.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 16th August 2019 at 05:46 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 16th August 2019, 06:06 AM   #3389
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
By "using the ZF(C) Axiom of Infinity on ZF(C) itself." I mean that A is a formal system with infinitely many wffs in terms of Platonic Infinity, which is strong enough in order to deal with Arithmetic.
You are telling us something about what you think you get by "using the ZF(C) Axiom of Infinity on ZF(C) itself." You first need to tell us what "using the ZF(C) Axiom of Infinity on ZF(C) itself" all by itself means.

Many sets have the characteristics you ascribe to your set, A. Would any such set do (in which case, all this blather about the Axiom of Infinity is extraneous)?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 03:32 AM   #3390
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
You are telling us something about what you think you get by "using the ZF(C) Axiom of Infinity on ZF(C) itself." You first need to tell us what "using the ZF(C) Axiom of Infinity on ZF(C) itself" all by itself means.

Many sets have the characteristics you ascribe to your set, A. Would any such set do (in which case, all this blather about the Axiom of Infinity is extraneous)?
A, by itself, is exactly a formal system with infinitely many wffs in terms of Platonic Infinity (exactly as a set with infinitely things is established by ZF(C) Axiom Of Infinity), which is strong enough in order to deal with Arithmetic.

There can be many sets like A, but A is enough in order to address the discussed subject.

Please explain what do you mean by "The Axiom of Infinity establishes a set in terms of Mathematics." (especially the highlighted part)?
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 17th August 2019 at 05:04 AM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 08:36 AM   #3391
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
A, by itself, is exactly a formal system with infinitely many wffs in terms of Platonic Infinity (exactly as a set with infinitely things is established by ZF(C) Axiom Of Infinity), which is strong enough in order to deal with Arithmetic.

There can be many sets like A, but A is enough in order to address the discussed subject.

Please explain what do you mean by "The Axiom of Infinity establishes a set in terms of Mathematics." (especially the highlighted part)?

You first need to tell us what "using the ZF(C) Axiom of Infinity on ZF(C) itself" means.
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 11:20 AM   #3392
abaddon
Penultimate Amazing
 
abaddon's Avatar
 
Join Date: Feb 2011
Posts: 18,871
Originally Posted by doronshadmi View Post
You offer your opinion, which does not actually logically deals with anything that is found in my posts.
dlorde is not alone in that opinion. You have done nothing but produce scads of navel gazing crapulence in this entire thread. We have reached, and passed the point where you have for protrtacted periods, happily posted to yourself, even at times arguing with yourself. People dip in now and then just to see how deep the rabbit hole has become. And that's it.

You have, for reasons unknowable, reduced yourself to an internet curiosity. Why? Who can tell. All we can do is observe it happening.
__________________
Who is General Failure? And why is he reading my hard drive?


...love and buttercakes...
abaddon is online now   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 01:06 PM   #3393
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
You first need to tell us what "using the ZF(C) Axiom of Infinity on ZF(C) itself" means.
ZF(C) is an axiomatic formal system that is strong enough in order to deal with Arithmetic.

By using ZF(C) Axiom Of Infinity on ZF(C) itself, there is an axiomatic formal system A that has infinitely many wffs in terms of Platonic (or Actual) Infinity AND it is strong enough in order to deal with Arithmetic, exactly as ZF(C) enables to do it.

Now please reply to my question to you in http://www.internationalskeptics.com...postcount=3390.

Thank you.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 17th August 2019 at 01:17 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 01:14 PM   #3394
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by abaddon View Post
dlorde is not alone in that opinion.
Opinions are not enough and also your reply is nothing but an opinion.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 17th August 2019 at 01:15 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 05:13 PM   #3395
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
By using ZF(C) Axiom Of Infinity on ZF(C) itself,...
How?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 17th August 2019, 10:19 PM   #3396
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
How?
"using ZF(C) Axiom Of Infinity on ZF(C) itself"

is the same as

"There is an extension of ZF(C), called A (which is strong enough in order to deal with Arithmetic (exactly as ZF(C) has this property)) where all of its infinitely many wffs are already in A, since Infinity (according to ZF(C) Axiom Of Infinity) must be taken in terms of Platonic (or Actual) Infinity" (otherwise even the infinite set of all natural numbers can't be established by this ZF(C) axiom).

Now please explain what do you mean by "The Axiom of Infinity establishes a set in terms of Mathematics." (especially the highlighted part)?
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 17th August 2019 at 10:28 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 18th August 2019, 12:06 PM   #3397
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
"using ZF(C) Axiom Of Infinity on ZF(C) itself"

is the same as

"There is an extension of ZF(C), called A (which is strong enough in order to deal with Arithmetic (exactly as ZF(C) has this property)) where all of its infinitely many wffs are already in A
There is nothing in the Axiom of Infinity that lets you conclude your set A exists. You also have not explained what "using ZF(C) Axiom Of Infinity on ZF(C) itself" means. Telling us the result you think you have isn't the same as telling us how you got it.

So, once again, what does "using ZF(C) Axiom Of Infinity on ZF(C) itself" mean?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 18th August 2019, 12:41 PM   #3398
Little 10 Toes
Master Poster
 
Little 10 Toes's Avatar
 
Join Date: Nov 2006
Posts: 2,002
Originally Posted by doronshadmi View Post
"using ZF(C) Axiom Of Infinity on ZF(C) itself"

is the same as

"There is an extension of ZF(C), called A (which is strong enough in order to deal with Arithmetic (exactly as ZF(C) has this property)) where all of its infinitely many wffs are already in A, since Infinity (according to ZF(C) Axiom Of Infinity) must be taken in terms of Platonic (or Actual) Infinity" (otherwise even the infinite set of all natural numbers can't be established by this ZF(C) axiom).

Now please explain what do you mean by "The Axiom of Infinity establishes a set in terms of Mathematics." (especially the highlighted part)?
Let's get rid of the extra wording...

"There is an extension of ZF(C), called A where all of its infinitely many wffs are already in A, since Infinity must be taken in terms of Actual Infinity."

This still doesn't make sense. First set A was a set, then a "formal system", now it's an extension. And it contains things that it already contained? And it must be taken?
Little 10 Toes is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 18th August 2019, 10:05 PM   #3399
doronshadmi
Penultimate Amazing
 
doronshadmi's Avatar
 
Join Date: Mar 2008
Posts: 12,938
Originally Posted by jsfisher View Post
There is nothing in the Axiom of Infinity that lets you conclude your set A exists.
Wrong, for example: Without the Axiom of Infinity (where Infinity is taken in terms of Platonic (or Actual) Infinity) no axiom schema (for example: the ZF(C) Axiom Schema Of Replacement) exists.

"Given that the number of possible subformulas or terms that can be inserted in place of a schematic variable is countably infinite, an axiom schema stands for a countably infinite set of axioms." https://en.wikipedia.org/wiki/Axiom_...axiomatization

In other words, A (exits, exactly as given in http://www.internationalskeptics.com...postcount=3396) or the ZF(C) axiom schema of replacement are both established by taking Infinity in terms of Platonic Infinity, since countably infinite means that there is bijection between, for example, the infinite set of all natural numbers (in terms of Platonic (or Actual) Infinity) and some given set.
__________________
That is also over the matrix, is aware of the matrix.

That is under the matrix, is unaware of the matrix.

For more details, please carefully observe Prof. Edward Frenkel's video from https://youtu.be/PFkZGpN4wmM?t=697 until the end of the video.

Last edited by doronshadmi; 18th August 2019 at 11:18 PM.
doronshadmi is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Old 19th August 2019, 04:15 AM   #3400
jsfisher
ETcorngods survivor
Moderator
 
jsfisher's Avatar
 
Join Date: Dec 2005
Posts: 22,453
Originally Posted by doronshadmi View Post
Wrong....
That's nice, but you still haven't told us how you are actually applying the axiom on ZF(C). Keep in mind, the axiom simply states that there exists a certain set with certain properties. Nothing more.

So, once again, what does "using ZF(C) Axiom Of Infinity on ZF(C) itself" mean?
__________________
A proud member of the Simpson 15+7, named in the suit, Simpson v. Zwinge, et al., and founder of the ET Corn Gods Survivors Group.

"He's the greatest mod that never was!" -- Monketey Ghost
jsfisher is offline   Quote this post in a PM   Nominate this post for this month's language award Copy a direct link to this post Reply With Quote Back to Top
Reply

International Skeptics Forum » General Topics » Religion and Philosophy

Bookmarks

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Forum Jump


All times are GMT -7. The time now is 10:55 AM.
Powered by vBulletin. Copyright ©2000 - 2019, Jelsoft Enterprises Ltd.

This forum began as part of the James Randi Education Foundation (JREF). However, the forum now exists as
an independent entity with no affiliation with or endorsement by the JREF, including the section in reference to "JREF" topics.

Disclaimer: Messages posted in the Forum are solely the opinion of their authors.