terça-feira, 21 de agosto de 2007

Vencedores do Prêmio Jabuti 2007

Saíram os vencedores do Prêmio Jabuti 2007. Na área "CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA" os vencedores foram:

http://www.cbl.org.br/news.php?recid=5633

Categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA

1º - LÓGICA PARA COMPUTAÇÃO - FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO (IME-USP)
2º - FÍSICA MODERNA - FRANCISCO CARUSO NETO E VITOR OGURI
3º - COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA - WALTER CARNIELLI (CLE-UNICAMP)

Links para as páginas dos dois livros da área de lógica e computação podem ser encontrados na seção "Sugestões de Livros" deste blog.

Parabéns aos autores.

segunda-feira, 6 de agosto de 2007

Platonismo em Matemática

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra

Platonismo em Matemática
Prof. Dr. Giovanni Queiroz -UFPB

Data: 31 / 08 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia

Resumo
Em filosofia da matemática, há uma posição que sustenta que as entidades matemáticas: números, pontos, linhas, planos são entidades abstratas que existem. Esta posição tem sido conhecida como “Platonismo” (posição também conhecida como realista). Vamos apresentar, em primeiro lugar, como surge a posição conhecida como “platonismo” e quais as motivações para tal visão; em seguida, discutiremos se esta posição pode ser imputada à Platão. Nós mostraremos que esta posição não é a posição de Platão (McLarty defende [2005] que a posição realista foi defendida por Glauco em A República – nós discutiremos esta afirmação de McLarty) a partir do argumento da linha dividida (Republica, livro VI, 509d e seguintes); nós mostraremos que a posição platônica aproxima-se mais da postura defendida hoje em filosofia da matemática conhecida como “if-theism” (se satisfeitas as condições q e r, então segue-se que p). Algumas formulações alternativas contemporâneas do realismo (Frege, Maddy) serão examinadas. Por fim, será discutida a abordagem estruturalista da matemática, que se apresenta ora como objeção à posição realista (Benacerraf), ora como reforço à posição realista (Shapiro). Isso significa que, embora o estruturalismo – a posição que afirma que a matemática não lida com objetos mas com estruturas – surja como alternativa às posições tradicionais em filosofia da matemática, isso não elimina a posição realista (ou platônica) tal como foi inicialmente formulada.