Warning: PHP Request Startup: open(/var/cpanel/php/sessions/ea-php82/sess_65d560edb33fc421411e9d5871cfcfda, O_RDWR) failed: Disk quota exceeded (122) in Unknown on line 0

Warning: PHP Request Startup: Failed to read session data: files (path: /var/cpanel/php/sessions/ea-php82) in Unknown on line 0
Что такое Метатеорема? Значение слова на Synonimizer
Поиск в разделе:

Метатеорема - значение слова

Метатеорема (от мета...), теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории этой теории. Термин «М.» употребляется преимущественно в применении к теоремам об объектах формализованных теорий (т. е. в случае, когда предметная теория является исчислением, или формальной системой). Если М., относящаяся к какому-либо логико-математическому исчислению, доказывается т. н. финитными средствами, ни в какой форме не использующими абстракции актуальной бесконечности, то её относят к метаматематике; таковы, например, теорема о дедукции для исчисления высказываний или исчисления предикатов, теорема Гёделя о неполноте формальной арифметики и более богатых систем (см. Полнота в логике), теорема Чёрча о неразрешимости разрешения проблемы для исчисления предикатов, теорема Тарского о неопределимости предиката истинности для широкого класса исчисл...
Большая Советская Энциклопедия

Относится к: