Muito oportunos os pontos levantados pelo Jean Yves e os comentários
do João Marcos.
Acho que Godel e Turing são os lógicos mais celebrados do século XX, e
certamente são grandes pensadores. Compará-los com outros lógicos que
fizeram trabalhos similares não diminui em nada a grandeza desses
O trabalho do discreto Bernays foi de fato simplesmente sensacional, e
sem ele personalidades díspares como Hilbert e Fraenkel teriam ambos
produzido cientificamente substancialmente menos do que de fato
produziram. Se Bernays não tivesse tido este papel, contudo, ainda
assim teria entrado
Com se sabe logo depois do segundo teorema de incompletude do Gödel
Gentzen provou a consistencia (relativa) da aritmetica.
Gödel gostava muito do trabalho do Gentzen e passou anos estudando este
trabalho
o que levou ele ao ultimo resultado importante dele, sua prova dialectica
que se chama assim
Alguem comentou o trabalho de Turing de 1939 sobre sequências de teorias? Foi
seu doutorado, creio.
Sent from my iPhone
On 11/06/2013, at 21:45, Ruy de Queiroz r...@cin.ufpe.br wrote:
Caro Rodrigo,
Vale a pena prestar atenção ao que diz o artigo
Turing Oracle Machines, Online
Na minha modesta opinião, melhor um Turing homenageado do que nem
Turing nem Post.
2013/6/12 Famadoria famado...@gmail.com:
Alguem comentou o trabalho de Turing de 1939 sobre sequências de teorias? Foi
seu doutorado, creio.
Sent from my iPhone
On 11/06/2013, at 21:45, Ruy de Queiroz
The full development is concise, at under 17,000 lines, plus a
further 3000 lines to develop HF set theory.
JM
-- Forwarded message --
Date: Wed, 12 Jun 2013 12:37:10 -0400
From: Jeremy Avigad avi...@cmu.edu
Subject: incompleteness theorems formally verified
Dear friends and
Concordo plenamento com seu raciocino Marcelo
e na mesma linha de Reductio ad Disjunctum diria
Melhor um Ratinho ser homenageado que nem o Ratinho nem o Faustao ser
homenageado !
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
Sorry for duplicate messages **
Dear Colleagues,
This is the second announcement for the Brazilian Conference on
General Topology and Set Theory STW 2013, in honour of Ofelia Alas
on the occasion of her 70th birthday.
The conference will take place from 12th to 16th August
