Pessoal, com a inestimável ajuda do inoxidável Eduardo Ochs,
finalmente gerei o dejavu. Devido à minha atual falta de tempo, a
formatação não ficou como eu queria (diminuir as bordas, rotacionar e
deixar uma página por folha no documento dejavu), mas como o livro é
difícil de achar, achei que era m
Como presente aos colegas lógicos, envio um poema instrutivo:
A proof that the Halting Problem is undecidable
--Geoffrey K. Pullum
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn
Caros colegas da lista,
Estou há pouco tempo estudando lógica e me interessei bastante na
visão da Teoria de Probabilidades como extensão da lógica clássica,
passível de ser usada em caso de incertezas. Tenho lido os livros do
Carnap (de que gerei o djvu) e, principalmente de E. T. Jaynes
(Probabi
Aos colegas lógicos,
Cliquem no link para receber meu cartão de Natal
http://www.jacquielawson.com/viewcard.asp?code=3188630304566&source=jl999
PS - Sou eu mesma, Andréa, não é virus... Deixem-me provar - ou demonstrar :)
- Tarski escreveu famosos artigos sobre a verdade
- Godel
Departamento de Filosofia abre vagas para mestrado em 2012
O Programa de Pós-Graduação em Filosofia (PPGFIL) da Universidade
Federal do Rio Grande do Norte (UFRN) publicou edital com 27 vagas
para o Mestrado em Filosofia, na área de concentração em Metafísica
(nas linhas de História e Crítica da Me
-- Forwarded message --
Informo que estão abertas as inscrições para o cargo de Professor Adjunto:
Área de Matemática, Subáreas: Álgebra ou Teoria dos Números ou Geometria ou
Análise ou Sistemas Dinâmicos, requisito básico: Doutorado em Matemática,
regime de trabalho dedicação Ex
Amigos, mestres e colegas,
Na noite de hoje, nos lares trocam-se presentes. Alguns adornam a árvore de
Natal em homenagem ao menino que nasce e outros ascendem mais uma vela na
Chanukia.
O espírito é o mesmo, o mesmo milagre da vida: que essa luz e essa criança
possam nascer em cada um de nós e no
World Congress on the Square of Opposition III
American University of Beirut, Lebanon, June 26-29, 2012
A multidisciplinary event with stars from the East and the West
Deadline for submission of a contributed talk: January 21st 2012
http://www.square-of-opposition.org/
_
http://www.guardian.co.uk/world/2011/dec/28/sir-michael-dummett
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
A quem possa interessar:
Alta Ansiedade: A Matemática do Caos
Sinopse (do site Youtube):
Documentário que analisa como o desenvolvimento da matemática nos
últimos 40 anos mudaram completamente
o entendimento do homem sobre a natureza e a sociedade. Ao relacio
World Congress on the Square of Opposition III
American University of Beirut, Lebanon, June 26-29, 2012
A multidisciplinary event with stars from the East and the West
Deadline for submission of a contributed talk: January 21st 2012
http://www.square-of-opposition.org/
_
Repassando...
* Apologies for multiple copies of this announcement *
--
Second Call For Papers --- IJCAR 2012
6th International Joint Conference on Automated Reasoning
Manche
(envio novamente, pois não vi na lista)
A quem possa interessar:
Alta Ansiedade: A Matemática do Caos
Sinopse (do site Youtube):
Documentário que analisa como o desenvolvimento da matemática nos
últimos 40 anos mudaram completamente
o entendimento do homem s
A quem interessar possa
As datas do curso de Peter Lumsdaine estão confirmadas para:
13 a 17 de Fevereiro
23 e 24 de Fevereiro
Estarei dando umas aulas de introdução ao assunto na semana anterior:
8 a 10 de Fevereiro
As aulas deverão ocorrer no Departamento de Matemática da UFPE, e a sala
ai
Olá, pessoal
Feliz Ano Novo. Gostaria de saber se alguém tem o artigo abaixo, onde se diz
que Dov Gabbay defende uma forma de Psicologismo em lógica. Agradeço deste já.
Dov Gabbay and John Woods. The New Logic. In Journal of the Interest Group in
Pure and Applied Logic, Volume 9(2). Oxford, 2000
Feliz Ano Turing a todos!
JM
-- Forwarded message --
More exciting news (in order received) as the Alan Turing Year gets into
its stride:
(1) First some book news - The long anticipated re-publication of Sara
Turing's biography of her son from Cambridge University Press is alrea
Alguém está recebendo mensagem da lista logica-l ?
Paulo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Agradeço aos caros amigos, em especial a Jean-Yves Béziau e Marcelo
Coniglio, pela grata surpresa de organizarem um belíssimo livro em
minha homenagem:
"Logic without Frontiers. Festschrift for Walter Alexandre Carnielli
on the occasion of his 60th birthday", College Publications, Londres,
Dezemb
um wiki que não há de ter fim
http://cantorsattic.info
lógicos matemáticos são particularmente bem-vindos no porão de Cantor!
(certamente que a Templeton Foundation vai gostar da iniciativa)
* * *
Climb into Cantor's Attic, where you will find infinities large and
small. We aim to provide a com
Concurso de Contratação de Professor Doutor em Computação - USP - 2012
*** Novo Campus da USP em Santos ***
*** O Docente pode ficar em São Paulo ou em Santos ***
*** Contrato para 12 Horas Semanais com início em Fevereiro de 2012 ***
*** Não se exige o Regime de Dedicação Integral à Docência e
-- Forwarded message --
From: S Barry Cooper
Date: Wed, Jan 18, 2012 at 11:16 AM
Many thanks for all the feedback to the last email on updates - around 70
emails. Just a quick summary, and many apologies for not replying
individually to all the interesting suggestions, and nice c
O artigo pode ser encontrado para download no seguinte endereço:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9046
Abraços,
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente,
Parabéns Walter pelos 23 anos reais e pelo livro. Idem aos organizadores.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
---
23 matches
Mail list logo