Головна
Українська Радянська Енциклопедія
Енциклопедичний словник-довідник з туризму
Юридична енциклопедія - Шемшученко Ю.С.
 
Головна arrow Українська Радянська Енциклопедія arrow тил-тіл arrow ТИПІВ ТЕОРІЯ
   

ТИПІВ ТЕОРІЯ

— спосіб побудови формальної (математичної) логіки, при якому вводиться розрізнення об'єктів різних рівнів (типів); один із способів виключення з логіки і множин теорії парадоксів та антиномій. Вперше Т. т. розвинув нім. математик і логік Е. Шредер, використовував Б. Рассел та ін.

 

Схожі за змістом слова та фрази