Heyting

/ˈheɪtɪŋ/

Translation of "heyting" into Russian

Noun

/ˈheɪtɪŋ/

heyting

heytings pl

хейтинговая алгебра

Heyting algebras are used in the study of intuitionistic logic.

Хейтинговые алгебры используются в изучении интуиционистской логики.

Noun

/ˈheɪtɪŋ/

A surname of Dutch origin.

The Heyting family has a long history in the Netherlands.

Adjective

/ˈheɪtɪŋ/

Relating to or characteristic of the Dutch mathematician Arend Heyting or to intuitionistic logic derived from his work.

The proof relies on Heyting logic rather than classical logic.

Proper noun

Arend Heyting (1898–1980), a Dutch mathematician and logician noted for formalizing intuitionistic logic.

Heyting introduced an algebraic semantics for intuitionistic logic.