Stephen Cole Kleene

American mathematician and theoretical computer scientist (1909–1994)
Person human Q335148
Press Enter · cited answer in seconds

Stephen Cole Kleene

Summary

Stephen Cole Kleene is a human[1]. His place of birth was Hartford[2]. He was born on January 5, 1909[3]. He died in Madison[4]. He died on January 25, 1994[5]. He worked as a mathematician[6], computer scientist[7], philosopher[8], and university teacher[9]. He ranks in the top 0.72% of human entities by monthly Wikipedia readership (513 views/month, #7,202 of 1,000,298).[10]

Key Facts

  • Stephen Cole Kleene was born in Hartford[2].
  • Stephen Cole Kleene passed away in Madison[4].
  • Stephen Cole Kleene was born on January 5, 1909[3].
  • Stephen Cole Kleene died on January 25, 1994[5].
  • Stephen Cole Kleene held citizenship in United States[11].
  • Stephen Cole Kleene worked as a mathematician[6].
  • Stephen Cole Kleene worked as a computer scientist[7].
  • Stephen Cole Kleene worked as a philosopher[8].
  • Stephen Cole Kleene worked as a university teacher[9].
  • Stephen Cole Kleene's field of work was theoretical computer science[12].
  • Stephen Cole Kleene's field of work was theory of computation[13].
  • Stephen Cole Kleene was employed by University of Wisconsin–Madison[14].
  • Among Stephen Cole Kleene's employers was Princeton University[15].
  • Stephen Cole Kleene was employed by Amherst College[16].
  • Stephen Cole Kleene was employed by United States Navy[17].
  • Among Stephen Cole Kleene's employers was University of Wisconsin–Madison[18].
  • Stephen Cole Kleene's education included a stint at Princeton University[19].
  • Stephen Cole Kleene was educated at Amherst College[20].
  • Stephen Cole Kleene's doctoral advisor was Alonzo Church[21].
  • A notable work attributed to Stephen Cole Kleene is Kleene–Brouwer order[22].
  • A notable work attributed to Stephen Cole Kleene is Kleene–Rosser paradox[23].
  • A notable work attributed to Stephen Cole Kleene is Kleene's O[24].
  • A notable work attributed to Stephen Cole Kleene is Church–Kleene ordinal[25].
  • A notable work attributed to Stephen Cole Kleene is Kleene's recursion theorem[26].
  • A notable work attributed to Stephen Cole Kleene is Kleene's T predicate[27].

Body

Origins and Family

Born in Hartford[2], Stephen Cole Kleene… he was born on January 5, 1909[3].

Education

Educated at Princeton University[19], a private university[28], in United States[29], founded in 1746[30], headquartered in Princeton[31] and Amherst College[20], a liberal arts college[32], in United States[33], founded in 1821[34]. Stephen Cole Kleene's doctoral advisor was Alonzo Church[21].

Career and Affiliations

Recorded occupations include mathematician[6], computer scientist[7], philosopher[8], and university teacher[9]. Fields of work include theoretical computer science[12], a branch of computer science[35] and theory of computation[13], an academic discipline[36]. Employers include University of Wisconsin–Madison[14], a public research university[37], in United States[38], founded in 1848[39]; Princeton University[15], a private university[40], in United States[41], founded in 1746[42], headquartered in Princeton[43]; Amherst College[16], a liberal arts college[44], in United States[45], founded in 1821[46]; and United States Navy[17], a navy[47], in United States[48], founded in 1775[49], headquartered in The Pentagon[50]. Doctoral students include Yiannis N. Moschovakis[51], a mathematician[52], b. 1938[53], of United States[54], awarded the Fellow of the American Mathematical Society[55], specialised in set theory[56]; Robert Lee Constable[57], a computer scientist[58], b. 1952[59], of United States[60], awarded the Guggenheim Fellowship[61]; Joan Moschovakis[62], a mathematician[63], b. 1937[64], of United States[65]; J. W. Addison[66], a mathematician[67], 1930–2025[68], of United States[69]; Dick de Jongh[70], a mathematician[71], b. 1939[72], of Kingdom of the Netherlands[73], specialised in proof theory[74]; and Nels David Nelson[75].

Works and Contributions

Notable works include Kleene–Brouwer order[22], Kleene–Rosser paradox[23], Kleene's O[24], Church–Kleene ordinal[25], Kleene's recursion theorem[26], and Kleene's T predicate[27]. Things named for Stephen Cole Kleene include Kleene star[76], an unary operation[77]; arithmetical hierarchy[78], a hierarchical classification[79]; Kleene algebra[80], a mathematical concept[81]; Kleene–Rosser paradox[82]; Kleene fixed-point theorem[83]; and Kleene award[84].

Recognition

Awards received include Guggenheim Fellowship[85], a fellowship grant[86], in United States[87], founded in 1925[88]; National Medal of Science[89], a science award[90], in United States[91], founded in 1963[92]; and Leroy P. Steele Prize[93], a group of awards[94], in United States[95], founded in 1970[96].

Death and Burial

Stephen Cole Kleene died on January 25, 1994[5]. He passed away in Madison[4].

Why It Matters

Stephen Cole Kleene ranks in the top 0.72% of human entities by monthly Wikipedia readership (513 views/month, #7,202 of 1,000,298).[10] He has Wikipedia articles in 19 language editions, a strong signal of global cultural recognition.[97] He is known by 23 alternative names across languages and contexts.[98]

He is credited with the discovery of regular expression[99]. Entities named for him include Kleene star[76], an unary operation[77]; arithmetical hierarchy[78], a hierarchical classification[79]; Kleene algebra[80], a mathematical concept[81]; Kleene–Rosser paradox[82]; Kleene fixed-point theorem[83]; and Kleene award[84].

His notable doctoral advisees include Yiannis N. Moschovakis[100], a mathematician[101], b. 1938[102], of United States[103], awarded the Fellow of the American Mathematical Society[104], specialised in set theory[105]; Robert Lee Constable[106], a computer scientist[107], b. 1952[108], of United States[109], awarded the Guggenheim Fellowship[110]; and Gene Fuerst Rose[111], a university teacher[112], 1916–2008[113].

FAQs

Where was Stephen Cole Kleene born?

Stephen Cole Kleene's place of birth was Hartford[2].

Where did Stephen Cole Kleene die?

Stephen Cole Kleene died in Madison[4].

What did Stephen Cole Kleene do for work?

Stephen Cole Kleene worked as mathematician[6], computer scientist[7], philosopher[8], and university teacher[9].

Where did Stephen Cole Kleene go to school?

Stephen Cole Kleene was educated at Princeton University[19] and Amherst College[20].

What awards did Stephen Cole Kleene receive?

Honors received include Guggenheim Fellowship[85], National Medal of Science[89], and Leroy P. Steele Prize[93].

What did Stephen Cole Kleene discover?

Stephen Cole Kleene is credited as discoverer of regular expression[99].

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. [11] . wikidata.org.
  4. [19] . MacTutor History of Mathematics archive. wikidata.org.
  5. [20] . MacTutor History of Mathematics archive. wikidata.org.
  6. [12] . wikidata.org.
  7. [13] . wikidata.org.
  8. [6] . wikidata.org.
  9. [7] . wikidata.org.
  10. [8] . wikidata.org.
  11. [9] . wikidata.org.
  12. [14] . MacTutor History of Mathematics archive. wikidata.org.
  13. [15] . MacTutor History of Mathematics archive. wikidata.org.
  14. [16] . MacTutor History of Mathematics archive. wikidata.org.
  15. [17] . MacTutor History of Mathematics archive. wikidata.org.
  16. [18] . MacTutor History of Mathematics archive. wikidata.org.
  17. [85] . wikidata.org.
  18. [89] . MacTutor History of Mathematics archive. wikidata.org.
  19. [93] . MacTutor History of Mathematics archive. ams.org. Provenance: wikidata.org.
  20. [21] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  21. [51] . Mathematics Genealogy Project. wikidata.org.
  22. [57] . Mathematics Genealogy Project. wikidata.org.
  23. [62] . Mathematics Genealogy Project. wikidata.org.
  24. [66] . Mathematics Genealogy Project. wikidata.org.
  25. [70] . Mathematics Genealogy Project. wikidata.org.
  26. [75] . Mathematics Genealogy Project. wikidata.org.
  27. [3] . MacTutor History of Mathematics archive. Retrieved . wikidata.org.
  28. [5] . MacTutor History of Mathematics archive. Retrieved . wikidata.org.
  29. [22] . wikidata.org.
  30. [23] . wikidata.org.
  31. [24] . wikidata.org.
  32. [25] . wikidata.org.
  33. [26] . wikidata.org.
  34. [27] . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [99] . wikidata.org. → on this site
  2. [100] . wikidata.org. → on this site
  3. [106] . wikidata.org. → on this site
  4. [111] . wikidata.org. → on this site
  5. [76] . wikidata.org. → on this site
  6. [78] . wikidata.org. → on this site
  7. [80] . wikidata.org. → on this site
  8. [82] . wikidata.org. → on this site
  9. [83] . wikidata.org. → on this site
  10. [84] . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [28] . Wikidata. wikidata.org. → on this site
  2. [29] . Wikidata. wikidata.org. → on this site
  3. [30] . Wikidata. wikidata.org. → on this site
  4. [31] . Wikidata. wikidata.org. → on this site
  5. [32] . Wikidata. wikidata.org. → on this site
  6. [33] . Wikidata. wikidata.org. → on this site
  7. [34] . Wikidata. wikidata.org. → on this site
  8. [35] . Wikidata. wikidata.org. → on this site
  9. [36] . Wikidata. wikidata.org. → on this site
  10. [37] . Wikidata. wikidata.org. → on this site
  11. [38] . Wikidata. wikidata.org. → on this site
  12. [39] . Wikidata. wikidata.org. → on this site
  13. [40] . Wikidata. wikidata.org. → on this site
  14. [41] . Wikidata. wikidata.org. → on this site
  15. [42] . Wikidata. wikidata.org. → on this site
  16. [43] . Wikidata. wikidata.org. → on this site
  17. [44] . Wikidata. wikidata.org. → on this site
  18. [45] . Wikidata. wikidata.org. → on this site
  19. [46] . Wikidata. wikidata.org. → on this site
  20. [47] . Wikidata. wikidata.org. → on this site
  21. [48] . Wikidata. wikidata.org. → on this site
  22. [49] . Wikidata. wikidata.org. → on this site
  23. [50] . Wikidata. wikidata.org. → on this site
  24. [86] . Wikidata. wikidata.org. → on this site
  25. [87] . Wikidata. wikidata.org. → on this site
  26. [88] . Wikidata. wikidata.org. → on this site
  27. [90] . Wikidata. wikidata.org. → on this site
  28. [91] . Wikidata. wikidata.org. → on this site
  29. [92] . Wikidata. wikidata.org. → on this site
  30. [94] . Wikidata. wikidata.org. → on this site
  31. [95] . Wikidata. wikidata.org. → on this site
  32. [96] . Wikidata. wikidata.org. → on this site
  33. [52] . Wikidata. wikidata.org. → on this site
  34. [53] . Wikidata. wikidata.org. → on this site
  35. [54] . Wikidata. wikidata.org. → on this site
  36. [55] . Wikidata. wikidata.org. → on this site
  37. [56] . Wikidata. wikidata.org. → on this site
  38. [58] . Wikidata. wikidata.org. → on this site
  39. [59] . Wikidata. wikidata.org. → on this site
  40. [60] . Wikidata. wikidata.org. → on this site
  41. [61] . Wikidata. wikidata.org. → on this site
  42. [63] . Wikidata. wikidata.org. → on this site
  43. [64] . Wikidata. wikidata.org. → on this site
  44. [65] . Wikidata. wikidata.org. → on this site
  45. [67] . Wikidata. wikidata.org. → on this site
  46. [68] . Wikidata. wikidata.org. → on this site
  47. [69] . Wikidata. wikidata.org. → on this site
  48. [71] . Wikidata. wikidata.org. → on this site
  49. [72] . Wikidata. wikidata.org. → on this site
  50. [73] . Wikidata. wikidata.org. → on this site
  51. [74] . Wikidata. wikidata.org. → on this site
  52. [101] . Wikidata. wikidata.org. → on this site
  53. [102] . Wikidata. wikidata.org. → on this site
  54. [103] . Wikidata. wikidata.org. → on this site
  55. [104] . Wikidata. wikidata.org. → on this site
  56. [105] . Wikidata. wikidata.org. → on this site
  57. [107] . Wikidata. wikidata.org. → on this site
  58. [108] . Wikidata. wikidata.org. → on this site
  59. [109] . Wikidata. wikidata.org. → on this site
  60. [110] . Wikidata. wikidata.org. → on this site
  61. [112] . Wikidata. wikidata.org. → on this site
  62. [113] . Wikidata. wikidata.org. → on this site
  63. [77] . Wikidata. wikidata.org. → on this site
  64. [79] . Wikidata. wikidata.org. → on this site
  65. [81] . Wikidata. wikidata.org. → on this site

Class ancestry

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

Aggregate / graph-position facts

  1. [10] . Wikimedia Foundation. dumps.wikimedia.org.
  2. [97] . Wikidata sitelinks. wikidata.org.
  3. [98] . 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). Stephen Cole Kleene. Retrieved March 8, 2026, from https://4ort.xyz/entity/stephen-cole-kleene
MLA “Stephen Cole Kleene.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Mar. 2026, https://4ort.xyz/entity/stephen-cole-kleene.
BibTeX @misc{4ortxyz_stephen-cole-kleene_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Stephen Cole Kleene}}, year = {2026}, url = {https://4ort.xyz/entity/stephen-cole-kleene}, note = {Accessed: 2026-03-08}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Stephen Cole Kleene — https://4ort.xyz/entity/stephen-cole-kleene (retrieved 2026-03-08)

Canonical URL: https://4ort.xyz/entity/stephen-cole-kleene · 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. 14d ago · Epìdosis · 2026-05-20 view diff on Wikidata ↗
    Occupation mathematician, computer scientist, philosopher +1
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/32084|batch #32084]]: import P21 and P106 from GND (26)"
  2. 26d ago · Bargioni · 2026-05-07 view diff on Wikidata ↗
    Idref id
    Cinii research id
    Libris-uri gdsvw5900d3krs9
    Birth date
    + 195 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/30468|batch #30468]]: add P1810 to P5739 2/3"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.