и Чёрч, и Тьюринг открыли, что существует «окончательное» понятие вычислимости, воплощенное в универсальной рекурсивной функции или универсальной машине Тьюринга. это не теорема - это «физическое открытие в метафизической области», которое обосновывается не доказательством, но тем фактом, что все последующие попытки дать альтернативное определение вычислимости приводили к равносильным понятиям. и определение вычислимости содержит в себе элементы невычислимости, которых невозможно избежать никоим образом: рекурсивная функция в общем случае определена не везде, и мы не можем выяснить, где она определена, а где - нет (Мамин)

  • Окасаки
  • Пирс
  • алгоритмы   _1     _2
  • структуры   _1     _2
  • unix-way

  • концепты
  • матрица скилов