Forums before death by AOL, social media and spammers... "We can't have nice things"
| comp.ai.philosophy | Perhaps we should ask SkyNet about this | 59,235 messages |
[ << oldest | < older | list | newer > | newest >> ]
| Message 58,709 of 59,235 |
| Mikko to olcott |
| Re: How do halt deciders really work? -- |
| 20 Dec 25 12:07:54 |
XPost: comp.theory, sci.logic, sci.math
From: mikko.levanto@iki.fi
On 20/12/2025 03:27, olcott wrote:
> Deciders: Transform finite strings by finite
> string transformation rules into {Accept, Reject}
>
> https://philpapers.org/archive/OLCDTF.pdf
As there are no halt deciders they don't work at all.
--
Mikko
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
(c) 1994, bbs@darkrealms.ca