Thread 16840948

13 posts 2 images /sci/

Anonymous 11/9/2025, 2:07:16 AM No.16840948 [Report] >>16840950 >>16840963 >>16840995 >>16840996

The halting problem as anti AGI argument

Can the halting problem be generalized as to be a problem of running out of resources in a machine that has physical limitations?

Therefore a magical sci fi AGI is not possible under our current tech, because we don't have the resourced to develop it?

Anonymous 11/9/2025, 2:11:17 AM No.16840950 [Report] >>16840954

>>16840948 (OP)
>a machine that has physical limitations?
is a finite state machine
turing machines assume you have has much resources as you need. remember they are theoretical constructs, not actually realizable machines, although in practice the distinction is ignored.

Anonymous 11/9/2025, 2:20:47 AM No.16840954 [Report] >>16840964

>>16840950
yes, but to exist physically they have to have physical limitations.

Anonymous 11/9/2025, 2:35:14 AM No.16840963 [Report]

>>16840948 (OP)
>Can the halting problem be generalized as to be a problem of running out of resources in a machine that has physical limitations?
Sure, why not? It's all made up and you are free to say anything

Anonymous 11/9/2025, 2:36:07 AM No.16840964 [Report] >>16840965

>>16840954
turing machines don't physically exist, they are a mathematical model of computation

Anonymous 11/9/2025, 2:37:15 AM No.16840965 [Report] >>16840968

>>16840964
https://www.youtube.com/watch?v=E3keLeMwfHY

A youtuber literally made one.

Anonymous 11/9/2025, 2:43:57 AM No.16840968 [Report] >>16840969

>>16840965
are you dense? it's got a finite amount of tape, hence a finite amount of states, hence it's a FINITE STATE MACHINE

Anonymous 11/9/2025, 2:44:54 AM No.16840969 [Report] >>16840988

>>16840968
you can make one digitally to have an arbitrary number of tape spatial points, if you want to be pedantic.

Anonymous 11/9/2025, 3:27:08 AM No.16840988 [Report]

>>16840969
/dev/null is not infinite storage, as some have misled you to believe

Anonymous 11/9/2025, 3:36:56 AM No.16840995 [Report]

>>16840948 (OP)
Kot chok on cup.
Kot no air for breath.
Save kot, OP.
Hemlock Manure now!

Anonymous 11/9/2025, 3:40:44 AM No.16840996 [Report]

>>16840948 (OP)
>Can the halting problem be generalized as to be a problem of running out of resources in a machine that has physical limitations?
Yes. Whole field of folks doing this stuff for finite state machines.
TREE(3), and TREE(3)+1 are good references.
>Therefore a magical sci fi AGI is not possible under our current tech, because we don't have the resourced to develop it?
Naw. Not for that reason at all.

Anonymous 11/9/2025, 3:50:34 AM No.16840999 [Report] >>16841282

so the turing machine is like the carnot machine? ok

ChatTDG !!Z0MA/4gprbd 11/9/2025, 10:50:05 AM No.16841282 [Report]

>>16840999

>A carnot machine is fine too.

Toaster's a toaster. :3