Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

Proof that H(D,D) doesn't meet its specification

From immibis@21:1/5 to All on Sun Mar 17 18:32:25 2024

D(D) halts
H(D,D)==0

therefore H is not a halt decider

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Who's Online
Recent Visitors
- Centurion
  Sun Jun 15 09:44:59 2025
  from Berea, Ohio via Telnet
- Deasl
  Sun Jun 15 08:43:59 2025
  from Foo, Bar via SSH
- Deasl
  Sun Jun 15 08:41:06 2025
  from Foo, Bar via SSH
- Plume
  Sat Jun 14 21:49:07 2025
  from Uk via SSH
- Max Prime
  Sat Jun 14 16:47:41 2025
  from United Kingdom via SSH
- Deasl
  Sat Jun 14 16:38:22 2025
  from Foo, Bar via SSH
- Deasl
  Sat Jun 14 16:24:35 2025
  from Foo, Bar via SSH
- Deasl
  Sat Jun 14 16:22:50 2025
  from Foo, Bar via Telnet

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	493
Nodes:	16 (0 / 16)
Uptime:	170:00:04
Calls:	9,703
Calls today:	3
Files:	13,735
Messages:	6,178,353