Типтер теориясы

Уикипедия — ашық энциклопедиясынан алынған мәлімет
Навигацияға өту Іздеуге өту

Типтер теориясы – түрлі сатылардағы объектілерді айыру үшін енгізілетін формальдық логиканың құрылу тәсілі. Типтер теориясы есептелу предикаттарының кеңейтілген жүйесі, яғни әр түрлі типтердің айнымалыларын қамтитын аксиоматик. жиын теориясында парадокстар мен антиномияларды болғызбау тәсілдерінің бірі ретінде көрінеді. Алғаш рет типтер теориясын кластар логикасына қолданған Э.Шредер (1890). Типтер теориясының толық жүйесін құрған Рассел – Уайтхайдтың жүйелеуі бойынша бұл теорияның формальды объектілері мынадай типтерге бөлінеді: индивидтер (1 тип), предикаттар (2 тип), предикаттардың предикаты (3 тип), т.б.[1]

Дереккөздер[өңдеу | қайнарын өңдеу]

  1. Қазақ ұлттық энциклопедиясы, 18 том