Some extra points: |
Kleeneliness is next to Goedelness :-) |
* Born: 5 Jan 1909 Hartford?, Connecticut, USA * Died: 25 Jan 1994 in Madison?, Wisconsin, USA * The Kleene star as found in [regular expresssion]?s is named after him. Academic career:* first degree at [Amherst College]? * received doctorate from Princeton University in 1934, supervised by [Alonzo Church]?, for a thesis entitled A Theory of Positive Integers in Formal Logic. * Taught at Princeton until he joined the [University of Wisconsin]? at Madison in 1935. * He became a full professor at the University of Wisconsin at Madison in 1948 * He remained on the staff there until he retired in 1979. Important publications* Introduction to Metamathematics (1952) * Mathematical Logic (1967). -- Jan Hidders |
-- Jan Hidders |
-- Jan Hidders