| Doğum |
3 Aralık 1920 Bressuire |
|---|---|
| Ölüm |
30 Mart 2008(87'de) Marsilya |
| Milliyet | Fransızca |
| Eğitim | Paris Üniversitesi |
| Aktiviteler | Matematikçi , filozof |
| İçin çalıştı | Provence Üniversitesi Aix-Marsilya I |
|---|---|
| Alanlar | Matematiksel mantık , model teorisi |
| Süpervizör | René de Possel |
Roland Fraïssé , Fransız matematikçi ( mantıkçı ),3 Aralık 1920 ve öldü 30 Mart 2008içinde Marsilya .
“İlişki teorisi” nin geliştirilmesinde öncülerden biriydi. A için 1953 yılında açtı 1950 yılında Bilimler Akademisi haberleşme doktora tezi başlıklı ilişkilerin sistemlerin bazı sınıflandırmaların üzerinde René de Possel gözetiminde hazırlanan ve en savundu Paris Üniversitesi , in which he icat arka-ve -forth yöntem olduğunu Ehrenfeucht-FRAISSE oyun doğrulamak için kullandığı temel denklik iki yapıların arasında modeli teorisi . Ayrıca , düzenler teorisine "dengeleyici" kavramını da ekledi .
Kendisi de Caen Üniversitesi'nde çok aktif olan Étienne Grandjean da dahil olmak üzere bir nesil mantıkçı yetiştirdiği Provence Üniversitesi'nde profesör .
Mantık sunumu semantiğe öncelik verir: Ona göre mantığın ilerlemesi, anlambilim tarafından sözdiziminin artan bir şekilde soğurulmasına neden olur. Bu nedenle, anlambilim, alan teorisinin belirli cebirsel denklemleri çözme yöntemlerine sözdizimi olacaktır.
(Seçim)