Search
Now showing items 1-3 of 3
Вокруг теоремы Геделя
(Рига: Зинатне, 1992)
Проведен методологический анализ природы математики.
Показано, что сущность математического метода состоит в исследовании
застывших моделей. Обоснована несостоятельность утверждений об
ограниченности аксиоматического ...
Inductive inference of recursive functions: complexity bounds
(Springer Verlag, 1991)
This survey includes principal results on complexity
of inductive inference for recursively enumerable classes of total
recursive functions. Inductive inference is a process to find an
algorithm from sample computations. ...