If statement S1 halts and we combine it with S2 like "S1; S2", then we know *tha...

		kazinator 76 days ago \| parent \| context \| favorite \| on: What does “Undecidable” mean, anyway If statement S1 halts and we combine it with S2 like "S1; S2", then we know that halts. :)