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
pensad
>
>
> 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 e
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 assi
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 wrote:
> Caro Rodrigo,
>
> Vale a pena prestar atenção ao que diz o artigo
>
> Turing Oracle Machines, Online Computing, and Three
Na minha modesta opinião, melhor um Turing homenageado do que nem
Turing nem Post.
2013/6/12 Famadoria :
> 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 wrote:
>
>> Caro Ro
"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
Subject: incompleteness theorems formally verified
Dear friends and colleagues,
L
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
http://www.dimap.ufrn.br/c
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 2
