[Logica-l] problema da parada

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

[Logica-l] Teoria de probabilidades como lógica

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

[Logica-l] Feliz natal

Aos colegas lógicos, Cliquem no link para receber meu cartão de Natal http://www.jacquielawson.com/viewcard.asp?code=3188630304566source=jl999 PS - Sou eu mesma, Andréa, não é virus... Deixem-me provar - ou demonstrar :) - Tarski escreveu famosos artigos sobre a verdade - Godel

[Logica-l] ABERTURA DE CONCURSO PÚBLICO PARA PROFESSOR ADJUNTO: Teoria da Computação

-- 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

[Logica-l] FELIZ NATAL E CHANUKAH SAMEACH

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

[Logica-l] Logical Opposition - Beirut, Lebanon, June 2012

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/

[Logica-l] obituário de Sir Michael Dummett

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

[Logica-l] Documentário: Alta Ansiedade: A Matemática do Caos

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

[Logica-l] IJCAR 2012: 2nd Call for Papers

Repassando... * Apologies for multiple copies of this announcement * -- Second Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning

[Logica-l] Documentário: Alta Ansiedade: A Matemática do Caos (reenviando)

(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

[Logica-l] Fwd: Curso de Verão (Depto de Matemática): Homotopy Type Theory, por Peter Lumsdaine

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

[Logica-l] Artigo

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,

[Logica-l] Fwd: [ATY/TCAC] Update - January 8, 2012

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

[Logica-l] A lista saiu do ar ?

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

[Logica-l] Agradecimentos pelo Festschrift

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,

[Logica-l] porão de Cantor

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

[Logica-l] Computação - USP: Concurso de Contratação em Tempo Parcial

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

[Logica-l] Fwd: [ATY] January 18 update

-- Forwarded message -- From: S Barry Cooper pmt6...@maths.leeds.ac.uk 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

Re: [Logica-l] Artigo

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

Re: [Logica-l] Agradecimentos pelo Festschrift

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