Roland Fraïssé, lógico matemático francês (m. 2008)
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.
1920mar, 12
Roland Fraisse
Escolha Outra Data
Eventos em 1920
- 19jan
Liga das Nações
O Senado dos Estados Unidos vota contra a adesão à Liga das Nações. - 8mar
árabe
O Reino Árabe da Síria, o primeiro estado árabe moderno a existir, é estabelecido. - 19mar
Tratado de Versalhes
O Senado dos Estados Unidos rejeita o Tratado de Versalhes pela segunda vez (a primeira foi em 19 de novembro de 1919). - 28abr
União Soviética
O Azerbaijão é adicionado à União Soviética. - 25out
Sinn Féin
Após 74 dias em greve de fome na Prisão de Brixton, Inglaterra, o Sinn Féin Lord Mayor de Cork, Terence MacSwiney morre.