Roland Fraïssé

Roland Fraïssé Životopis

Narození	3. prosince 1920 Bressuire
Smrt	30. března 2008(v 87) Marseille
Státní příslušnost	francouzština
Výcvik	University of Paris
Činnosti	Matematik , filozof

Jiná informace

Pracoval pro	University of Provence Aix-Marseille I
Oblasti	Matematická logika , teorie modelů
Dozorce	René de Possel

Roland Fraïssé je francouzský matematik ( logik ), narozen dne3. prosince 1920 a mrtvý 30. března 2008v Marseille .

Životopis

Byl jedním z průkopníků ve vývoji „teorie vztahů“. Komunikační do Akademie věd v roce 1950 vedly v roce 1953 k disertační práci nazvané V některých klasifikací systémů vztahů , připravený pod vedením René de Possel a obhájených na univerzitě v Paříži , ve kterém on vynalezl a zpět -forth metoda , která Ehrenfeucht-Fraisse hra používá k ověření elementární ekvivalence dvou struktur v teorii modelu . Rovněž představil pojem „kompenzátor“ v teorii objednávek .

Profesor na univerzitě v Provence, kde trénoval celou generaci logiků, včetně Étienne Grandjeana, který sám velmi aktivně působil na univerzitě v Caen.

Jeho prezentace logiky upřednostňuje sémantiku: pokrok logiky má podle něj za následek zvýšení absorpce syntaxe sémantikou. Sémantika by tedy byla syntaxí toho, čím je teorie polí, ke konkrétním metodám řešení algebraických rovnic.

Publikace

(Výběr)

„ O nové klasifikaci systémů vztahů “, CRAS , roč. 230,1950, str. 1022-1024 ( číst online ).
„ O některých klasifikacích systémů vztahů “, Vědecké publikace Alžírské univerzity série A1 ,1954, str. 35-182 - Disertační práce, Pařížská univerzita, 1953.
Kurz matematické logiky , Vztah, Logický vzorec, Kompaktnost, Úplnost , Paříž, Gauthier-Villars, v jednom svazku, 1967.
Druhé vydání, „značně rozšířené“ , ve třech svazcích, 1971-1975:
- Svazek 1: Vztah a logický vzorec , 1971, 197 stran.
- Svazek 2: Teorie modelů , 177 stran.
- Svazek 3: Rekurze a konstruovatelnost , 1972, 1975, 137 stran.

Přeloženo do angličtiny a editováno Davidem Louvishem pod názvem Course of Mathematical Logic , 2 sv., Dordrecht, Reidel, 1973-1974

(en) Roland Fraïssé ( překlad P. Clote), Teorie vztahů , Amsterdam, Elsevier , kol. „Studium v logice a základy matematiky“ ( n Ø 145),2000( 1 st ed. 1986), 451 str. ( ISBN 0-444-50542-3 , SUDOC 055153372 )dodatek Norberta W. Sauera .

Poznámky a odkazy

(fr) Tento článek je částečně nebo zcela převzat z článku Wikipedie v angličtině s názvem „ Roland Fraïssé “ ( viz seznam autorů ) .

O nové klasifikaci .
(en) „ Roland Fraisse “ , na na webových stránkách Mathematics Genealogie projektu .
Roland Fraïssé a Nik Lygeros, Petitsovy posety : výčet, reprezentovatelnost kruhy a „kompenzátory“ , CRAS Sér. Já matematika. 313 (1991), č. 3. 7, 417-420 [ číst online ]
Kurz matematické logiky , Paříž, Gauthier-Villars Éditeur, 3. díl, 1971-1975; úvody k prvním dvěma dílům
Toto je termín používaný autorem v jeho předmluvě k novému vydání.

externí odkazy

Autoritní záznamy :