Naștere |
3 decembrie 1920 Bressuire |
---|---|
Moarte |
30 martie 2008(la 87 de ani) Marsilia |
Naţionalitate | limba franceza |
Instruire | Universitatea din Paris |
Activități | Matematician , filosof |
Lucrat pentru | Universitatea din Provence Aix-Marseille I |
---|---|
Zone | Logica matematică , teoria modelelor |
Supervizor | René de Possel |
Roland Fraïssé este un matematician ( logician ) francez , născut la3 decembrie 1920 și a murit 30 martie 2008la Marsilia .
A fost unul dintre pionierii dezvoltării „teoriei relației”. O comunicare către Academia de Științe din 1950 a condus în 1953 la o teză de doctorat intitulată Despre unele clasificări ale sistemelor de relații , pregătită sub supravegherea lui René de Possel și susținută la Universitatea din Paris , în care a inventat back-and metoda -forth că jocul Ehrenfeucht-Fraisse lui folosește pentru a verifica echivalența elementară a două structuri ale teoriei modelului . El a introdus, de asemenea, noțiunea de „compensator” în teoria ordinelor .
Profesor la Universitatea din Provence, unde a format o întreagă generație de logieni, inclusiv Étienne Grandjean, el însuși foarte activ la Universitatea din Caen.
Prezentarea sa a logicii acordă prioritate semanticii: potrivit lui, avansarea logicii are ca rezultat o absorbție din ce în ce mai mare a sintaxei de către semantică. Astfel, semantica ar fi să sintaxăm ceea ce este teoria câmpurilor cu metodele specifice de rezolvare a ecuațiilor algebrice.
(Selecţie)