Fødsel |
3. desember 1920 Bressuire |
---|---|
Død |
30. mars 2008(kl. 87) Marseille |
Nasjonalitet | fransk |
Opplæring | Universitetet i Paris |
Aktiviteter | Matematiker , filosof |
Jobbet for | University of Provence Aix-Marseille I |
---|---|
Områder | Matematisk logikk , modellteori |
Veileder | René de Possel |
Roland Fraïssé er en fransk matematiker ( logiker ), født den3. desember 1920 og døde den 30. mars 2008i Marseille .
Han var en av pionerene i utviklingen av "forholdsteori". En kommunikasjon til vitenskapsakademiet i 1950 førte i 1953 til en doktorgradsavhandling med tittelen On some classifications of systems of relations , utarbeidet under veiledning av René de Possel, og forsvarte ved Universitetet i Paris , hvor han oppfant ryggen og -forth-metode som Ehrenfeucht-Fraïssés spill bruker for å verifisere den elementære ekvivalensen til to strukturer i modellteorien . Han introduserte også begrepet "kompensator" i ordrenes teori .
Professor ved University of Provence hvor han trente en hel generasjon logikere, inkludert Étienne Grandjean, selv veldig aktiv ved University of Caen.
Hans presentasjon av logikk prioriterer semantikk: ifølge ham fører fremdriften av logikk til en økende absorpsjon av syntaks av semantikk. Dermed vil semantikk være å syntaksere hva feltteorien er til spesifikke metoder for å løse algebraiske ligninger.
(Utvalg)