АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ

Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.

Авторы

Коновалов А.Ю.

Тэги

конструктивная семантика абсолютная реализуемость формальная арифметика арифметическая реализуемость примитивно-рекурсивная реализуемость

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

РЕДУКЦИЯ УРАВНЕНИЯ МАТЬЕ К НЕЛИНЕЙНОМУ УРАВНЕНИЮ ПЕРВОГО ПОРЯДКА, ПОЛНЫЕ СИСТЕМЫ ОДНОМЕСТНЫХ ПРЕДИКАТОВ ДЛЯ КЛАССОВ ПОСТА, ...

Резюме по документу**

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И ПРИМИТИВНО-РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ

Помощь:

Участники: