Can We Decide Whether Small Computer Programs Halt?mathoverflow.net2 pointswrongc0ntinent12 years ago