Sobre o trabalho de Post em relacao a do Turing aconselho o seguinte artigo da Lisbeth de Mol, (BSL, 12, 2006): Closing the Circle: An Analysis of Emil Post's Early Work "It is by now an accepted fact that Emil Leon Post "anticipated" the incompleteness and undecidability results of Gödel, Church and Turing in the period from 1920-21 during his stay at the Princeton University as a Procter fellow ..." http://www.jstor.org/discover/10.2307/4617262?uid=3737664&uid=2&uid=4&sid=21102384294377
E vem ai a pagina da Lisbeth http://logica.ugent.be/centrum/members/members.php?situatie=no&persoon_id=116 Tambem recomando o excelente artigo do Alasdair Urquart descrevendo a personalidade surpredente de do Emil Post "It was during the academic year 1920–21 that Emil Post made his most dramatic discoveries in logic, anticipating by a decade or more the work of Gödel, Church, Turing, and others on incompleteness and undecidability ..." in Handbook of the History of Logic Volume 5, 2009, Pages 617–666 - Logic from Russell to Church http://www.sciencedirect.com/science/article/pii/S1874585709700160 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
