User:Wythagoras/Rado's sigma function

Subpages

 * Progress on the 42 Hardly Non-Regular TMs
 * Multi-Headed TMs