1. Forum
  2. Newsgroups
  3. comp.theory

  • Trying to understand Olcott...

    From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory on Mon Sep 15 14:24:01 2025
    From Newsgroup: comp.theory

    Am I getting this right? Say:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    30 GOTO 20
    ___________________

    Okay. We can see that this does not halt. No need to simulate anything. However, if you _artificially_ alter that program by doing something
    like this:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    25 END: REM Huh?
    30 GOTO 10
    ___________________

    You make it halting, but call it non-halting? This is goofy. How is that "Kosher" in a sense? Did I just boil your system down? Or, what am I
    missing here? Thanks.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory on Mon Sep 15 14:28:37 2025
    From Newsgroup: comp.theory

    On 9/15/2025 2:24 PM, Chris M. Thomasson wrote:
    Am I getting this right? Say:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    30 GOTO 20
    ___________________

    Okay. We can see that this does not halt. No need to simulate anything. However, if you _artificially_ alter that program by doing something
    like this:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    25 END: REM Huh?
    30 GOTO 10
    ___________________

    You make it halting, but call it non-halting? This is goofy. How is that "Kosher" in a sense? Did I just boil your system down? Or, what am I
    missing here? Thanks.

    Still makes me think of the other extreme:

    It's like Olcott is saying, I chopped the runners legs off. See? It does
    not halt. The runner says, I would have halted up the road but my legs
    are now gone... Strange to me. Goofy?
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory on Mon Sep 15 16:31:14 2025
    From Newsgroup: comp.theory

    On 9/15/2025 4:24 PM, Chris M. Thomasson wrote:

    No you are not.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory on Mon Sep 15 15:19:24 2025
    From Newsgroup: comp.theory

    On 9/15/2025 2:31 PM, olcott wrote:
    On 9/15/2025 4:24 PM, Chris M. Thomasson wrote:

    No you are not.


    Can you tell me the error of my line of thinking? Your
    InfiniteRecursion() in another thread example in C reminds me of the
    following in BASIC:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    30 GOTO 20
    ___________________

    Then you force the function to call into your simulator seems to chop
    its legs off akin to:
    ___________________
    10 HOME
    20 PRINT "Infinite"
    25 END: REM Huh?
    30 GOTO 10
    ___________________

    Line 25 was injected by a higher power? Not sure. Please try to excuse
    my ignorance on your work.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory on Mon Sep 15 17:50:38 2025
    From Newsgroup: comp.theory

    On 9/15/2025 2:31 PM, olcott wrote:
    On 9/15/2025 4:24 PM, Chris M. Thomasson wrote:

    No you are not.


    For some reason you tend to make me think on perhaps Olcott just might
    be a ultrafinite mind that says my decider is correct because everything halts. ROFL! the Kicker. ;^D

    HALT = 1

    IF HALT it does?

    You say HALT is the decider?

    --- Synchronet 3.21a-Linux NewsLink 1.2