метод доказательства теоремы

  • 31МЕТРИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ — раздел теории чисел, в к ром изучаются и метрически (т. е. на основе теории меры )характеризуются множества чисел, обладающих определенными арифметич. свойствами. М. т. ч. тесно связана с теорией вероятностей, что иногда дает возможность… …

    Математическая энциклопедия

  • 32Чебышев, Пафнутий Львович — (родился 14 мая 1821 года умер 26 ноября 1894 года в Петербурге) ординарный академик Императорской Академии Наук, действительный тайный советник. П. Л. Чебышев, профессор императорского С. Петербургского университета Тайный советник, доктор… …

    Большая биографическая энциклопедия

  • 33ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …

    Философская энциклопедия

  • 34Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …

    Википедия

  • 35Функция распределения простых чисел — В математике функция распределения простых чисел или пи функция   это функция равная числу простых чисел, меньше либо равных действительному числу x.[1][2] Она обозначается (это никак не связано с числом пи) …

    Википедия

  • 36ВЕРОЯТНОСТЕЙ ТЕОРИЯ — раздел математики, в к ром строят и изучают матем. модели случайных явлении. Случайность присуща в той или иной степени подавляющему большинству протекающих в природе процессов. Обычно она присутствует там, где существ. влияние на ход процесса… …

    Физическая энциклопедия

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

    Математическая энциклопедия

  • 38КВАНТОВАЯ ТЕОРИЯ ПОЛЯ — теория релятивистских квантовых систем. Возникновение К. т. п. связано с задачами о взаимодействии вещества с излучением и с попытками построения релятивистской квантовой механики [П. Дирак (P.A.M. Dirac, 1927), В. Гейзенберг (W. Heisenberg), В.… …

    Математическая энциклопедия

  • 39Лауреаты Сталинской премии в области науки (1946 - 1952) — Лауреаты Сталинской премии в области науки Основные статьи: Лауреаты Сталинской премии в области науки, Лауреаты Сталинской премии за выдающиеся изобретения Содержание 1 Список лауреатов 1.1 1941 …

    Википедия

  • 40Лауреаты Сталинской премии в области науки (1946—1952) — Лауреаты Сталинской премии в области науки Основные статьи: Лауреаты Сталинской премии в области науки, Лауреаты Сталинской премии за выдающиеся изобретения Содержание 1 Список лауреатов 1.1 1941 1.2 1942 …

    Википедия