злой юмор :).
Из доказательства №1 следует что компилятор не сможет отличить останавливается ли программа. Про размер или скорость для тех что завершаются ничего сказать нельзя.
и №2 просто пытается поставить проблему останова на службу для обеспечения работой авторов компиляторов. То есть оно не дает ничего кроме шутки.

вероятно поэтому комитеты си и си++ дружно решили разрешить компилятору предполагать что программы завершаются и выбрасывать бесконечные циклы. Еще не приняли но уже почти. Под Аппеля копают xD