Gödel's Incompleteness Theorem in Bash

Re:Gödel's Incompleteness Theorem in Bash by OscarCunningham on Friday February 25, 2022 @10:42AM (#30468451)

Note that behave_differently.sh takes two inputs, both a program and the input for that program. Also note that paradox.sh gives both these inputs by using $1 twice.

And behave_differently.sh is supposed to be an arbitrary program. It can run the input program but it doesn't have to, it can analyse it in any way it wishes.

[ Parent | on HN ]

Re:Gödel's Incompleteness Theorem in Bash by void_one on Friday February 25, 2022 @11:52AM (#30469281)

It is a good point that behave_differently.sh does not necessary run its argument program, but can analyze it in another way. (The context of Bash scripts suggests execution but that is a misleading hint.)

In the broader formulation behave_differently.sh tells that its argument program terminates and produces finite input, which is a halting problem.

[ Parent | on HN ]