Cтраница 2
Известная вторая теорема Геделя ( см. Метатеория) показывает, что для решения этой проблемы необходим выход за пределы ( соответствующей) теории множеств. [16]
Поэтому в связи с каждым утверждением метатеории следует отдавать отчет в том, какими средствами это утверждение доказывается. Такими же финитными средствами доказывается теорема о дедукции. [17]
Особо важный метод исследования массовой коммуникации в метатеории коммуникации - системно-теоретический анализ, состоящий из четырех уровней. [18]
Геделя о неполноте - см. Полнота дедуктивная, Метатеория) понятие истинности предложения такой теории, так же как и множество всех ее истинных предложений, неопределимо в самой этой теории. [19]
МЕТАЯЗЫК - логико-математический язык, используемый для формулировки метатеории. [20]
Тернер резко осуждает, но не отвергает этот вид метатеории. [21]
Теоремы 9.1 - 9.3 являются одними из важнейших теорем метатеории элементарных формализованных теорий. [22]
Теоремы 9.1 - 9.3 являются одними из важнейших теорем метатеории элементарных формализованных теорий. [23]
Металогика, Метаязык) и содержательны-м н метатеоретпческимн ( см. Метатеория) отношениями, также - местными; важными примерами являются соответствие между двухместной О. [24]
Наряду с этим каждой науке соответствует явно или неявно выраженная, метанаука ( метатеория), которая изучает структуру и методы данной области знания, ее взаимосвязи с другими науками и практической деятельностью человека. [25]
Хотя математические теории, основанные на неклассических логиках, не имеют большого значения для математики61), метатеория некоторых неклассических формализованных теорий представляет интерес ввиду ее связи с топологией и теорией решеток. [26]
В принципе, при условии линейного рассмотрения каждый следующий этап в отношении к предыдущему способен выступать в роли метатеории. С учетом требования выразительного богатства метаязыка блок-схема ПНИ позволяет работать на развитие Мл-прототипа ОБ как семиотической СМ. Таким образом, каждый из этапов блок-схемы ПНИ как мета - Т - конструкции доступен для применения соответствующих аналитических средств. Кроме того, каждый из этих этапов интерпретируется дополнительно как особый этап Восхождения. Так устанавливается сеть отображений ОБ, участвующих в развитии Мл-прототипа, между которыми разворачиваются Пр установления соответствий. [27]
Роль теории библиографии осмысливается Д. Ю. Тепловым следующим образом: В настоящее время общепризнано, что у каждой науки существует или должна существовать своя теория - метатеория. Успешно развиваются такие дисциплины, как метаматематика, метахи-мия, аналогично этому вполне уместно вместо теории библиографии говорить о метабиблиографии. [28]
Следуя идущей-от Гильберта традиции, метаматематику, в отличие от металогики, часто понимают в более узком смысле, чем тот, к-рый следует из очерченной выше концепции метатеории; именно к метаматематике иногда причисляют лишь вопросы с и п-таксиса предметной математической теории, выделяя семантику в качество самостоят, области исследования. [29]
Если рассматривать картину полностью, то имеются три отдельные и отличные друг от друга теории: ( а) содержательная ( informal) теория, формализацией которой служит формальная система, ( Ь) формальная система или предметная теория и ( с) метатеория, в которой описывается и изучается эта формальная система. [30]