Nacimiento |
3 de diciembre de 1920 Bressuire |
---|---|
Muerte |
30 de marzo de 2008(en 87) Marsella |
Nacionalidad | francés |
Capacitación | Universidad de Paris |
Ocupaciones | Matemático , filósofo |
Trabajé para | Universidad de Provenza Aix-Marsella I |
---|---|
Áreas | Lógica matemática , teoría de modelos |
Director de tesis | René de Possel |
Roland Fraïssé es un matemático ( lógico ) francés , nacido el3 de diciembre de 1920 y muerto el 30 de marzo de 2008en Marsella .
Fue uno de los pioneros en el desarrollo de la “teoría de las relaciones”. Una comunicación a la Academia de Ciencias en 1950 dio lugar en 1953 a una tesis doctoral titulada Sobre algunas clasificaciones de los sistemas de relaciones , elaborada bajo la dirección de René de Possel, y defendida en la Universidad de París , en la que inventó la espalda y -cuarto método que utiliza el juego de Ehrenfeucht-Fraïssé para verificar la equivalencia elemental de dos estructuras de la teoría de modelos . También introdujo la noción de "compensador" en la teoría de órdenes .
Profesor de la Universidad de Provenza, donde formó a toda una generación de lógicos, incluido Étienne Grandjean, él mismo muy activo en la Universidad de Caen.
Su presentación de la lógica da prioridad a la semántica: según él, el avance de la lógica resulta en una creciente absorción de la sintaxis por la semántica. Así, la semántica sería sintaxis lo que la teoría de campos es para métodos específicos de resolución de ecuaciones algebraicas.
(Selección)