Roland Fraïssé, lógico matemático francês (n. 1920)
Roland Fraïssé (francês: [ʁɔlɑ̃ fʁajse]; 12 de março de 1920 - 30 de março de 2008) foi um lógico matemático francês.
Fraïssé recebeu seu doutorado na Universidade de Paris em 1953. Em sua tese, Fraïssé usou o método de vai-e-vem para determinar se duas estruturas teóricas de modelo eram elementarmente equivalentes. Este método de determinar a equivalência elementar foi posteriormente formulado como o jogo Ehrenfeucht-Fraïssé. Fraïssé trabalhou principalmente na teoria das relações. Outra de suas obras importantes foi a construção Fraïssé de um limite Fraïssé de estruturas finitas. Ele também formulou a conjectura de Fraïssé sobre a incorporação de ordens e introduziu a noção de compensador na teoria dos posets. A maior parte de sua carreira foi passada como professor na Universidade de Provence em Marselha, França.
2008mar, 30
Roland Fraisse
Escolha Outra Data
Eventos em 2008
- 11jun
Sistema escolar residencial indiano canadense
O primeiro-ministro canadense Stephen Harper faz um pedido de desculpas oficial histórico às Primeiras Nações do Canadá em relação aos abusos em uma escola residencial de índios canadenses. - 7ago
Ossétia do Sul
O início da Guerra Russo-Georgiana sobre o território da Ossétia do Sul. - 29set
Dow Jones Industrial Average
Após as falências do Lehman Brothers e do Washington Mutual, o Dow Jones Industrial Average cai 777,68 pontos, a maior perda de pontos em um único dia em sua história. - 29out
Companhias Aéreas do Noroeste
A Delta Air Lines se funde com a Northwest Airlines, criando a maior companhia aérea do mundo e reduzindo o número de companhias aéreas tradicionais dos EUA para cinco. - 10nov
Phoenix (nave espacial)
Mais de cinco meses após o pouso em Marte, a NASA declara que a missão Phoenix foi concluída depois que as comunicações com o módulo de pouso foram perdidas.