Cerca in:
Mostowski, Andrzej
Enciclopedia on line
Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto [...] analogie tra la teoria delle funzioni ricorsive e quella degli insiemi boreliani (1946); ha dimostrato la insolubilità del problema della decisione per gli anelli e per gli anelli commutativi (1949); ha presentato un'originale formulazione del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Robinson, Julia
Enciclopedia on line
Matematica e logica matematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logica matematica (funzioni ricorsive e problemi di [...] decidibilità) e di teoria dei numeri. Di particolare importanza la scoperta (completata da J. V. Matijasević nel 1970) dell'indecidibilità del 10º problema di D. Hilbert: non esiste un metodo generale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] of sciences degli USA. Sviluppò la teoria delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
PINCHERLE, Salvatore
Dizionario Biografico degli Italiani (2015)
PINCHERLE, Salvatore
Enrico Rogora
PINCHERLE, Salvatore. – Nacque a Trieste l’11 marzo 1853 da Mosè ed Evelina Dörfles.
Di famiglia ebraica frequentò le scuole medie e il liceo Imperiale a Marsiglia, [...] e monografie, si svilupparono lungo cinque filoni principali di ricerca: sistemi di funzioni e sviluppi in serie; sistemi definiti da relazioni ricorsive, equazioni alle differenze, frazioni continue e loro generalizzazioni; operazioni funzionali ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE