Interessante dar uma olhada na lista de referências. Inclui Martin-Lof, Barwise, Aczel, etc. num contexto diferente.
Adolfo --------- Is Life Computable? Anthony Chemero Scientific and Philosophical Studies of Mind Program, Franklin & Marshall College [email protected] and Michael T. Turvey Center for the Ecological Study of Perception and Action, University of Connecticut [email protected] Abstract. This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is to provide a hyperset analysis of Robert Rosen’s metabolism-repair systems and his claim that living things are closed to efficient cause. Consequences of the hyperset models for Rosen’s claims concerning computability and life are discussed. ----------- Fonte: http://twitter.com/srlm/status/10498709915 Chemero + Turvey: Is Life Computable? Rosen´s models of living systems are TURING computable. http://bit.ly/cwHesN #HFC<http://twitter.com/search?q=%23HFC> ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> Blog: http://professoradolfo.blogspot.com Twitter: http://twitter.com/adolfont ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
