Simpósio de Matemática: Centenário do nascimento de Kurt Gödel
 
  Logo
 
Description:

Kurt Gödel é o lógico matemático mais famoso do século passado. Neste simpósio abordam-se vários aspectos da vida deste matemático ímpar e do seu legado científico. Serão discutidos, de um modo acessível, aspectos da sua obra, como os teoremas de incompletude, pontos incontornáveis na cultura matemática.


Speaker(s): Augusto Franco de Oliveira, Vida e Obra de Kurt Gödel - Uma cronologia incompleta
Reinhard Kahle, Os teoremas de incompletude
Amílcar Sernadas, Lógica de demonstrabilidade
Fernando Ferreira, Dialectica e teoria de conjuntos
Area(s): Logic, Algebra, History of Mathematics

Place:   Sala Pedro Nunes, 14:00-18:00
Start Date:   2006-04-28
Research Groups: -Algebra, Logic and Topology
See more:   <Main>   <Thematic Line - History of Mathematics>   <Thematic Line - Outreach Activities>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support