Re: The philosophy of logic reformulates existing ideas on a new basis ---

Liste des GroupesRevenir à theory 
Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis ---
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 08. Nov 2024, 19:02:47
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <8c2cbbe343934d211ad8c820c963702e70351a27@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 11/8/24 12:25 PM, olcott wrote:

 That formal systems that only apply truth preserving
operations to expressions of their formal language
that have been stipulated to be true cannot possibly
be undecidable is proven to be over-your-head on the
basis that you have no actual reasoning as a rebuttal.
 
No, all you have done is shown that you don't undertstand what you are talking about.
Godel PROVED that the FORMAL SYSTEM that his proof started in, is unable to PROVE that the statement G, being "that no Natural Number g, that satifies a particularly designed Primitive Recursive Relationship" is true, but also shows (using the Meta-Mathematics that derived the PRR for the original Formal System) that no such number can exist.
He does it by showing that that particular PRR can be derived, using the mathematics available in the original formal system, that when interpreted by the semantics added in the Meta-Mathematics, can be interpreted as a "Proof Checker" for a proof encoded by the rules of the meta-math, for the statement of G.
Thus, if a number exists that satisfies that PRR, it also produces a valid proof that no such number can exist, and thus since that would be a contradiction, and the stated assumption was that the original formal system was non-contradictory, so no such number can exist.
It also shows that no proof can be formed in the original Formal System, as any such proof could be encoded into a number, that would satisfy the PRR, and thus show the proof could not be valid, as the statement was false.
Your failure to understand this just shows your ignorance of the subject. Admittedly, this is somewhat complicated, so ignorance of it isn't that bad, but when you claim that the logic is wrong, and do so asserting things that are just not true, just shows that you are REALLY ignorant of what you talk about, and nothing but a pathological liar.
Sorry, YOU are the one over-your-head, but are too stupid to understand it, and seem to have drowned and killed off your mental ability.

Date Sujet#  Auteur
27 Oct 24 * The philosophy of computation reformulates existing ideas on a new basis ---588olcott
27 Oct 24 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---587Richard Damon
28 Oct 24  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---586olcott
28 Oct 24   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---585Richard Damon
28 Oct 24    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---584olcott
28 Oct 24     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---583Richard Damon
28 Oct 24      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---582olcott
29 Oct 24       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---581Richard Damon
29 Oct 24        +* Re: The philosophy of computation reformulates existing ideas on a new basis ---466olcott
29 Oct 24        i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
29 Oct 24        i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---464Mikko
29 Oct 24        i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---270olcott
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---242Andy Walker
29 Oct 24        i ii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
29 Oct 24        i iii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---7joes
29 Oct 24        i iiii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---6olcott
30 Oct 24        i iiii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5Richard Damon
30 Oct 24        i iiii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i iiii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i iiii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i iiii     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i iii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---232Jeff Barnett
30 Oct 24        i ii +* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i ii i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i ii i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii i  `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---227Andy Walker
30 Oct 24        i ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii  i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
31 Oct 24        i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---224Mikko
31 Oct 24        i ii   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
1 Nov 24        i ii   i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
31 Oct 24        i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---220Andy Walker
31 Oct 24        i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---219olcott
1 Nov 24        i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---218Richard Damon
1 Nov 24        i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---217olcott
1 Nov 24        i ii       +* Re: The philosophy of computation reformulates existing ideas on a new basis ---207olcott
1 Nov 24        i ii       i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---205Mikko
1 Nov 24        i ii       ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---204olcott
2 Nov 24        i ii       ii +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---202Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---187Andy Walker
2 Nov 24        i ii       ii  i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       ii  ii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii  i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---183Mikko
3 Nov 24        i ii       ii  i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---15olcott
3 Nov 24        i ii       ii  i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---12Mike Terry
3 Nov 24        i ii       ii  i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---11olcott
3 Nov 24        i ii       ii  i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Richard Damon
3 Nov 24        i ii       ii  i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
3 Nov 24        i ii       ii  i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---8Richard Damon
3 Nov 24        i ii       ii  i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---7olcott
4 Nov 24        i ii       ii  i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---6Richard Damon
4 Nov 24        i ii       ii  i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5olcott
4 Nov 24        i ii       ii  i ii       +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3joes
5 Nov 24        i ii       ii  i ii        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
5 Nov 24        i ii       ii  i ii         `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
4 Nov 24        i ii       ii  i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---167Andy Walker
4 Nov 24        i ii       ii  i  +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1olcott
4 Nov 24        i ii       ii  i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---165Mikko
5 Nov 24        i ii       ii  i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---164Andy Walker
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
5 Nov 24        i ii       ii  i    i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
5 Nov 24        i ii       ii  i    i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Mikko
6 Nov 24        i ii       ii  i    i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---2Andy Walker
6 Nov 24        i ii       ii  i    i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
6 Nov 24        i ii       ii  i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---157Alan Mackenzie
6 Nov 24        i ii       ii  i     +* Re: The philosophy of logic reformulates existing ideas on a new basis ---155olcott
6 Nov 24        i ii       ii  i     i+* Re: The philosophy of logic reformulates existing ideas on a new basis ---150Alan Mackenzie
7 Nov 24        i ii       ii  i     ii`* Re: The philosophy of logic reformulates existing ideas on a new basis ---149olcott
8 Nov 24        i ii       ii  i     ii `* Re: The philosophy of logic reformulates existing ideas on a new basis ---148Alan Mackenzie
8 Nov 24        i ii       ii  i     ii  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---147olcott
8 Nov 24        i ii       ii  i     ii   +* Re: The philosophy of logic reformulates existing ideas on a new basis ---145Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---144olcott
8 Nov 24        i ii       ii  i     ii   i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---140Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---139olcott
8 Nov 24        i ii       ii  i     ii   i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---137Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---136olcott
8 Nov 24        i ii       ii  i     ii   i i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---128Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---127olcott
8 Nov 24        i ii       ii  i     ii   i i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---126Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---125olcott
8 Nov 24        i ii       ii  i     ii   i i i i   `* Re: The philosophy of logic reformulates existing ideas on a new basis ---124Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i    `* Re: The philosophy of logic reformulates existing ideas on a new basis ---123olcott
9 Nov 24        i ii       ii  i     ii   i i i i     `* Re: The philosophy of logic reformulates existing ideas on a new basis ---122Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i      `* Re: The philosophy of logic reformulates existing ideas on a new basis ---121olcott
9 Nov 24        i ii       ii  i     ii   i i i i       +* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---3olcott
9 Nov 24        i ii       ii  i     ii   i i i i       i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i  `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
9 Nov 24        i ii       ii  i     ii   i i i i       `* Re: The philosophy of logic reformulates existing ideas on a new basis ---116joes
9 Nov 24        i ii       ii  i     ii   i i i i        `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct115olcott
9 Nov 24        i ii       ii  i     ii   i i i i         +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct104Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8joes
10 Nov 24        i ii       ii  i     ii   i i i i         `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
8 Nov 24        i ii       ii  i     ii   i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---7Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
8 Nov 24        i ii       ii  i     ii   i +- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
8 Nov 24        i ii       ii  i     ii   i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2joes
9 Nov 24        i ii       ii  i     ii   `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
7 Nov 24        i ii       ii  i     i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
7 Nov 24        i ii       ii  i     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---12olcott
4 Nov 24        i ii       ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9Mikko
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---16joes
30 Oct 24        i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Mikko
29 Oct 24        i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---193olcott
29 Oct 24        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---114olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal