- ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ
название формальной аксиоматич. теории, специально предназначенной для формализации (точного описания доказательств) математич. анализа. При этом формальную аксиоматич. теорию стараются выбирать по возможности минимальной по своим дедуктивным и выразительным возможностям, но все же достаточной для формализации всего традиционного материала математич. анализа.
Наиболее распространенный вариант Ф. м. а., принадлежащий Д. Гильберту (D. Hilbert) и П. Бернайсу (P. Bernays; см. [1]). можно описать следующим образом. К языку классич. арифметики формальной добавляется новый вид переменных X, Y, Z, . . ., к-рые рассматриваются как пробегающие множества натуральных чисел. Добавляется новый вид атомарных формул:("t принадлежит множеству <
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Смотреть что такое "ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ" в других словарях:
анализ и синтез — АНАЛИЗ И СИНТЕЗ. Анализ (от греч. analysis разложение, расчленение) реальное или мысленное разложение объекта на компоненты; синтез (от греч. sythesis соединение, сочетание) реальное или мысленное объединение этих компонентов в целостный… … Энциклопедия эпистемологии и философии науки
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
П:М — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия … Википедия
Портал:Математика — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия … Википедия
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия
Кратность (критической точки) — У этого термина существуют и другие значения, см. Кратность. Кратность критической точки гладкой функции размерность так называемой локальной алгебры градиентного отображения. Пусть гладкая функция от … Википедия
Ряд Тейлора — Ряд Тейлора разложение функции в бесконечную сумму степенных функций. Ряд назван в честь английского математика Брука Тейлора, хотя ряд Тейлора был известен задолго до публикаций Тейлора его использовали ещё в XVII веке Грегори, а… … Википедия
Греция — I Греция Древняя, Эллада (греч. Hellás), общее название территории древнегреческих государств, занимавших Ю. Балканского полуострова, острова Эгейского моря, побережье Фракии, западную береговую полосу Малой Азии и распространивших своё… … Большая советская энциклопедия