свойство аксиоматической теории, состоящее в том, что в этой теории нельзя получить противоречие, т.е. доказать некоторое предложение и вместе с тем его отрицание или доказать некоторое заведомо абсурдное утверждение
Во многих случаях вопрос непротиворечивости аксиоматической теории решается с помощью моделей....
Именно таким способом доказаны непротиворечивость исчисления предикатов и исчисления высказываний....
Теорема 1
Первая теорема Геделя утверждает, что если формальная арифметика непротиворечива, то в...
Теорема 2
Вторая теорема Геделя утверждает, что если формальная арифметика непротиворечива, то в...
ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Рассматривается феномен непротиворечивости знания с точки зрения актуальности культурно-исторического дискурса; эпистемологический релятивизм подтверждает природу «объективности» конституирующих принципов. Способ понимания реальности обеспечивается конкретным методом формирования модели реальности. Непреодолимость границ дискурса обусловлена не объектом восприятия, а нашим возможным восприятием этого объекта. Предполагается, что неотъемлемый элемент и обязательное условие дискурса пресуппозиция.
Своей конечной целью исследователь ставил доказательство непротиворечивости классической математики,...
Полная формализация математики предусматривала ее кристальную чистоту и непротиворечивость, была призвана...
формальной арифметической системы не существует доказательств непротиворечивости, проводимых формализуемыми...
Непосредственным следствием второй теоремы Гёделя является тот факт, что для того, чтобы доказать непротиворечивость...
, то в ней невыводимы обе формулы B и ¬B; иначе говоря, если система S непротиворечива, то она неполна
Выведены формулы (1), (8), (10), (20), (28)-(30), (31). Выполнена интерпретация классических уравнений адсорбции с точки зрения их изоморфного соответствия уравнениям, следующим из универсальной системы математических зависимостей. С использованием понятий статистической физики выведены уравнения для монослойной и полислойной адсорбции, а также общее уравнение изотермы адсорбции. Развиты концепции обобщения силы и мультипликативного линейного пространства.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
соприкасающийся круг
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве
