Kapuzás, Kiadó

Arend Geyting ( hollandul  Arend Heyting ; 1898. május 9. , Amszterdam  - 1980. július 9. , Lugano ) – holland matematikus és logikus , L. E. Ya. Brouwer tanítványa és követője , a Holland Tudományos Akadémia tagja. Az Amszterdami Egyetemen szerzett diplomát ( 1922 ). Ott dolgozott ( 1948  - tól professzor ). A kutatásokat a matematika alapjainak szentelik. Az intuicionizmus egyik legkiemelkedőbb képviselője Brouwer után publikált egy munkát, amely felvázolta az intuíciós propozicionális logika formális szabályait . Az intuicionista logika a matematikai logika részévé vált .

Lásd még

• Hármas logika
• intuicionista logika
• matematikai logika
• modális logika
• Kategorikus szillogizmus

Linkek

• Új Filozófiai Enciklopédia
• Életrajz Kapukölcsönzés
• Rent Gayting  – nyárias

Irodalom

• Geyting A. Intuicionizmus: Per. angolról. 1965. 200 p.
• Geyting A. Harminc évvel később // Matematikai logika és alkalmazásai. M., 1965. S. 225.
• Geyting A. A matematika alapjaival kapcsolatos kutatások áttekintése. M., 1936

Jegyzetek

1. ↑ 1 2 3 4 MacTutor Matematikatörténeti archívum
2. ↑ 1 2 Arend Heyting // Brockhaus Encyclopedia  (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
3. ↑ Arend Heijting // Biografisch Portaal - 2009.
4. ↑ 1 2 3 4 5 6 Album Academicum - 2007.
5. ↑ Matematikai genealógia  (angol) - 1997.

Tematikus oldalak	Matematikai genealógia zbMATH Nyitva Archívum a matematika történetéhez MacTutor
Szótárak és enciklopédiák	horvát Britannica (online) Brockhaus Treccani
Bibliográfiai katalógusokban BIBSYS: 90226654 BNC : a10100404 BNF : 123086774 BPN : 64214067 CiNii : DA00234624 CONOR : 146305635 GND : 1027693091 ISNI : 0000 0001 0855 5789 J9U : 987007279140305171 LCCN : n80006204 LNB : 000086689 NKC : mzk2015869227 NTA : 068357044 NUKAT : n01046091 SUDOC : 027663426 VIAF : 17289656 World Cat VIAF : 17289656