метод доказательства теоремы
71Метаматематика — Метаматематика  раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …
72Лакатос, Имре — Имре Лакатос венг. Imre Lakatos …
73Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …
74АЛГЕБРАИЧЕСКАЯ ПОВЕРХНОСТЬ — двумерное алгебраическое многообразие. Вместе с алгебраическими кривыми А. п. представляют собой наиболее изученный класс алгебраич. многообразий. Богатство задач и идей, применяемых для их решения, делает теорию А. п. одним из самых интересных… …
75Чисел теория — наука о целых числах. Понятие целого числа (См. Число), а также арифметических операций над числами известно с древних времён и является одной из первых математических абстракций. Особое место среди целых чисел, т. е. чисел..., 3 …
76ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …
77ФУНКЦИЙ ТЕОРИЯ — раздел математики, занимающийся изучением свойств различных функций. Теория функций распадается на две области: теорию функций действительного переменного и теорию функций комплексного переменного, различие между которыми настолько велико, что… …
78ЧИСЕЛ ТЕОРИЯ — раздел чистой математики, занимающийся изучением целых чисел 0, ±1, ±2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. Отдельные вычисления, производимые над конкретными числами, например, 9 + 16 = 25, не… …
79Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …
80Теорема сходимости перцептрона — Теорема сходимости перцептрона  это теорема описанная и доказанная Ф. Розенблаттом (с участием Блока, Джозефа, Кестена и других исследователей, работавших вместе с ним). Она показывает, что элементарный перцептрон, обучаемый по методу… …
