Перевод с двойным отрицанием

От / / Оставьте комментарий

Перевод с двойным отрицанием Интуиционистская логика использует отрицания, отличные от классической логики.  Перевод формул с двойным отрицанием используется в интуиционистской […]

Intuitionism, Proof theory, Интуиционизм, Теория доказательств

Перевод с двойным отрицанием

  • Интуиционистская логика использует отрицания, отличные от классической логики. 
  • Перевод формул с двойным отрицанием используется в интуиционистской логике для изучения взаимосвязи между теориями. 
  • Гедель использовал перевод с двойным отрицанием для изучения взаимосвязи между классической и интуиционистской теориями натуральных чисел. 
  • Арифметика Пеано является Π02-консервативной по сравнению с арифметикой Хейтинга благодаря использованию перевода с двойным отрицанием. 

Полный текст статьи:

Перевод с двойным отрицанием — Википедия

Похожие статьи:

  1. Алгебра Гейтинга Алгебра Хейтинга Алгебры Хейтинга — это полные решетки с операциями ∧, ∨, ¬, → и константами...
  2. Статистический машинный перевод Статистический машинный перевод История и развитие машинного перевода Машинный перевод (MT) начался с попыток автоматизировать перевод...
  3. Мобильный перевод Мобильный перевод История и развитие мобильного перевода Мобильный перевод был разработан в 1999 году в Японии. ...
  4. Машинный перевод на основе перевода Машинный перевод на основе перевода Основы машинного перевода на основе перевода Машинный перевод на основе перевода...
  5. Дословный перевод Буквальный перевод Буквальный перевод текста выполняется путем перевода каждого слова отдельно без учета их использования в...
  6. Кривая Пеано Кривая Пеано Кривая Пеано — первый пример заполняющей пространство кривой, открытый Джузеппе Пеано в 1890 году. ...
  7. Перевод Перевод Основные принципы перевода Перевод — это процесс передачи смысла текста с одного языка на другой. ...
  8. Компьютерный перевод Компьютерный перевод Основы автоматизированного перевода Автоматизированный перевод (CAT) использует программное обеспечение для помощи переводчикам.  CAT облегчает...
  9. Интуиционистская логика Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств.  Интуиционистская логика является...
  10. Машинный перевод Машинный перевод Основы машинного перевода Машинный перевод (MT) — это процесс перевода текста с одного языка...
  11. Джузеппе Пеано Джузеппе Пеано Джузеппе Пеано — итальянский математик, основатель математической логики и аксиоматизации математики.  Пеано начал свою...
  12. Синтаксически-ориентированный перевод Синтаксически ориентированный перевод Основы синтаксически ориентированного перевода Синтаксически ориентированный перевод управляется синтаксическим анализатором.  Преобразование строки в...
  13. Машинный перевод на основе примеров Машинный перевод на основе примеров Основы машинного перевода на основе примеров (EBMT) EBMT использует двуязычные параллельные...
  14. Нейронный машинный перевод Google Нейронный машинный перевод Google Обзор Google Neural Machine Translation (GNMT) GNMT — система нейронного машинного перевода,...
  15. Семантический перевод Семантический перевод Определение семантического перевода Семантический перевод использует семантику для преобразования данных из одной модели в...
  16. Аксиомы Пеано Аксиомы Пеано Аксиомы Пеано определяют натуральные числа и являются основой арифметики.  Аксиомы Пеано были предложены в...
  17. Свойства дизъюнкции и существования Свойства дизъюнкции и существования Основные свойства интуиционистской логики Интуиционистская логика не имеет закона исключенного третьего.  Интуиционистская...
  18. Машинный перевод на основе правил Машинный перевод на основе правил Основы машинного перевода на основе правил (RBMT) RBMT использует лингвистическую информацию...
  19. Microsoft Translator Переводчик Microsoft Обзор Microsoft Translator Microsoft Translator — это платформа для перевода текста и речи на...
  20. Нейронный машинный перевод Нейронный машинный перевод Нейронный машинный перевод (NMT) использует нейронные сети для перевода текста с одного языка...
  21. Хейтинг Филд Питающее поле Поле Хейтинга — неэквивалентный способ передачи классического понятия поля в конструктивной математике.  Коммутативное кольцо...
  22. Интерпретация Брауэра–Хейтинга–Колмогорова Интерпретация Брауэра–Хейтинга–Колмогорова Интерпретация BHK Интерпретация BHK — это формализация интуиционистской логики, разработанная Брауэром и Хеинрихом.  Она...

Оставьте комментарий

Прокрутить вверх