George Boole- legacy of a mathematics revolutionary (Prof. Evgeny Khukhro)
12 views
Skip to first unread message
Daniele Nantes
Oct 4, 2016, 1:14:55 PM10/4/16
to logi...@dimap.ufrn.br
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,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,
--
Daniele Nantes
Grupo de Teoria da Computação
Departamentos de Matemática e Computação
Universidade de Brasília
Reply all
Reply to author
Forward
0 new messages