Arend Heyting

Dutch mathematician and logician (1898-1980)
Person human Q641771
Press Enter · cited answer in seconds

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] and university teacher[7]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (106 views/month, #7,267 of 1,000,298).[8]

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[9].
  • Dutch was Arend Heyting's native language[10].
  • Arend Heyting worked as a mathematician[6].
  • Arend Heyting worked as a university teacher[7].
  • Arend Heyting's field of work was mathematics[11].
  • Arend Heyting's field of work was logic[12].
  • Among Arend Heyting's employers was University of Amsterdam[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 Enschede Municipal Lyceum[16].
  • Arend Heyting was educated at University of Amsterdam[17].
  • Arend Heyting's doctoral advisor was Luitzen Egbertus Jan Brouwer[18].
  • A notable work attributed to Arend Heyting is Heyting algebra[19].
  • A notable work attributed to Arend Heyting is Brouwer–Heyting–Kolmogorov interpretation[20].
  • A notable work attributed to Arend Heyting is complete Heyting algebra[21].
  • A notable work attributed to Arend Heyting is Heyting field[22].
  • A notable work attributed to Arend Heyting is Heyting arithmetic[23].
  • A notable work attributed to Arend Heyting is free Heyting algebra[24].
  • Arend Heyting was a member of Royal Netherlands Academy of Arts and Sciences[25].
  • Arend Heyting is recorded as male[26].
  • Arend Heyting's instance of is recorded as human[27].

Body

Origins and Family

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

Education

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

Career and Affiliations

Recorded occupations include mathematician[6] and university teacher[7]. Fields of work include mathematics[11], an academic discipline[30] and logic[12], a class used in Universal Decimal Classification[31]. Employers include University of Amsterdam[13], a university[32], in Netherlands[33], founded in 1632[34], headquartered in Amsterdam[35] and Enschede Municipal Lyceum[16], 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[19], a mathematical concept[65]; Brouwer–Heyting–Kolmogorov interpretation[20], a mathematical concept[66]; complete Heyting algebra[21], a mathematical concept[67]; Heyting field[22], a mathematical concept[68]; Heyting arithmetic[23]; and free Heyting algebra[24]. 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 (106 views/month, #7,267 of 1,000,298).[8] He has Wikipedia articles in 15 language editions, a strong signal of global cultural recognition.[75] He is known by 11 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 Anne Sjerp Troelstra[77], a mathematician[78], 1939–2019[79], of Kingdom of the Netherlands[80], awarded the Friedrich L. Bauer Prize[81], specialised in mathematics[82] and Dirk van Dalen[83], a mathematician[84], b. 1932[85], of Kingdom of the Netherlands[86], awarded the Akademiepenning[87], specialised in history of science[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] and university teacher[7].

Where did Arend Heyting go to school?

Arend Heyting was educated at University of Amsterdam[17].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] . Integrated Authority File. Retrieved . wikidata.org.
  2. [4] . Integrated Authority File. Retrieved . wikidata.org.
  3. [26] . BnF authorities. Retrieved . wikidata.org.
  4. [9] . Retrieved . wikidata.org.
  5. [27] . BnF authorities. Retrieved . wikidata.org.
  6. [17] . MacTutor History of Mathematics archive. wikidata.org.
  7. [11] . Czech National Authority Database. Retrieved . wikidata.org.
  8. [12] . Czech National Authority Database. Retrieved . wikidata.org.
  9. [10] . wikidata.org.
  10. [6] . wikidata.org.
  11. [7] . wikidata.org.
  12. [13] . Album Academicum. Retrieved . wikidata.org.
  13. [14] . Album Academicum. Retrieved . wikidata.org.
  14. [15] . Album Academicum. Retrieved . wikidata.org.
  15. [16] . MacTutor History of Mathematics archive. wikidata.org.
  16. [18] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  17. [38] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  18. [44] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  19. [50] . Mathematics Genealogy Project. wikidata.org.
  20. [54] . Mathematics Genealogy Project. wikidata.org.
  21. [59] . Mathematics Genealogy Project. wikidata.org.
  22. [64] . Mathematics Genealogy Project. wikidata.org.
  23. [25] . wikidata.org.
  24. [3] . Integrated Authority File. Retrieved . wikidata.org.
  25. [5] . Integrated Authority File. Retrieved . wikidata.org.
  26. [19] . wikidata.org.
  27. [20] . wikidata.org.
  28. [21] . wikidata.org.
  29. [22] . wikidata.org.
  30. [23] . wikidata.org.
  31. [24] . wikidata.org.
  32. [28] . MacTutor History of Mathematics archive. wikidata.org.
  33. [29] . Stanford Encyclopedia of Philosophy. wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [77] . wikidata.org. → on this site
  2. [83] . wikidata.org. → on this site
  3. [69] . wikidata.org. → on this site
  4. [71] . wikidata.org. → on this site
  5. [73] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [30] . Wikidata. wikidata.org. → on this site
  2. [31] . Wikidata. wikidata.org. → on this site
  3. [32] . Wikidata. wikidata.org. → on this site
  4. [33] . Wikidata. wikidata.org. → on this site
  5. [34] . Wikidata. wikidata.org. → on this site
  6. [35] . Wikidata. wikidata.org. → on this site
  7. [36] . Wikidata. wikidata.org. → on this site
  8. [37] . Wikidata. wikidata.org. → on this site
  9. [39] . Wikidata. wikidata.org. → on this site
  10. [40] . Wikidata. wikidata.org. → on this site
  11. [41] . Wikidata. wikidata.org. → on this site
  12. [42] . Wikidata. wikidata.org. → on this site
  13. [43] . Wikidata. wikidata.org. → on this site
  14. [45] . Wikidata. wikidata.org. → on this site
  15. [46] . Wikidata. wikidata.org. → on this site
  16. [47] . Wikidata. wikidata.org. → on this site
  17. [48] . Wikidata. wikidata.org. → on this site
  18. [49] . Wikidata. wikidata.org. → on this site
  19. [51] . Wikidata. wikidata.org. → on this site
  20. [52] . Wikidata. wikidata.org. → on this site
  21. [53] . Wikidata. wikidata.org. → on this site
  22. [55] . Wikidata. wikidata.org. → on this site
  23. [56] . Wikidata. wikidata.org. → on this site
  24. [57] . Wikidata. wikidata.org. → on this site
  25. [58] . Wikidata. wikidata.org. → on this site
  26. [60] . Wikidata. wikidata.org. → on this site
  27. [61] . Wikidata. wikidata.org. → on this site
  28. [62] . Wikidata. wikidata.org. → on this site
  29. [63] . Wikidata. wikidata.org. → on this site
  30. [65] . Wikidata. wikidata.org. → on this site
  31. [66] . Wikidata. wikidata.org. → on this site
  32. [67] . Wikidata. wikidata.org. → on this site
  33. [68] . Wikidata. wikidata.org. → on this site
  34. [78] . Wikidata. wikidata.org. → on this site
  35. [79] . Wikidata. wikidata.org. → on this site
  36. [80] . Wikidata. wikidata.org. → on this site
  37. [81] . Wikidata. wikidata.org. → on this site
  38. [82] . Wikidata. wikidata.org. → on this site
  39. [84] . Wikidata. wikidata.org. → on this site
  40. [85] . Wikidata. wikidata.org. → on this site
  41. [86] . Wikidata. wikidata.org. → on this site
  42. [87] . Wikidata. wikidata.org. → on this site
  43. [88] . Wikidata. wikidata.org. → on this site
  44. [70] . Wikidata. wikidata.org. → on this site
  45. [72] . Wikidata. wikidata.org. → on this site
  46. [74] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [8] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [75] . Wikidata sitelinks. wikidata.org.
  3. [76] . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Arend Heyting. Retrieved April 10, 2026, from https://4ort.xyz/entity/arend-heyting
MLA “Arend Heyting.” 4ort.xyz Knowledge Graph, 4ort.xyz, 10 Apr. 2026, https://4ort.xyz/entity/arend-heyting.
BibTeX @misc{4ortxyz_arend-heyting_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Arend Heyting}}, year = {2026}, url = {https://4ort.xyz/entity/arend-heyting}, note = {Accessed: 2026-04-10}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Arend Heyting — https://4ort.xyz/entity/arend-heyting (retrieved 2026-04-10)

Canonical URL: https://4ort.xyz/entity/arend-heyting · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 6d ago · Epìdosis · 2026-05-21 view diff on Wikidata ↗
    Occupation mathematician, university teacher
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32119|batch #32119]]: import P21 and P106 from GND (32)"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.