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

  • 1ДОКАЗУЕМОСТЬ — ДОКАЗУЕМОСТЬ, доказуемости, мн. нет, жен. (книжн.). отвлеч. сущ. к доказуемый. Доказуемость теоремы. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …

    Толковый словарь Ушакова

  • 2доказуемость — см. доказуемый; и; ж. Доказу/емость теоремы. Доказу/емость вины …

    Словарь многих выражений

  • 3Паскалева геометрия — или геометрия с коммутативным умножением геометрия плоскости, построенной над полем. Название этой геометрии связано с тем, что в ней справедлива теорема Паппа, которая является частным случаем теоремы Паскаля. Паскалева геометрия плоскости может …

    Википедия

  • 4доказу́емость — и, ж. Свойство по знач. прил. доказуемый. Доказуемость теоремы …

    Малый академический словарь

  • 5ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …

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

  • 6Теорема Лёба — Теорема Лёба  теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году. Теорема Лёба гласит, что во всякой теории, включающей аксиоматику… …

    Википедия

  • 7ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …

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

  • 8НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …

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

  • 9Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …

    Большая советская энциклопедия

  • 10ПАСКАЛЕВА ГЕОМЕТРИЯ — геометрия плоскости, построенной над полем (коммутативным телом). Название этой геометрии связано с тем, что в этой геометрии на плоскости выполняется конфигурационное предложение Пап на Паскаля: если точки 1, 3, 5 и 2, 4, 6 соответственно лежат… …

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