Translate

27.11.12

07/12 - Samuel Gomes da Silva

"A estrutura conjuntística e topológica do primeiro ordinal não-enumerável"

Samuel Gomes da Silva
Instituto de Matemática
Universidade Federal da Bahia

RESUMO (PDF)

Sexta, dia 07, às 10hs

23.11.12

05/12 - Colloquium Logicae: Barry Cooper

Alan Turing and the Computing Revolution:

Ten Big Ideas that Changed the World

Special Session of Colloquium Logicae


Prof. Barry Cooper

Wednesday, December 5th, room PE11 at FEEC, UNICAMP
15h00

Organized  by the Centre for Logic, Epistemology and the History of Science – CLE
at the State University of Campinas – UNICAMP

Extended session: 45 min + 15 min coffee break + 45 min, followed by discussions


Prof. S. Barry Cooper is currently Professor of Mathematical Logic at the University of Leeds. Author of Computability Theory (Chapman & Hall/CRC. 2004 ) and co-author of "Incomputability in Nature" (Cooper, S. B.; Odifreddi, P. (2003), Prof. Cooper is a leading mover of the return to basic questions of the kind considered by Alan Turing, and of interdisciplinary developments related to computability. He is currently President of the Association Computability in Europe, and is Chair of the Turing Centenary Advisory Committee (TCAC) which is co-ordinating the Alan Turing Year.

For this impressive series off events see 
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php13#dec

______________________

Abstract:

Title: Alan Turing and the Computing Revolution: Ten Big Ideas that Changed the
World

Alan Turing did an amazing amount during his short life - a short list of what makes him remembered includes:

How at the age of 23, he came up with the idea of the "stored program" universal computing machine, basically the blueprint for every computer in existence today;

His leading role in breaking the German Enigma code at the secret decoding centre at Bletchley Park, helping shorten the 2nd World War by two years with his ground-breaking involvement in building and fully exploiting decoding machines;

And the innovative and original work in bringing mathematics to bear on important problems in biology and medicine.

In this talk we look at Turing's ideas and enduring impact on academic research, the IT industry and the wider world we live in and we outline some of his visionary insights which point to a new generation of "intelligent" computers.

We assume no specialist knowledge, but be prepared to be challenged!



19.11.12

21/11 - Tony Marmo


LÓGICA MODAL EPISTÊMICA E DOXÁSTICA NA VIZINHANÇA

Usualmente, as lógicas epistêmicas e doxásticas tratam os operadores de conhecimento (K) e crença (B) ou como primitivos ou como um deles sendo o dual do outro. A segunda opção reflete uma tradição filosófica que encara o conhecimento como um conjunto de opiniões verdadeiras e justificadas. Neste trabalho, proponho que considerar uma abordagem um pouco diferente, a começar pela questão: Por que uma lógica doxástica não pode ser vista como uma lógica epistêmica não-normal, com o mesmo operador primitivo em jogo (K ou B, tanto faz)? Ou seja, olhando de outro ângulo, por que o conhecimento não seria um conjunto de “opiniões normais”? Estamos referindo as diferenças entre os raciocínios sobre relatos epistêmicos a sistemas como K, T ou D, da “família de Lewis”, ou então a outros como E, R, etc. Podemos falar, de um modo mais geral, em operadores atitudinais, mas tirando o ônus explicativo da interpretação que cada operador modal recebe: as diferenças entre as atitudes proposicionais (ou epistêmicas) assistem nas relações de vizinhança entre os mundos e não em como as designamos verbalmente (saber, crer, reconhecer, pensar, etc.). (As proposições são elementos do conjunto das partes de W, e pela relação de vizinhança associamos os elementos de W a subconjuntos do conjunto das partes de W, enquanto que os sujeitos epistêmicos são parâmetros dos operadores modais.)

7.11.12

14/11 - Francesc Esteva, Lluís Godo e Tommaso Flaminio.

Francesc Esteva, Lluís Godo e Tommaso Flaminio.

Institut d' Investigació en Intel.ligència Artificial (IIIA) de Catalunha, Espanha.