From Esolang
Jump to navigation Jump to search

^ is an esolang by User:None1. It is the smallest esolang that is impossible to solve the halting problem.


The only command


performs an infinite loop if this program halts otherwise it does nothing.

Uncomputability proof

If this esolang in computable, consider this program:


If it halts, it will not halt, otherwise it will halt. So this esolang is uncomputable.


It is of course impossible to make an interpreter because it is uncomputable.