Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs

Liste des GroupesRevenir à c theory 
Sujet : Re: Peano Axioms anchored in First Grade Arithmetic on ASCII Digit String pairs
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 30. Oct 2024, 11:02:17
Autres entêtes
Organisation : -
Message-ID : <vft079$23tm3$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 : Unison/2.2
On 2024-10-27 14:21:25 +0000, olcott said:

On 10/27/2024 3:37 AM, Mikko wrote:
On 2024-10-26 13:17:52 +0000, olcott said:
 
Just imagine c functions that have enough memory to compute
sums and products of ASCII strings of digits using the same
method that people do.
 Why just imagein? That is fairly easy to make. In some other lanugages
(e.g. Python, Javascript) it is alread in the library or as a built-in
feature.
 
 OK next I want to see the actual Godel numbers and the
arithmetic steps used to derive them.
They can be found in any textbook of logic that discusses undecidability.
If you need to ask about details tell us which book you are using.
--
Mikko

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