Small nit: you don’t compute sigma, you prove a value for a given input. Sigma here is uncomputable.

was not aware of the machines halting only iff conjectUres are true, tho. Thats a flat out amazing construction.