La logica matematica ha raggiunto una svolta importante nel 1951 quando Stephen Cole Kleene ha descritto le operazioni degli automi a stati finiti, fornendo un ponte fondamentale tra le reti neurali e il calcolo digitale. Questo sviluppo è avvenuto parallelamente alla sua esplorazione per tutta la vita della teoria delle funzioni ricorsive, consacrandolo come figura centrale nell'emersione dell'informatica teorica durante il ventesimo secolo.
Formazione accademica
Nato a Hartford nel 1909, Kleene ha compiuto i suoi primi studi all'Amherst College, laureandosi nel 1930. Si è trasferito alla Princeton University per il lavoro di dottorato, completando gli studi nel 1934 sotto la supervisione di Alonzo Church. La sua dissertazione, A Theory of Positive Integers in Formal Logic, ha segnato l'inizio di un periodo prolifico incentrato sul calcolo lambda. Durante questi anni di formazione, è entrato a far parte dell'Università del Wisconsin-Madison nel 1935, un'istituzione che avrebbe ospitato la maggior parte della sua carriera accademica.
Fondamenti del calcolo
A Kleene è attribuita la formalizzazione della teoria della ricorsione, un campo che pone le basi dello studio delle funzioni computabili. Nel corso degli anni Trenta e Quaranta, ha redatto dimostrazioni fondamentali, tra cui il teorema della ricorsione e il teorema della forma normale. Questi contributi hanno consentito una descrizione matematica precisa dei processi computazionali. Il suo lavoro alla fine degli anni Quaranta e Cinquanta si è esteso alle gerarchie aritmetiche e iperaritmetiche, mentre il suo memorandum del 1951 per la RAND Corporation ha introdotto le espressioni regolari per categorizzare gli eventi negli automi finiti.
Servizio e intuizionismo
Durante la seconda guerra mondiale, Kleene ha prestato servizio nella riserva della Marina degli Stati Uniti, raggiungendo il grado di capitano di corvetta tra il 1942 e il 1946. Al ritorno alla vita civile presso l'Università del Wisconsin-Madison, ha bilanciato ruoli amministrativi come direttore di dipartimento e preside del College of Letters and Science con la sua ricerca sulla matematica intuizionista. I suoi testi, in particolare quelli scritti in collaborazione con Richard Vesley, hanno stabilito uno standard americano per l'interpretazione delle affermazioni intuizioniste attraverso la realizzabilità ricorsiva.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Eredità professionale
Kleene si è ritirato dalla sua posizione di professore di matematica Cyrus C. MacDuffee nel 1979. Nel corso di quattro decenni, ha seguito 13 studenti di dottorato e ha influenzato generazioni attraverso libri di testo che hanno chiarito i teoremi di incompletezza di Gödel. La sua leadership professionale ha incluso mandati come presidente dell'Association for Symbolic Logic e dell'Unione internazionale di storia e filosofia della scienza. Nel 1990 ha ricevuto la Medaglia nazionale per la scienza per i suoi risultati.
Informazioni rapide
- Nato: 1909, Hartford - Morto: 1994, Madison - Istruzione: Amherst College, Università di Princeton - Grado militare chiave: Capitano di corvetta - Campo principale: Informatica teorica - Riconoscimento principale: Medaglia nazionale per la scienza (1990) - Appartenenza professionale: Accademia nazionale delle scienze
Domande frequenti dei lettori
### Cos'è la stella di Kleene?
È un'operazione matematica, nota anche come chiusura di Kleene, che prende il nome da lui per il suo ruolo nella teoria dei linguaggi formalizzati e nell'informatica teorica.
### Kleene ha contribuito allo studio delle reti neurali?
Sì, nel 1951 ha sviluppato un metodo per caratterizzare gli eventi accettati dagli automi finiti, che ha applicato allo studio delle reti neurali di McCulloch-Pitts.
