Pop-Up Thingie

Too Lazy BBS
  • Home
  • Forum
  • Files
  • Chat
  • Bulletins
  • Register
  • Log in
  • Who's Online

  • System Info

    Sysop: Amessyroom
    Location: Fayetteville, NC
    Users: 26
    Nodes: 6 (0 / 6)
    Uptime: 01:58:47
    Calls: 488
    Files: 1,076
    Messages: 67,316

  1. Forum
  2. USENET
  3. comp.theory
Re: How do simulating termination analyzers work? ---Truth MakerMaximalism

By olcott on Fri Jul 4 12:30:43 2025

Latest reply by olcott on Fri Jul 4 17:26:56 2025

Re: HHH(DDD)==0 is correct

By Richard Damon on Fri Jul 4 13:48:19 2025

Latest reply by olcott on Fri Jul 4 17:24:06 2025

Re: My reviewers think that halt deciders must report on the behaviorof their caller

By olcott on Fri Jul 4 15:43:38 2025

Latest reply by olcott on Fri Jul 4 17:15:36 2025

Claude.ai provides reasoning why I may have defeated the conventionalHP proof

By olcott on Fri Jul 4 15:16:34 2025

Latest reply by olcott on Fri Jul 4 17:08:49 2025

Re: How do simulating termination analyzers work? ---Truth MakerMaximalism FULL_TRACE

By olcott on Fri Jul 4 12:19:05 2025

Latest reply by olcott on Fri Jul 4 12:19:05 2025


© Too Lazy BBS, 2025