Метатеорема



  1. Метатеорема

    (от Мета...

    теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория) этой теории.


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



  2. метатеорема

    сущ., кол-во синонимов: 1 теорема 5


    Словарь синонимов русского языка



  3. метатеорема

    орф.

    метатеорема, -ы


    Орфографический словарь Лопатина



  4. Метатеорема

    Утверждение об изучаемой формальной аксиоматич. теории, полученное в рамках определенной метатеории. А. Г. Драгалин.


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



  5. теорема

    сущ., кол-во синонимов: 5 задача 31 лемма 1 метатеорема 1 теоремочка 1 утверждение 30


    Словарь синонимов русского языка



  6. Метатеория

    составляют метатеоремы (См. Метатеорема), или «теоремы о теоремах». Примером синтаксической

    метатеоремы может служить теорема о дедукции, устанавливающая связь между понятием выводимости

    как Формализованный язык, называют семантикой (см. Логическая семантика). Примером семантической метатеоремы

    » его интерпретации, совпадают.

    Многие понятия М. (и относящиеся к ним метатеоремы) носят «смешанный

    теории. Классическим примером метатеоремы, связывающей ряд важнейших синтаксических и семантических


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



  7. Выводимое Правило

    Метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез


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



  8. МЕТАТЕОРИЯ

    понимаемых элементов естественного языка. В ней формулируются метатеоремы – теоремы о теоремах, которые

    Так, была доказана синтаксическая метатеорема о дедукции, которая устанавливает связь между понятием

    семантической метатеоремы является теорема о полноте классического исчисления высказываний, согласно


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



  9. МЕТАЛОГИКА

    метатеоремы о непротиворечивости доказаны для целого ряда логических теорий. В частности, такие теоремы

    для многих теорий часто доказываются метатеоремы об их относительной непротиворечивости: некоторая

    логических, им была доказана метатеорема о неопределимости предиката «истина» логическими средствами


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



  10. Меськов, Валерий Сергеевич

    системы LC и ЛН, адекватные для представления логич. задач квантовой логики; доказана метатеорема


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



  11. АКСИОМАТИЧЕСКИЙ МЕТОД

    метааксиомы и метатеоремы. К, Геде-лем в 1931 была доказана теорема о принципиальной неполноте любой


    Новейший философский словарь



  12. Бочаров, Вячеслав Александрович

    варианта силлогистики; доказана метатеорема о дефинициальной эквивалентности онтологии Лесневского


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



  13. ОПРЕДЕЛИМОСТЬ

    А.Мостовским. Именно с этим кругом понятий существенно связаны метатеоремы об ограниченности формализмов

    теории (метатеорема Тарского).

    Введение понятия K-определимости дает своеобразный единый метод


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



  14. Метаматематика

    эти метатеоремы, строго говоря, не принадлежат к М., в связи с чем их часто относят к металогике

    даже не метатеоремами, а, строго говоря, метаметатеоремами. Из них вытекает неосуществимость «финитистской


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



№2 (2475)№2 (2475)№3 (2404)№3 (2404)№4 (2359)№5 (2354)№6 (2335)№7 (2318)№8 (2316)№9 (2314)№10 (2310)№10 (2310)