ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ

ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ

название формальной аксиоматич. теории, специально предназначенной для формализации (точного описания доказательств) математич. анализа. При этом формальную аксиоматич. теорию стараются выбирать по возможности минимальной по своим дедуктивным и выразительным возможностям, но все же достаточной для формализации всего традиционного материала математич. анализа.
Наиболее распространенный вариант Ф. м. а., принадлежащий Д. Гильберту (D. Hilbert) и П. Бернайсу (P. Bernays; см. [1]). можно описать следующим образом. К языку классич. арифметики формальной добавляется новый вид переменных X, Y, Z, . . ., к-рые рассматриваются как пробегающие множества натуральных чисел. Добавляется новый вид атомарных формул: ("t принадлежит множеству <

Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ" в других словарях:

  • анализ и синтез —         АНАЛИЗ И СИНТЕЗ. Анализ (от греч. analysis разложение, расчленение) реальное или мысленное разложение объекта на компоненты; синтез (от греч. sythesis соединение, сочетание) реальное или мысленное объединение этих компонентов в целостный… …   Энциклопедия эпистемологии и философии науки

  • ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …   Математическая энциклопедия

  • ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… …   Математическая энциклопедия

  • П:М — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия …   Википедия

  • Портал:Математика — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия …   Википедия

  • МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… …   Энциклопедия Кольера

  • Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия

  • Кратность (критической точки) — У этого термина существуют и другие значения, см. Кратность. Кратность критической точки гладкой функции размерность так называемой локальной алгебры градиентного отображения. Пусть гладкая функция от …   Википедия

  • Ряд Тейлора — Ряд Тейлора  разложение функции в бесконечную сумму степенных функций. Ряд назван в честь английского математика Брука Тейлора, хотя ряд Тейлора был известен задолго до публикаций Тейлора  его использовали ещё в XVII веке Грегори, а… …   Википедия

  • Греция — I Греция         Древняя, Эллада (греч. Hellás), общее название территории древнегреческих государств, занимавших Ю. Балканского полуострова, острова Эгейского моря, побережье Фракии, западную береговую полосу Малой Азии и распространивших своё… …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»