Paul Bernays (1888-1977) http://en.wikipedia.org/wiki/Paul_Bernays foi o principal collaborador do Hilbert no dominio da logica. os dois ecreveram junto Grundlagen der Mathematik onde se encontra pela primeira vez (e a ultima vez?) a prova detaladha do segundo teorema de incompletude do Gödel Bernays foi amigo do Gödel e sempre ficou em contacto com ele ver o artigo do Soloman Feferman Lieber Herr Bernays! Lieber Herr Gödel! http://math.stanford.edu/~feferman/papers/bernays.pdf
Paul Bernays foi o principal conceptualizador da teoria dos conjuntos von Neumann-Bernays-Godel, conhecida com NBG. Bernays provou a maior parte dos resultados sobre a logica proposicional classica antes do Emil Post, na dissertacao dele (1918). Bernays orientou os trabalhos do Paul Hertz e do Gerhard Gentzen que revolucionaram a teoria da prova. A maior parte dos trabalhos do Paul Bernays, escritos em alemao, ainda nao foram traduzido sem ingles. Mesmo Grundlagen der Mathematik escrito em conjunto com o Hilbert ainda nao foi traduzido em ingles existe uma traducao em Russo e em Frances (traducao devido ao Marcel Guillaume). Existe o Paul Bernays project http://www.phil.cmu.edu/projects/bernays/ liderado em particular pelo Richard Zach que fiz a traducao inedita do artigo do Paul Bernays publicado em 1926 Axiomatische Untersuchungen des Aussagen-Kalkuls der ‘PrincipiaMathematica’ (primeira publicacao dos resultados da dissertacao dele de 1918) para a antologia de logica universal: http://www.springer.com/mathematics/book/978-3-0346-0144-3 onde este artigo do Bernays e apresentado e commentado pelo Walter Carnielli, num excellente artigo chamado: "Paul Bernays and the eve of non-standard models in logic". JYB _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
