Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2885700 obálek a 870160 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Heyting, Arend

Nahlásit porušení duševního vlastnictví, nebo práva na ochranu soukromí.

Autor: Heyting, Arend
Rok: 1898-1980
Oblast působnosti: matematici

Biogr./Hist. údaje: Nizozemský matematik a logik.
Zdroj: Autoritní databáze Národní knihovny ČR

Arend Heyting

Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles (and went as far as calling Heyting's work a "sterile exercise").In 1942 he became member of the Royal Netherlands Academy of Arts and Sciences.Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

Pro přidání, nebo úpravu fotografie autora se prosím přihlaste: