Arend Heyting

Summary

Arend Heyting is a human^[1]. Born in Amsterdam^[2], he… he was born on May 9, 1898^[3]. He passed away in Lugano^[4]. He died on July 9, 1980^[5]. He worked as a mathematician^[6], university teacher^[7], and logician^[8]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (70 views/month, #7,267 of 1,000,298).^[9]

Key Facts

• Born in Amsterdam^[2], Arend Heyting…
• Arend Heyting died in Lugano^[4].
• Arend Heyting was born on May 9, 1898^[3].
• Arend Heyting died on July 9, 1980^[5].
• Arend Heyting held citizenship in Kingdom of the Netherlands^[10].
• Dutch was Arend Heyting's native language^[11].
• Arend Heyting worked as a mathematician^[6].
• Arend Heyting worked as a university teacher^[7].
• Arend Heyting worked as a logician^[8].
• Arend Heyting's field of work was mathematics^[12].
• Arend Heyting's field of work was logic^[13].
• Arend Heyting was employed by University of Amsterdam^[14].
• Arend Heyting was employed by University of Amsterdam^[15].
• Among Arend Heyting's employers was University of Amsterdam^[16].
• Arend Heyting was employed by Enschede Municipal Lyceum^[17].
• Arend Heyting was educated at University of Amsterdam^[18].
• Arend Heyting's doctoral advisor was Luitzen Egbertus Jan Brouwer^[19].
• A notable work attributed to Arend Heyting is Heyting algebra^[20].
• A notable work attributed to Arend Heyting is Brouwer–Heyting–Kolmogorov interpretation^[21].
• A notable work attributed to Arend Heyting is complete Heyting algebra^[22].
• A notable work attributed to Arend Heyting is Heyting field^[23].
• A notable work attributed to Arend Heyting is Heyting arithmetic^[24].
• A notable work attributed to Arend Heyting is free Heyting algebra^[25].
• Arend Heyting was a member of Royal Netherlands Academy of Arts and Sciences^[26].
• Arend Heyting is recorded as male^[27].

Body

Origins and Family

Born in Amsterdam^[2], Arend Heyting… he was born on May 9, 1898^[3]. Dutch was his native language^[11].

Education

Arend Heyting's education included a stint at University of Amsterdam^[18]. His doctoral advisor was Luitzen Egbertus Jan Brouwer^[19]. Studied under Gerrit Mannoury^[28] and Luitzen Egbertus Jan Brouwer^[29].

Career and Affiliations

Recorded occupations include mathematician^[6], university teacher^[7], and logician^[8]. Fields of work include mathematics^[12], an academic discipline^[30] and logic^[13], a class used in Universal Decimal Classification^[31]. Employers include University of Amsterdam^[14], a university^[32], in Netherlands^[33], founded in 1632^[34], headquartered in Amsterdam^[35] and Enschede Municipal Lyceum^[17], a school^[36], in Netherlands^[37]. Doctoral students include Anne Sjerp Troelstra^[38], a mathematician^[39], 1939–2019^[40], of Kingdom of the Netherlands^[41], awarded the Friedrich L. Bauer Prize^[42], specialised in mathematics^[43]; Dirk van Dalen^[44], a mathematician^[45], b. 1932^[46], of Kingdom of the Netherlands^[47], awarded the Akademiepenning^[48], specialised in history of science^[49]; Christopher G. Gibson^[50], a mathematician^[51], b. 1940^[52], specialised in mathematics^[53]; Bob van Rootselaar^[54], a mathematician^[55], 1927–2006^[56], of Kingdom of the Netherlands^[57], specialised in pure mathematics^[58]; Jan Johann Albinn Mooij^[59], a poet^[60], 1929–2019^[61], of Kingdom of the Netherlands^[62], specialised in literary studies^[63]; and J. J. W. Berghuys^[64].

Works and Contributions

Notable works include Heyting algebra^[20], a mathematical concept^[65]; Brouwer–Heyting–Kolmogorov interpretation^[21], a mathematical concept^[66]; complete Heyting algebra^[22], a mathematical concept^[67]; Heyting field^[23], a mathematical concept^[68]; Heyting arithmetic^[24]; and free Heyting algebra^[25]. Things named for Arend Heyting include Heyting algebra^[69], a mathematical concept^[70]; Brouwer–Heyting–Kolmogorov interpretation^[71], a mathematical concept^[72]; and Heyting arithmetic^[73], a scientific theory^[74].

Death and Burial

Arend Heyting died on July 9, 1980^[5]. He died in Lugano^[4].

Why It Matters

Arend Heyting ranks in the top 0.73% of human entities by monthly Wikipedia readership (70 views/month, #7,267 of 1,000,298).^[9] He has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.^[75] He is known by 19 alternative names across languages and contexts.^[76]

Entities named for him include Heyting algebra^[69], a mathematical concept^[70]; Brouwer–Heyting–Kolmogorov interpretation^[71], a mathematical concept^[72]; and Heyting arithmetic^[73], a scientific theory^[74].

His notable doctoral advisees include Dirk van Dalen^[77], a mathematician^[78], b. 1932^[79], of Kingdom of the Netherlands^[80], awarded the Akademiepenning^[81], specialised in history of science^[82] and Anne Sjerp Troelstra^[83], a mathematician^[84], 1939–2019^[85], of Kingdom of the Netherlands^[86], awarded the Friedrich L. Bauer Prize^[87], specialised in mathematics^[88].

FAQs

Where was Arend Heyting born?

Born in Amsterdam^[2], Arend Heyting…

Where did Arend Heyting die?

Arend Heyting passed away in Lugano^[4].

What did Arend Heyting do for work?

Arend Heyting worked as mathematician^[6], university teacher^[7], and logician^[8].

Where did Arend Heyting go to school?

Arend Heyting was educated at University of Amsterdam^[18].