Перевод с двойным отрицанием
- Интуиционистская логика использует отрицания, отличные от классической логики.
- Перевод формул с двойным отрицанием используется в интуиционистской логике для изучения взаимосвязи между теориями.
- Гедель использовал перевод с двойным отрицанием для изучения взаимосвязи между классической и интуиционистской теориями натуральных чисел.
- Арифметика Пеано является Π02-консервативной по сравнению с арифметикой Хейтинга благодаря использованию перевода с двойным отрицанием.
Полный текст статьи:
Перевод с двойным отрицанием — Википедия
Похожие статьи:
- Антисемитизм в Консервативной партии Великобритании – Arc.Ask3.Ru Оглавление1 Антисемитизм в Британской консервативной партии1.1 История антисемитизма1.2 Современные проявления антисемитизма1.3 Примеры антисемитизма1.4 Антисемитизм в политике1.5...
- Алгебра Гейтинга Алгебра Хейтинга Алгебры Хейтинга – это полные решетки с операциями ∧, ∨, ¬, → и константами...
- Мой бой на английском языке Оглавление1 Майн Кампф на английском языке1.1 История переводов “Майн кампф”1.2 Сокращение от Дагдейла1.3 Продажи и роялти1.4...
- Множественное гражданство Оглавление1 Множественное гражданство1.1 Определение множественного гражданства1.2 Права и обязанности множественного гражданства1.3 История множественного гражданства1.4 Развитие законодательства1.5...
- Аксиомы Пеано Оглавление1 Аксиомы Пеано1.1 Основы арифметики Пеано1.2 Непротиворечивость и финитизм1.3 Арифметика Пеано как теория первого порядка1.4 Эквивалентные...
- Статистический машинный перевод Оглавление1 Статистический машинный перевод1.1 История и развитие машинного перевода1.2 Статистический машинный перевод1.3 Преимущества и недостатки SMT1.4...
- Мобильный перевод Оглавление1 Мобильный перевод1.1 История и развитие мобильного перевода1.2 Технические аспекты и приложения1.3 Особенности и функции1.4 Поддержка...
- Машинный перевод на основе перевода Оглавление1 Машинный перевод на основе перевода1.1 Основы машинного перевода на основе перевода1.2 Дизайн и методы работы1.3...
- Кривая Пеано Кривая Пеано Кривая Пеано – первый пример заполняющей пространство кривой, открытый Джузеппе Пеано в 1890 году. ...
- Дословный перевод Буквальный перевод Буквальный перевод текста выполняется путем перевода каждого слова отдельно без учета их использования в...
- Интернационал – Arc.Ask3.Ru Оглавление1 Международный1.1 История создания “Интернационала”1.2 Текст песни1.3 Авторство и копирайтинг1.4 Переводы1.5 История перевода “Интернационала” на русский...
- Консервативная революция – Arc.Ask3.Ru Оглавление1 Консервативная революция1.1 Консервативная революция1.2 Истоки и идеология1.3 Отношения с нацизмом1.4 Влияние и наследие1.5 Название и...
- Консервативная революция Оглавление1 Консервативная революция1.1 Консервативная революция1.2 Истоки и идеология1.3 Отношения с нацизмом1.4 Влияние и наследие1.5 Название и...
- История консерватизма в США Оглавление1 История консерватизма в Соединенных Штатах1.1 История консерватизма в США1.2 Основные принципы американского консерватизма1.3 Различия с...
- Перевод Оглавление1 Перевод1.1 Основные принципы перевода1.2 Культурные и языковые различия1.3 Бессубъектность в китайском переводе1.4 Арабский перевод и...
- Компьютерный перевод Оглавление1 Компьютерный перевод1.1 Основы автоматизированного перевода1.2 Инструменты CAT1.3 Память переводов1.4 Языковые поисковые системы1.5 Управление терминологией1.6 Выравнивание...
- Интуиционистская логика Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является...
- Джузеппе Пеано Джузеппе Пеано Джузеппе Пеано – итальянский математик, основатель математической логики и аксиоматизации математики. Пеано начал свою...
- Машинный перевод Оглавление1 Машинный перевод1.1 Основы машинного перевода1.2 История и развитие1.3 Применение и ограничения1.4 Оценка качества2 Машинный перевод...
- Синтаксически-ориентированный перевод Оглавление1 Синтаксически ориентированный перевод1.1 Основы синтаксически ориентированного перевода1.2 Работа синтаксически ориентированного перевода1.3 Синтаксически ориентированная схема перевода1.4...
- Нейронный машинный перевод Google Оглавление1 Нейронный машинный перевод Google1.1 Обзор Google Neural Machine Translation (GNMT)1.2 История и развитие1.3 Оценка и...
- Машинный перевод на основе примеров Оглавление1 Машинный перевод на основе примеров1.1 Основы машинного перевода на основе примеров (EBMT)1.2 История и применение1.3...