Prezados, nesta sexta-feira teremos a palestra do Professor Evgeny Khukhro (University of Lincoln, England). Seguem abaixo os dados:
Dia: 07/10 Horário: 14:30h Local: auditório do MAT. TITULO: George Boole: legacy of a mathematics revolutionary PALESTRANTE: Evgeny Khukhro (University of Lincoln, England) ABSTRACT. George Boole (1815--1849) is a famous mathematician born and bread in Lincoln, England. He became one of the most influential minds of the 19th century whose ideas laid the foundations of modern algebra and mathematical logic, as well as paved the way to applications in computer science and technology. This lecture focuses on the mathematical legacy of George Boole. His most influential works contributed to a revolution in our approach to logic. Later in the 20th century Boolean approach to logic became a basis of modern computer science including the construction of logical circuits -- now known as Boolean gates -- in technical realizations of computers. The development of mathematical logic by means of algebra pioneered by Boole gave very fruitful feedback to mathematics. Mathematical logic became one of the pillars of foundations of mathematics itself. Many famous problems, like the continuum hypothesis, were solved by the methods of mathematical logic. Various decidability and complexity theories were developed giving theoretical foundations to computer science. Conto com a presença de todos, Abraços, -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes <http://www.mat.unb.br/%7Ednantes> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMnPOrq5FULDe8mui4DG7m9ksitvrD_45jtqw_mmD12361EJsg%40mail.gmail.com.
