WikiDer > Диалектика кеңістігі - Википедия

Dialectica space - Wikipedia

Диалектика кеңістігі болып табылады категориялық модельдерін құру тәсілі сызықтық логика.

Олар таныстырды Валерия де Пайва, Мартин ХиландСтудент өзінің докторлық диссертациясында сызықтық логиканы және модельдеу әдісі ретінде ГодельКеліңіздер диалектика интерпретациясы- сондықтан аты.

Берілген санат C және нақты объект Қ туралы C белгілі бір (логикалық) қасиеттермен Dialectica кеңістігінің санатын құруға болады C, объектілері жұп нысандар болып табылады Cбайланысты C-морфизм берілген объектіге. Dialectica кеңістігінің морфизмдері ұқсас Chu кеңістігі морфизмдер, бірақ теңдік шартының орнына олар а деп оқылатын теңсіздік шартына ие логикалық қорытынды, бірінші объект екінші мағынаны білдіреді.

Әдебиеттер тізімі

  • K. Gödel. «Uber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes - Dialectica», 1958. (Аударма және талдау Жинақталған жұмыстар, II том, Басылымдар, 1937-1974 - басылымдар С. Феферман және басқалар, 1990).
  • В. де Пайва. «Диалектика категориялары». Proc. Информатика және Логика категорияларының категориялары, Боулдер, CO, 1987. Қазіргі математика, 92-том, Американдық математикалық қоғам, 1989 (ред. Дж. Грей және А. Седров)
  • В. де Пайва. «Сызықтық логиканың диалектикаға ұқсас моделі». Жылы Proc. Конф. Санат теориясы және информатика, Спрингер-Верлаг Дәріс туралы Ескерту 389, 341–356 б., Манчестер, 1989 ж. Қыркүйек.