Читайте также
3. Непротиворечивость и интервальность
Как бы ни было велико его значение, факт непротиворечивости не следует рассматривать как априорное условие научной ценности теории. Научную ценность могут представлять и противоречивые, но нетривиальные теории. Если в числе теорем
4. Непротиворечивость в ультраинтуиционизме
В связи с темой непротиворечивости и отождествлений нельзя обойти молчанием ультраинтуиционистскую программу обоснования математики{126}, тем более, что она является российским приоритетом.Появлению этой программы
5. Непротиворечивость и “собственный универсум” логики
Теперь, в связи с проблемой непротиворечивости и практикой отождествлений, я хочу сделать несколько замечаний к понятию “предметная область” (или “универсум рассуждения”){134}, поскольку эта тема является одной из
§ 5. Независимость и непротиворечивость аксиом
Теперь нам необходимо рассмотреть вопросы, связанные с набором аксиом. Каковы существенные и желательные свойства, которыми должен обладать набор аксиом?1. Аксиомы исследуются с учетом имплицируемых ими суждений.
ГЛАВА IV: Непротиворечивость, полнота и геометрия
Смысл явный и неявныйВ главе II мы видели пример того, как смысл — по крайней мере, в относительно простом контексте формальных систем — рождается из изоморфизма между управляемыми правилами символами и вещами реального
Непротиворечивость системы управления Вселенной
Необходимо объяснить вопрос, связанный с тем, как сочетаются обе модели управления, с точки зрения, свободы действия локальных центров Вселенной (Личности, Я).Каждое «Я» — это новое направление развития Вселенной,