Категорії як формальні моделі обчислень

Анотація

Розглядаються різні формальні моделі обчислень. Зокрема, рекурсивні функції, нечіткі моделі та категорні моделі. Показано, як обчислюються функції на основі таких моделей. В кожній з цих моделей вводиться поняття числа та основні арифметичні операції. Робиться висновок про те, що розглянуті формальні моделі обчислень можна моделювати в рамках тих чи інших категорій і будувати абстрактну теорію обчислюваності і відповідні мови програмування на категорній основі. Тобто мова йде про створення універсальної мови програмування на якій можна було б описувати задачі з різних предметних областей шляхом їх інтерпретації у відповідних категоріях з подальшим використанням універсального категорного апарату для їх розв’язання. Така мова повинна бути орієнтована на наукові задачі.