Re: Proofs as programs

On 18/12/2024 08:43, Mild Shock wrote:

The advent of logic tasks are not philosophical,
they directly ask for a calculus aka proof search
in Prolog. You could add some philosophical notes
to the resulting Prolog code.

"Philosophy" as in not being a vacuous dumb fuck?  I hope.
I was asking if my work would qualify for your challenge, in fact what the challenge even is, since you cannot write a problem statement that is one.
When you have missed that point, I have pointed out that accessorized system variant 1765234 is utterly uninteresting when pure system 0 is already a difficult foundational then coding problem otherwise a cheat.
But don't take my word for it.
-Julio