Список проголосовавших за комментарий "Eskalibur, формализм не нужен, математики не купили это слово. Математики вообще много чего наворочали, никого это ниибет. К примеру, почему я должен называть машиной тьюринга машину Поста с небольшой косметикой? Или, например, каррированием то, что изобрел Шейнфинкель? Срать на термины. Пускай сначала в своей собственной кухне разберуться."