Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers

Liste des GroupesRevenir à c theory 
Sujet : Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers
De : agisaak (at) *nospam* gm.invalid (André G. Isaak)
Groupes : comp.theory
Date : 29. Oct 2024, 02:14:10
Autres entêtes
Organisation : Christians and Atheists United Against Creeping Agnosticism
Message-ID : <vfpct2$18ala$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
On 2024-10-28 18:41, olcott wrote:
On 10/28/2024 6:56 PM, Richard Damon wrote:

Which isn't enough to encode it into a Godel number, as you need to go back an assign every axioms, and the definition of every term of that statement back to those axioms.
>
 I knew that yet his full paper is no longer available online.
It took 3 seconds on Google to find a copy of his paper online
<https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20–%20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf>
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail service.

Date Sujet#  Auteur
18 Oct 24 * A state transition diagram proves ...142olcott
18 Oct 24 `* Re: A state transition diagram proves ...141Richard Damon
18 Oct 24  `* Re: A state transition diagram proves ...140olcott
18 Oct 24   `* Re: A state transition diagram proves ...139Richard Damon
18 Oct 24    `* Re: A state transition diagram proves ...138olcott
18 Oct 24     `* Re: A state transition diagram proves ...137Richard Damon
18 Oct 24      `* Re: A state transition diagram proves ... GOOD PROGRESS136olcott
18 Oct 24       +* Re: A state transition diagram proves ... GOOD PROGRESS24joes
18 Oct 24       i`* Re: A state transition diagram proves ... GOOD PROGRESS23olcott
18 Oct 24       i +- Re: A state transition diagram proves ... GOOD PROGRESS -- I only wanted to cross post this key break through once.1olcott
18 Oct 24       i +* Re: A state transition diagram proves ... GOOD PROGRESS14joes
18 Oct 24       i i`* Re: A state transition diagram proves ... GOOD PROGRESS13olcott
18 Oct 24       i i `* Re: A state transition diagram proves ... GOOD PROGRESS12joes
18 Oct 24       i i  `* Re: A state transition diagram proves ... GOOD PROGRESS11olcott
18 Oct 24       i i   `* Re: A state transition diagram proves ... GOOD PROGRESS10Alan Mackenzie
18 Oct 24       i i    `* Re: A state transition diagram proves ... GOOD PROGRESS9olcott
18 Oct 24       i i     `* Re: A state transition diagram proves ... GOOD PROGRESS8joes
18 Oct 24       i i      `* Re: A state transition diagram proves ... GOOD PROGRESS7olcott
18 Oct 24       i i       +- Re: A state transition diagram proves ... GOOD PROGRESS1olcott
19 Oct 24       i i       `* Re: A state transition diagram proves ... GOOD PROGRESS5joes
19 Oct 24       i i        `* Re: A state transition diagram proves ... GOOD PROGRESS4olcott
19 Oct 24       i i         `* Re: A state transition diagram proves ... GOOD PROGRESS3Richard Damon
19 Oct 24       i i          `* Re: A state transition diagram proves ... GOOD PROGRESS2olcott
19 Oct 24       i i           `- Re: A state transition diagram proves ... GOOD PROGRESS1Richard Damon
19 Oct 24       i `* Re: A state transition diagram proves ... GOOD PROGRESS7Richard Damon
19 Oct 24       i  `* Re: A state transition diagram proves ... GOOD PROGRESS6olcott
19 Oct 24       i   `* Re: A state transition diagram proves ... GOOD PROGRESS5Richard Damon
19 Oct 24       i    `* Re: A state transition diagram proves ... GOOD PROGRESS4olcott
19 Oct 24       i     `* Re: A state transition diagram proves ... GOOD PROGRESS3Richard Damon
19 Oct 24       i      `* Re: A state transition diagram proves ... GOOD PROGRESS2olcott
19 Oct 24       i       `- Re: A state transition diagram proves ... GOOD PROGRESS1Richard Damon
19 Oct 24       `* Re: A state transition diagram proves ... GOOD PROGRESS111Richard Damon
19 Oct 24        +- Re: A state transition diagram proves ... GOOD PROGRESS1olcott
19 Oct 24        `* THREE DIFFERENT QUESTIONS109olcott
19 Oct 24         `* Re: THREE DIFFERENT QUESTIONS108Richard Damon
19 Oct 24          `* Re: THREE DIFFERENT QUESTIONS107olcott
19 Oct 24           `* Re: THREE DIFFERENT QUESTIONS106Richard Damon
19 Oct 24            `* Re: THREE DIFFERENT QUESTIONS105olcott
19 Oct 24             `* Re: THREE DIFFERENT QUESTIONS104Richard Damon
20 Oct 24              `* Re: THREE DIFFERENT QUESTIONS103olcott
20 Oct 24               `* Re: THREE DIFFERENT QUESTIONS102Richard Damon
20 Oct 24                `* I have always been correct about emulating termination analyzers --- PROOF101olcott
20 Oct 24                 +* Re: I have always been correct about emulating termination analyzers --- PROOF99Richard Damon
20 Oct 24                 i`* Re: I have always been correct about emulating termination analyzers --- PROOF98olcott
20 Oct 24                 i +* Re: I have always been correct about emulating termination analyzers --- PROOF10Richard Damon
20 Oct 24                 i i+* Re: I have always been correct about emulating termination analyzers --- PROOF2olcott
20 Oct 24                 i ii`- Re: I have always been incorrect about emulating termination analyzers --- PROOF1Richard Damon
20 Oct 24                 i i+* Re: I have always been correct about emulating termination analyzers --- PROOF2olcott
20 Oct 24                 i ii`- Re: I have always been incorrect about emulating termination analyzers --- PROOF1Richard Damon
20 Oct 24                 i i`* Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L5olcott
21 Oct 24                 i i +- Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L1Richard Damon
21 Oct 24                 i i `* Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L3Richard Damon
21 Oct 24                 i i  `* Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L2olcott
21 Oct 24                 i i   `- Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L1Richard Damon
21 Oct 24                 i `* Re: I have always been correct about emulating termination analyzers --- PROOF87Mikko
21 Oct 24                 i  `* Re: I have always been correct about emulating termination analyzers --- PROOF86olcott
22 Oct 24                 i   `* Re: I have always been correct about emulating termination analyzers --- PROOF85Mikko
22 Oct 24                 i    `* Re: I have always been correct about emulating termination analyzers --- PROOF84olcott
23 Oct 24                 i     `* Re: I have always been correct about emulating termination analyzers --- PROOF83Mikko
23 Oct 24                 i      `* Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs82olcott
24 Oct 24                 i       +- Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs1Richard Damon
24 Oct 24                 i       `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs80Mikko
24 Oct 24                 i        `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs79olcott
25 Oct 24                 i         +* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs5Richard Damon
25 Oct 24                 i         i`* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs4olcott
25 Oct 24                 i         i `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs3Richard Damon
25 Oct 24                 i         i  `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs2olcott
25 Oct 24                 i         i   `- Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs1Richard Damon
25 Oct 24                 i         `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs73Mikko
25 Oct 24                 i          `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs72olcott
25 Oct 24                 i           +* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs36Richard Damon
25 Oct 24                 i           i`* Gödel's actual proof and deriving all of the digits of the actual Gödel numbers35olcott
26 Oct 24                 i           i `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers34Richard Damon
26 Oct 24                 i           i  `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers33olcott
26 Oct 24                 i           i   +* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers30Richard Damon
26 Oct 24                 i           i   i`* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers29olcott
26 Oct 24                 i           i   i +- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
27 Oct 24                 i           i   i `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers27Mikko
27 Oct 24                 i           i   i  +* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers2joes
28 Oct 24                 i           i   i  i`- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Mikko
27 Oct 24                 i           i   i  `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers24olcott
27 Oct 24                 i           i   i   +- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
28 Oct 24                 i           i   i   `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers22Mikko
28 Oct 24                 i           i   i    `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers21olcott
29 Oct 24                 i           i   i     +* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers5Richard Damon
29 Oct 24                 i           i   i     i`* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers4olcott
29 Oct 24                 i           i   i     i +* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers2André G. Isaak
29 Oct 24                 i           i   i     i i`- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1olcott
29 Oct 24                 i           i   i     i `- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
29 Oct 24                 i           i   i     `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers15Mikko
29 Oct 24                 i           i   i      `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers14olcott
30 Oct 24                 i           i   i       +- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
30 Oct 24                 i           i   i       `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers12Mikko
30 Oct 24                 i           i   i        `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers11olcott
31 Oct 24                 i           i   i         +- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
31 Oct 24                 i           i   i         `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers9Mikko
31 Oct 24                 i           i   i          `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers8olcott
31 Oct 24                 i           i   i           +* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers3joes
31 Oct 24                 i           i   i           i`* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers2olcott
1 Nov 24                 i           i   i           i `- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
1 Nov 24                 i           i   i           +- Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers1Richard Damon
1 Nov 24                 i           i   i           `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers3Mikko
26 Oct 24                 i           i   `* Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers2joes
26 Oct 24                 i           `* Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs35Mikko
20 Oct 24                 `- Re: I have always been correct about emulating termination analyzers --- PROOF1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal