Рекурсивные функции
61Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ …
62Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
63Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
64Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
65Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …
66Рекурсивный — (от лат. recursio возвращение) возвращающий к прошлому, к предшествующему; рекурсивные функции функции, значения которых для данного аргумента вычисляются с помощью значений для предшествующих аргументов. В 1931 году австрийский математик и логик …
67Мальцев, Анатолий Иванович — [р. 14 (27) ноября 1909] сов. математик, акад. (с 1958, чл. корр. с 1953). Засл. деят. науки РСФСР (1956). Деп. Верх. Совета СССР 4 5 го созывов. В 1931 окончил Моск. ун т. С 1932 работает в Иванов. педагогич. ин те (с 1943 проф.). Одновременно… …
68Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… …
69Конструктивные объекты — объекты, рассмотрение которых и оперирование с которыми не связаны с принятием более сильных абстракций бесконечности, чем абстракция потенциальной осуществимости, состоящая в отвлечении от практических границ наших возможностей при… …
70Мальцев Анатолий Иванович — [14(27). 11.1909, ныне посёлок Мишеронский Шатурского района Московской области, ‒ 7.7.1967, Новосибирск], советский математик, академик АН СССР (1958; член корреспондент 1953). Окончил МГУ (1931). В 1932‒60 работал в Ивановском педагогическом… …
