Pop-Up Thingie

War Ensemble BBS
  • Home
  • Forum
  • Files
  • Log in

  1. Forum
  2. Newsgroups
  3. comp.theory
The halting problem as defined is a category error

By olcott on Thu Jul 17 13:01:31 2025

Latest reply by Mr Flibble on Sat Jul 19 13:12:33 2025

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

By olcott on Tue Jul 8 14:49:07 2025

Latest reply by Mikko on Sat Jul 19 11:53:06 2025

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

By Mikko on Wed Jul 9 11:26:32 2025

Latest reply by Fred. Zwarts on Sat Jul 19 10:26:52 2025

Re: Computable Functions --- finite string transformation rules ---dbush

By olcott on Thu Jul 17 15:32:06 2025

Latest reply by olcott on Thu Jul 17 15:32:06 2025

Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof

By Mikko on Wed Jul 9 11:29:49 2025

Latest reply by Richard Damon on Wed Jul 16 22:16:09 2025

Re: HHH(DDD)==0 is correct

By Mikko on Wed Jul 9 11:32:43 2025

Latest reply by Mikko on Wed Jul 16 11:48:34 2025

Preliminary sumarization of 'computation' for review.

By wij on Sat Jul 12 18:53:06 2025

Latest reply by Richard Damon on Tue Jul 15 07:54:21 2025

  • Who's Online

  • Recent Visitors

    • Microbot
      Sat Jul 19 08:07:29 2025
      from Moore, Ok via Telnet
    • Microbot
      Fri Jul 18 09:23:45 2025
      from Moore, Ok via Telnet
    • Masyn
      Fri Jul 18 00:22:14 2025
      from Rock County, Wi via Telnet
    • Microbot
      Thu Jul 17 10:53:16 2025
      from Moore, Ok via Telnet
  • System Info

    Sysop: DaiTengu
    Location: Appleton, WI
    Users: 1,052
    Nodes: 10 (0 / 10)
    Uptime: 71:30:50
    Calls: 13,628
    Calls today: 1
    Files: 186,896
    D/L today: 478 files
    (200M bytes)
    Messages: 2,392,962

© War Ensemble BBS, 2025