Születés |
1920. december 3 Bressuire |
---|---|
Halál |
2008. március 30(87. évesen) Marseille |
Állampolgárság | Francia |
Kiképzés | Párizsi Egyetem |
Tevékenységek | Matematikus , filozófus |
Dolgozott valakinek | Provence-i Egyetem Aix-Marseille I. |
---|---|
Területek | Matematikai logika , modellelmélet |
Felügyelő | René de Possel |
Roland Fraïssé francia matematikus ( logikus ), született 1920. december 3 és meghalt a 2008. március 30A Marseille .
A „kapcsolatelmélet” kifejlesztésének egyik úttörője volt. A kommunikáció a Tudományos Akadémia 1950-ben vezette be 1953-ban a doktori disszertáció című Egyes osztályozási rendszerek közötti kapcsolatok , irányításával készült a René de Possel, és megvédte a University of Paris , amelyben ő találta fel hátra és -negyedik módszer, amelyet Ehrenfeucht-Fraïssé játéka a modellelmélet két struktúrájának elemi ekvivalenciájának igazolására használ . A megrendelések elméletébe bevezette a "kompenzátor" fogalmát is .
Professzor a Provence- i Egyetemen, ahol logikusok egész generációját képezte, köztük Étienne Grandjean-t, aki maga is nagyon aktív a Caeni Egyetemen.
A logika bemutatása kiemelten kezeli a szemantikát: szerinte a logika előrehaladása a szintaktika szemantika általi fokozott felszívódását eredményezi. Így a szemantika azt a szintaxist jelentené, ami a mezők elmélete az algebrai egyenletek megoldásának sajátos módszereihez.
(Kiválasztás)