Heyting

Übersetzung von "heyting" ins Russisch

Substantiv

/ˈheɪtɪŋ/

heyting

heytings Pl.

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

Heyting algebras are used in the study of intuitionistic logic.

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

Substantiv

/ˈheɪtɪŋ/

A surname of Dutch origin.

The Heyting family has a long history in the Netherlands.

Adjektiv

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

Eigenname

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

Heyting introduced an algebraic semantics for intuitionistic logic.