История изменений
Исправление hateyoufeel, (текущая версия) :
Просто стандарт Си раскрывает теорему Гёделя о неполноте простыми словами (в терминах стандарта). Либо непротиворечивость, либо полнота (возможность написать любую хрень).
Теорема о неполноте относится к описанию формальных систем внутри них же самих. То есть, чтобы она тут вообще была релевантна хоть как-то, стандарт Си должен быть написан на Си, а не на английском.
Извини, анон. Попытка хороша, но мимо. Есть Тьюринг-полные языки без UB.
Исходная версия hateyoufeel, :
Просто стандарт Си раскрывает теорему Гёделя о неполноте простыми словами (в терминах стандарта). Либо непротиворечивость, либо полнота (возможность написать любую хрень).
Теорема о неполноте относится к описанию формальных систем внутри них же самих. То есть, чтобы она тут вообще была релевантна хоть как-то, стандарт Си должен быть написан на Си.
Извини, анон. Попытка хороша, но мимо. Есть Тьюринг-полные языки без UB.