Computing the Uncomputable Rado Sigma Function
Joachim Hertel · The Mathematica Journal · 2009
We discuss a new tool that is successfully used in an ongoing project to compute SH5L: an automated symbolic induction prover (SIP).The SIP tool is written in Mathematica and provides a unified way to prove that large sets of Turing machines are nonhalters.In a way, an SIP enables certain Turing machines to provide their own proof of being a nonhalter.