Доказана невозможность статического парсинга Perl 5

> А вообще да, интересно, если на такой машине запустить "while (i++);" завершится ли оно за конечное время

Завершится, если i - целочисленное. Сначала достигнет максимального значения, потом станет минимальным (0 или отрицательное число). Затем будет повышаться пока не будет 0, если отрицательным было. А потом while(0) => выход.

Например, вот такая программа исполняется у меня за почти 2 секунды:

<code>

#include <stdio.h>

int main() {

char i = 1;

while (i++) printf("i=%d\n",i);

return 0;

}

</code>

Если тип переменной изменить на другой целочисленный, программа опять же выполнится, только времени на это уйдёт значительно больше. С float - тёмный лес.

не char i, а short i - за 2 секунды пробегает. char i - за 0.05 секунд, ошибся.

Это был условный код.
Машина бесконечной производительности, а тип -- произвольное целое (т.е. хоть 10^(10^1000))

Есть ли среди высокоглубокоуважаемых аналитиков математики? Что они могут сказать про "доказательство о трех частях"? Подтвердил ли это доказательство еще кто-нибудь, кроме автора статей?

Поясню, прочел страницу обсуждения №1 - она, как понимаю, была посвящена "perl-RIP", и страницу №9 - в ней шло обсуждение говна, соплей и интеллектуальных импотентов. А вот по теме что-то практически ничего и не было.