Коинтерпретируемость

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

Оглавление1 Взаимоинтерпретируемость1.1 Определение коинтерпретируемости1.2 Связь с другими понятиями1.3 Дополнительные сведения1.4 Полный текст статьи:2 Коинтерпретируемость Взаимоинтерпретируемость Определение коинтерпретируемости Коинтерпретируемость – бинарное […]

Logic stubs, Mathematical logic, Mathematical relations, Логические заглушки, Математическая логика, Математические отношения

Взаимоинтерпретируемость

  • Определение коинтерпретируемости

    • Коинтерпретируемость – бинарное отношение между формальными теориями, позволяющее переводить язык одной теории на язык другой. 
    • Перевод сохраняет логическую структуру формул. 

  • Связь с другими понятиями

    • Джапаридзе (1993) доказал эквивалентность коинтерпретируемости и Σ1-консервативности для теорий арифметики Пеано и более сильных теорий с эффективной аксиоматизацией. 

  • Дополнительные сведения

    • Статья содержит ссылки на другие статьи и рекомендации по расширению Википедии. 

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

Коинтерпретируемость

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

  1. Аксиомы Пеано Оглавление1 Аксиомы Пеано1.1 Основы арифметики Пеано1.2 Непротиворечивость и финитизм1.3 Арифметика Пеано как теория первого порядка1.4 Эквивалентные...
  2. Теории заговора 11 сентября Оглавление1 теории заговора 11 сентября1.1 Теории заговора о терактах 11 сентября1.2 Основные теории заговора1.3 Мотивы и...
  3. Кривая Пеано Кривая Пеано Кривая Пеано – первый пример заполняющей пространство кривой, открытый Джузеппе Пеано в 1890 году. ...
  4. Аксиомы Пеано Аксиомы Пеано Аксиомы Пеано определяют натуральные числа и являются основой арифметики.  Аксиомы Пеано были предложены в...
  5. Нестандартная модель арифметики Нестандартная модель арифметики Нестандартная модель арифметики Пеано содержит дополнительные элементы за пределами начального сегмента.  Создание нестандартных...
  6. Биологическая обратная связь – Arc.Ask3.Ru Оглавление1 Биологическая обратная связь1.1 Биологическая обратная связь1.2 История и развитие1.3 Концепция биологической обратной связи1.4 Информационная кодированная...
  7. Джузеппе Пеано Джузеппе Пеано Джузеппе Пеано – итальянский математик, основатель математической логики и аксиоматизации математики.  Пеано начал свою...
  8. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  9. Арамейский – Arc.Ask3.Ru Оглавление1 Арамейский1.1 Происхождение и распространение арамейского языка1.2 Современные разновидности и использование1.3 Лингвистическая классификация и алфавит1.4 Историческое...
  10. Порядковый анализ Оглавление1 Порядковый анализ1.1 Основы арифметики первого порядка1.2 Расширения арифметики первого порядка1.3 Обратная математика и арифметические системы1.4...
  11. Натуральное число Натуральное число Натуральные числа – это числовые объекты, которые используются для счета и упорядочивания.  Они обладают...
  12. Теоретико-множественное определение натуральных чисел Оглавление1 Теоретико-множественное определение натуральных чисел1.1 Определение натуральных чисел1.2 Аксиомы Пеано1.3 Индукция и аксиома бесконечности1.4 Парадокс Рассела...
  13. Эквивалентные определения математических структур Эквивалентные определения математических структур В математике эквивалентные определения используются двумя способами: в рамках конкретной математической теории...
  14. Обратная связь Оглавление1 Feedback1.1 Коллективный интеллект и самоорганизованная критичность1.2 Фазовый переход и агент-ориентированное моделирование1.3 Коллективные действия и критичность1.4...
  15. Timeline of the COVID-19 pandemic in Belarus (2020) – Arc.Ask3.Ru Оглавление1 Timeline of the COVID-19 pandemic in Belarus (2020)1.1 Хронология пандемии COVID-19 в Беларуси1.2 Апрель 20201.3...
  16. Принципы арифметики, объясненные новым методом Оглавление1 Арифметические принципы, раскрытые с помощью нового метода1.1 Основные идеи книги Джузеппе Пеано1.2 Язык и популярность1.3...
  17. Интерпретируемость Оглавление1 Интерпретируемость1.1 Определение интерпретируемости в математической логике1.2 Связь с другими понятиями1.3 Дополнительные ресурсы1.4 Призыв к действию1.5...
  18. Мера Пеано–Жордана Мера Пеано–Джордана Мера Пеано-Жордана расширяет понятие размера на более сложные формы, такие как треугольники, диски и...
  19. Теоремы Гёделя о неполноте Оглавление1 Теоремы Геделя о неполноте1.1 Теорема Геделя о неполноте1.2 Вторая теорема Геделя о неполноте1.3 Условия Гильберта-Бернейса1.4...
  20. Арифметическая иерархия Оглавление1 Арифметическая иерархия1.1 Арифметическая иерархия1.2 Арифметическая иерархия формул1.3 Арифметическая иерархия множеств натуральных чисел1.4 Значение обозначения1.5 Примеры1.6...
  21. Ньиакенг Пуачуэ Хмонг Оглавление1 Ньякенг Пуачуэ Хмонг1.1 Мероитский период1.2 Угаритский язык1.3 Божественный язык1.4 Хангыль1.5 Таана1.6 Адлам1.7 Самаритянский язык1.8 Харошти1.9...
  22. Массачусетский язык Оглавление1 Массачусетский язык1.1 История и возрождение языка1.2 Классификация и взаимоотношения1.3 Особенности и диалекты1.4 Происхождение и названия1.5...

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

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