Heyting

/ˈheɪtɪŋ/

Перевод слова "heyting" на Русский язык

Существительное

/ˈheɪtɪŋ/

heyting

heytings множ.

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

Heyting algebras are used in the study of intuitionistic logic.

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

Существительное

/ˈheɪtɪŋ/

A surname of Dutch origin.

The Heyting family has a long history in the Netherlands.

Прилагательное

/ˈ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.

Собственное существительное

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

Heyting introduced an algebraic semantics for intuitionistic logic.