Pode ser de interesse para alguns colegas desta lista. De interesse especial, de qualquer forma, para os que já se esqueceram um dia de que o trabalho inaugural do jovem Turing em Teoria da Computação tratava justamente da definição da classe de "números reais computáveis". JM
------------------------------------------------------------------------------ \\ arXiv:1206.3431 Date: Fri, 15 Jun 2012 11:38:29 GMT (50kb) Title: Computability and analysis: the legacy of Alan Turing Authors: Jeremy Avigad and Vasco Brattka Categories: math.LO cs.LO math.HO Comments: 46 pages \\ We discuss the legacy of Alan Turing and his impact on computability and analysis. \\ ( http://arxiv.org/abs/1206.3431 , 50kb) %-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%-%- %%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%%--%% ------------------------------------------------------------------------------ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l