[Home]History of Stephen Kleene

HomePage | Recent Changes | Preferences

Revision 10 . . (edit) November 6, 2001 8:57 pm by (logged).253.64.xxx [redirect]
Revision 9 . . (edit) October 22, 2001 12:23 am by AxelBoldt
Revision 8 . . (edit) September 23, 2001 11:34 am by (logged).248.6.xxx [fixed link to intuitionism]
Revision 2 . . (edit) July 10, 2001 3:39 am by Jan Hidders
  

Difference (from prior major revision) (minor diff, author diff)

Changed: 1,3c1
Stephen Cole Kleene (1909 - 1994) Developed the field of [recursion theory]? together with [Alonzo Church]?, Kurt Godel, Alan Turing and others. His work helped to provide the foundations of theoretical computer science. By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions are computable?. He also contributed to mathematical Intuitionism? as founded by [Luitzen Brouwer]?.

/Talk?
#REDIRECT Stephen Cole Kleene

HomePage | Recent Changes | Preferences
Search: