Nascita |
3 dicembre 1920 Bressuire |
---|---|
Morte |
30 marzo 2008(all'87) Marsiglia |
Nazionalità | Francese |
Formazione | Università di Parigi |
Attività | Matematico , filosofo |
Lavorato per | Università della Provenza Aix-Marseille I |
---|---|
le zone | Logica matematica , teoria dei modelli |
Supervisore | René de Possel |
Roland Fraïssé è un matematico ( logico ) francese, nato il3 dicembre 1920 e morto il 30 marzo 2008a Marsiglia .
È stato uno dei pionieri nello sviluppo della "teoria delle relazioni". Una comunicazione all'Accademia delle Scienze nel 1950 ha portato nel 1953 a una tesi di dottorato dal titolo Su alcuni classificazioni dei sistemi di relazioni , preparato sotto la direzione di René de Possel, e difeso presso l' Università di Parigi , in cui ha inventato il back-e -forth metodo che il gioco di Ehrenfeucht-Fraïssé utilizza per verificare l' equivalenza elementare di due strutture della teoria dei modelli . Ha anche introdotto la nozione di "compensatore" nella teoria degli ordini .
Professore all'Università della Provenza dove ha formato un'intera generazione di logici, tra cui Étienne Grandjean, lui stesso molto attivo all'Università di Caen.
La sua presentazione della logica dà la priorità alla semantica: secondo lui, il progresso della logica si traduce in un crescente assorbimento della sintassi da parte della semantica. Quindi, la semantica sarebbe sintassi quello che la teoria dei campi sta a metodi specifici di risoluzione di equazioni algebriche.
(Selezione)