Конструктивная математика

[serj_aleks]

Click to view

В основе конструктивной математики «жёсткие алгоритмические схемы», если можно так сказать, «без дураков». Направление не ширко разрабатывалось, не получило развитие, видимо по политическим причинам, как и тот же РЕФАЛ, но основная философия сама по себе «убийственная», «чистая методология». В принципе, в некоторой форме поддерживается стронниками «автоматного подхода» и их можно рассматривать «под одним соусом». Основной точкой входа в тему является, конечно же, определение нормального алгоритма.

METANET