Oi Jean-Yves, eu sabia que ele teve uma filha de verdade, por causa do artigo do Urqhart, mas nao sabia do Martin Davis. A genealogia matematica do Davis so' fala do Church. e na generalogia matematica nao tem nenhum aluno do Post listado... Mas 'e bom saber que os paperis dele foram compilados e transformados em livro.
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=37357 Ph.D. Princeton University 1950 UnitedStates Dissertation: On the Theory of Recursive Unsolvability Advisor: Alonzo Church Valeria On Tue, Jun 11, 2013 at 4: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 > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
