Questo sito contribuisce alla audience di

Kleene, Stephen Cole

logico statunitense (Hartford, Connecticut 1909-Madison, Wisconsin 1994). Professore all'Università del Wisconsin; sono da ricordare i suoi contributi alla teoria della ricorsività tra cui l'introduzione delle funzioni e dei predicati ricorsivi primitivi e la dimostrazione dell'esistenza di insiemi ricorsivamente enumerabili ma non ricorsivi.

Media


Non sono presenti media correlati

Collegamenti