Obrigado pelo link para essa entrevista do Martin Davis. É preciso excluir o asterisco no final do link para funcionar. Destaco o trecho:
"Briefly, Post was a bit older than Church and certainly older than Turing, and so he came into these ideas well before them, in the early 1920s. From one point of view, he really discovered all the main results well before them. From another point of view, he never got his formulations to the point where they would have been acceptable for publication." Abraço Rodrigo On Tue, Jun 11, 2013 at 8:29 PM, jean-yves beziau <beziau...@gmail.com> wrote: > Emil Post tive uma filha > Phyllis Post Goodman, tem um parque em Nova Iorque que tem o nome dela > http://www.nycgovparks.org/parks/phylisspostgoodmanpark/history > > O Martin Davis pode ser considerado com o filho intellectual do Emil Post: > > * ... at City College, * > *there were two people who had a big influence on * > *me. One was Emil L. Post, who was a great logician * > *and a very direct influence on the direction of my * > *work, and Bennington Gill* > * > * > Extrato de uma entrevista do Martin Davis em Notice of AMS > onde ele fala varias coisas interessante sobre Post > http://www.ams.org/notices/200805/tx080500560p.pdf* > * > > Aqui os arquivos Post establecidos principalemente por Pyllis e Martin: > http://www.amphilsoc.org/mole/view?docId=ead/Mss.Ms.Coll.45-ead.xml > * > * > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
