G asserts its own unprovability in F
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: G asserts its own unprovability in F
PeteOlcott seems to have, per his own claims, discovered a hole in Gödel's theorems. For some reason Gödel figures high on the hit list of philosophers, both amateurs and veterans. PeteOlcott, the hot seat you're currently occupying, I've been there. Part of what you signed up for mon ami. Stay the course or change course, there are more options of course and you'll see them ... soon enough. Good luck. Apologies if I'm too dumb to follow your argument and if its any consolation, your interpretation of Gödel is crystal clear as far I'm concerned.
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
The people that really should be in the hot seat are the one that required formalAgent Smith wrote: ↑Wed Apr 26, 2023 8:43 am PeteOlcott seems to have, per his own claims, discovered a hole in Gödel's theorems. For some reason Gödel figures high on the hit list of philosophers, both amateurs and veterans. PeteOlcott, the hot seat you're currently occupying, I've been there. Part of what you signed up for mon ami. Stay the course or change course, there are more options of course and you'll see them ... soon enough. Good luck. Apologies if I'm too dumb to follow your argument and if its any consolation, your interpretation of Gödel is crystal clear as far I'm concerned.
systems to be determined to be incomplete on the basis that they cannot prove
self contradictory expressions of formal languages on the basis of this definition.
The conventional definition of incompleteness:
Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ))
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: G asserts its own unprovability in F
My gut instinct is that we have a tiger (G, the Gödel sentence) by the tail. Don't, don't let go!!PeteOlcott wrote: ↑Wed Apr 26, 2023 3:26 pmThe people that really should be in the hot seat are the one that required formalAgent Smith wrote: ↑Wed Apr 26, 2023 8:43 am PeteOlcott seems to have, per his own claims, discovered a hole in Gödel's theorems. For some reason Gödel figures high on the hit list of philosophers, both amateurs and veterans. PeteOlcott, the hot seat you're currently occupying, I've been there. Part of what you signed up for mon ami. Stay the course or change course, there are more options of course and you'll see them ... soon enough. Good luck. Apologies if I'm too dumb to follow your argument and if its any consolation, your interpretation of Gödel is crystal clear as far I'm concerned.
systems to be determined to be incomplete on the basis that they cannot prove
self contradictory expressions of formal languages on the basis of this definition.
The conventional definition of incompleteness:
Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ))
Also, Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)), magnifique!
By the way,, how do we write in symbolic logic on this forum? LaTex? Math?
Last edited by Agent Smith on Thu Apr 27, 2023 1:13 am, edited 1 time in total.
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
Some of that is a quote that I found somewhere, I think that I added theAgent Smith wrote: ↑Thu Apr 27, 2023 1:03 amMy gut instinct is that we have a tiger (G, the Gödel sentence) by the tail. Don't, don't let go!!PeteOlcott wrote: ↑Wed Apr 26, 2023 3:26 pmThe people that really should be in the hot seat are the one that required formalAgent Smith wrote: ↑Wed Apr 26, 2023 8:43 am PeteOlcott seems to have, per his own claims, discovered a hole in Gödel's theorems. For some reason Gödel figures high on the hit list of philosophers, both amateurs and veterans. PeteOlcott, the hot seat you're currently occupying, I've been there. Part of what you signed up for mon ami. Stay the course or change course, there are more options of course and you'll see them ... soon enough. Good luck. Apologies if I'm too dumb to follow your argument and if its any consolation, your interpretation of Gödel is crystal clear as far I'm concerned.
systems to be determined to be incomplete on the basis that they cannot prove
self contradictory expressions of formal languages on the basis of this definition.
The conventional definition of incompleteness:
Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ))
Also, Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)), magnifique!
existential quantifier. It sums up the mathematical notion of incompleteness
as succinctly as possible.
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: G asserts its own unprovability in F
Mathematics, I was told, involves study of classes of objects - discovering the relationships/properties therein. Can we do something with that understanding vis-à-vis the Gödel sentence?PeteOlcott wrote: ↑Thu Apr 27, 2023 1:09 amSome of that is a quote that I found somewhere, I think that I added theAgent Smith wrote: ↑Thu Apr 27, 2023 1:03 amMy gut instinct is that we have a tiger (G, the Gödel sentence) by the tail. Don't, don't let go!!PeteOlcott wrote: ↑Wed Apr 26, 2023 3:26 pm
The people that really should be in the hot seat are the one that required formal
systems to be determined to be incomplete on the basis that they cannot prove
self contradictory expressions of formal languages on the basis of this definition.
The conventional definition of incompleteness:
Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ))
Also, Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)), magnifique!
existential quantifier. It sums up the mathematical notion of incompleteness
as succinctly as possible.
-
- Posts: 5099
- Joined: Sun Nov 04, 2018 10:29 pm
Re: G asserts its own unprovability in F
skep you're like a dick who ends up disagreeing with every damn body u talk to here. now i recognize that u are smarter than me, but i can also safely infer from this frequency of disagreement with others that u might be the one who's wrong in some or many given arguments. problem is I wouldn't know it cuz I'm not as smart as u or the other guy... so we need a qualified third party to analyze the problem and speak on its behalf. i therefore call wtf to the thread; the voice of mathematical reason amidst the howling mob of computer scientists.
if wtf agrees with PO, I'm gonna go with the PO/wtf team and you're out of my life, skep. Out.
if wtf agrees with PO, I'm gonna go with the PO/wtf team and you're out of my life, skep. Out.
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
Although his name indicates that he intends obnoxiousness over an honestpromethean75 wrote: ↑Thu Apr 27, 2023 1:30 am skep you're like a dick who ends up disagreeing with every damn body u talk to here. now i recognize that u are smarter than me, but i can also safely infer from this frequency of disagreement with others that u might be the one who's wrong in some or many given arguments. problem is I wouldn't know it cuz I'm not as smart as u or the other guy... so we need a qualified third party to analyze the problem and speak on its behalf. i therefore call wtf to the thread; the voice of mathematical reason amidst the howling mob of computer scientists.
if wtf agrees with PO, I'm gonna go with the PO/wtf team and your out of my life, skep. Out.
dialogue and that seems to be proven by his interactions with me, not every
reply that he makes on this forum has this same degree of obnoxiousness.
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
Most math guys mistake their rote memorization of a bunch of complicatedAgent Smith wrote: ↑Thu Apr 27, 2023 1:18 amMathematics, I was told, involves study of classes of objects - discovering the relationships/properties therein. Can we do something with that understanding vis-à-vis the Gödel sentence?PeteOlcott wrote: ↑Thu Apr 27, 2023 1:09 amSome of that is a quote that I found somewhere, I think that I added theAgent Smith wrote: ↑Thu Apr 27, 2023 1:03 am
My gut instinct is that we have a tiger (G, the Gödel sentence) by the tail. Don't, don't let go!!
Also, Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)), magnifique!
existential quantifier. It sums up the mathematical notion of incompleteness
as succinctly as possible.
things for actual understanding of how the different aspects of these things
interact with each other.
I created Minimal Type Theory so that a directed graph would show
the referential interactions between elements of formal expressions.
It turns out that cycles in this directed graph indicate expressions
of formal language that require infinite evaluation loops.
https://www.researchgate.net/publicatio ... y_YACC_BNF
It turns out that Prolog agrees with me on this:
https://www.researchgate.net/publicatio ... l_sentence
This is how Prolog detects and rejects these expressions:
https://www.swi-prolog.org/pldoc/man?pr ... rs_check/2
- Agent Smith
- Posts: 1442
- Joined: Fri Aug 12, 2022 12:23 pm
Re: G asserts its own unprovability in F
Is the following statement relevant in any way?PeteOlcott wrote: ↑Thu Apr 27, 2023 1:42 amMost math guys mistake their rote memorization of a bunch of complicatedAgent Smith wrote: ↑Thu Apr 27, 2023 1:18 amMathematics, I was told, involves study of classes of objects - discovering the relationships/properties therein. Can we do something with that understanding vis-à-vis the Gödel sentence?PeteOlcott wrote: ↑Thu Apr 27, 2023 1:09 am
Some of that is a quote that I found somewhere, I think that I added the
existential quantifier. It sums up the mathematical notion of incompleteness
as succinctly as possible.
things for actual understanding of how the different aspects of these things
interact with each other.
I created Minimal Type Theory so that a directed graph would show
the referential interactions between elements of formal expressions.
It turns out that cycles in this directed graph indicate expressions
of formal language that require infinite evaluation loops.
https://www.researchgate.net/publicatio ... y_YACC_BNF
It turns out that Prolog agrees with me on this:
https://www.researchgate.net/publicatio ... l_sentence
This is how Prolog detects and rejects these expressions:
https://www.swi-prolog.org/pldoc/man?pr ... rs_check/2
You cannot smoke in this room.
Re: G asserts its own unprovability in F
If you aren't smart enough to make up your own mind on these issues, you are definitely not smart enough to decide who is a "qualified third party"promethean75 wrote: ↑Thu Apr 27, 2023 1:30 am skep you're like a dick who ends up disagreeing with every damn body u talk to here.
now i recognize that u are smarter than me, but i can also safely infer from this frequency of disagreement with others that u might be the one who's wrong in some or many given arguments. problem is I wouldn't know it cuz I'm not as smart as u or the other guy... so we need a qualified third party to analyze the problem and speak on its behalf. i therefore call wtf to the thread; the voice of mathematical reason amidst the howling mob of computer scientists.
if wtf agrees with PO, I'm gonna go with the PO/wtf team and you're out of my life, skep. Out.
The fact that you think wtf (a mathematician) is qualified speaks for itself...
Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. --Bertrand Russell
-
- Posts: 5099
- Joined: Sun Nov 04, 2018 10:29 pm
Re: G asserts its own unprovability in F
bro u just called me out on the argumentum ad verecundiam and the argumentum ad populum fallacies. u were like boom boom.
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
argumentum ad verecundiam is not a fallacy within inductive inference, yet it must be a qualified authority.promethean75 wrote: ↑Thu Apr 27, 2023 2:46 pm bro u just called me out on the argumentum ad verecundiam and the argumentum ad populum fallacies. u were like boom boom.
That a broad consensus of physicians agree on a medical opinion provides strong evidence (yet zero proof) that the opinion is correct.
-
- Posts: 4387
- Joined: Wed Feb 10, 2010 2:04 pm
Re: G asserts its own unprovability in F
the disagreeing asparagus concurs... wait, that's argumentum ad vegetable...
-Imp
-
- Posts: 1554
- Joined: Mon Jul 25, 2016 6:55 pm
Re: G asserts its own unprovability in F
argumentum ad verecundiam is a fallacy in that a broad consensusImpenitent wrote: ↑Thu Apr 27, 2023 7:37 pmthe disagreeing asparagus concurs... wait, that's argumentum ad vegetable...
-Imp
of technical experts never conclusively proves that a statement is
true, yet does provide strong evidence that the statement is
reasonably plausible. Steve Jobs didn't see it this way and that
resulted in his death.
-
- Posts: 5099
- Joined: Sun Nov 04, 2018 10:29 pm
Re: G asserts its own unprovability in F
"argumentum ad verecundiam is not a fallacy within inductive inference, yet it must be a qualified authority."
indeed peter.
skepdick wasted no time reminding me of the fact that just becuz i might think of wtf as a person who by his mathematical knowledge would be an authority on the matter, it doesn't mean that he would be right.
"That a broad consensus of physicians agree on a medical opinion provides strong evidence (yet zero proof) that the opinion is correct."
indeed peter.
just becuz a couple or more people consistently disagree with skepdick, I'd not be justified in claiming that it's more likely that he's wrong therefore.
indeed peter.
skepdick wasted no time reminding me of the fact that just becuz i might think of wtf as a person who by his mathematical knowledge would be an authority on the matter, it doesn't mean that he would be right.
"That a broad consensus of physicians agree on a medical opinion provides strong evidence (yet zero proof) that the opinion is correct."
indeed peter.
just becuz a couple or more people consistently disagree with skepdick, I'd not be justified in claiming that it's more likely that he's wrong therefore.