#Аксиоматические методыАксиоматические методыИсследуйте Области знанийУ нас представлены тысячи статейТегАксиоматические методыАксиоматические методыНайденo 4 статьиНаучные законы, утверждения, уравненияНаучные законы, утверждения, уравнения Тезис ЧёрчаТе́зис Чёрча, принцип, согласно которому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. Тезис Чёрча – это естественнонаучный факт, подтверждаемый опытом, накопленным в математике за всю её историю. Все известные в математике примеры алгоритмов удовлетворяют ему. Тезис Чёрча впервые высказан А. Чёрчем (1936).Научные методы исследования Метод формализацииМе́тод формализа́ции, способ получения формальной системы из содержательной математической теории; один из основных методов в теории доказательств. Полученная при этом формальная система уже сама является объектом точного математического изучения (см. Аксиоматический метод).Термины АксиомаАксио́ма, исходное утверждение научной теории, принимаемое без доказательства. Долгое время считалось, что аксиомами должны быть утверждения, истинность которых либо очевидна, либо надёжно установлена экспериментально. Однако начиная с 19 в. стали появляться теории, аксиомы которых требовали обоснования или подтверждения теориями, развитыми на их основе. Таковы, например, геометрия Лобачевского и квантовая механика. В формальной аксиоматической теории (в классическом гильбертовом понимании) аксиомы выражаются формулами и делятся на логические и математические.Термины Преобразование РадонаПреобразова́ние Радо́на, интегральное преобразование функций от нескольких переменных, родственное преобразованию Фурье. Введено И. Радоном (J. Radon, 1917). С преобразованием Радона непосредственным образом связана задача, восходящая к И. Радону, о восстановлении функции по значениям ее интегралов, вычисленных по всем гиперплоскостям пространства (т. е. задача об обращении преобразования Радона).