IACAP 2014 - ARCM Symposium

ANTI-REDUCTIONIST COMPUTATIONAL METAPHORS IN EVOLUTION, METAMATHEMATICS, COMPUTING AND THE CONTEMPORARY HUMAN SELF-IMAGE (ARCM)

WEDNESDAY - 02/07/14 - SYMPOSIUM 1

16.00 Gregory Chaitin. What is Creativity?

16.30 Felipe Abrahão. Modeling Life: Computers, Hypercomputers and Subcomputers

17.00 Isabel Cafezeiro. Collaborativity as an Anti-Reductionist Computational Metaphor

17:30 Carmem C. Gadelha Perreira. For a Contemporary Theater and Mathematics Encounter

18:00 Virginia M. F. Gonçalves Chaitin. Metabiology and the Human Self-Image

We are exploring anti-reductionist computational metaphors for mathematics, computing, evolution, creativity and a vision of humanity that does not reduce us to (mere) mechanical devices. The conceptual toolkit used in this research includes algorithmic information theory, hyper-computation, transreal numbers, incompleteness, undecidability, and extends to questions regarding man/machine relations and their social, subjective and aesthetic consequences, networked computing and networks of networks. The overall style is that of post-modern (post Gödel and Turing) mathematics and computing, and leads to an open rather than closed, a rhizomatic or networked rather than hierarchical, view of biology, of mathematics, computing, and of human cognition that constitutes our contemporary self-image.

ACCEPTED PAPERS

Gregory Chaitin. What is Creativity?

Virginia Chaitin. Metabiology and the Human Self-Image

Carmem Gadelha. For a Contemporary Theater and Mathematics Encounter

Francisco Antonio Doria. A Zoo of Undecidable Sentences

Isabel Cafezeiro. Collaborativity as an Anti-Reductionist Computational Metaphor

Tiago Soares Dos Reis. Division by Zero and Transreal Numbers: The Computer Giving Rise to a Conceptual Discussion in Mathematics

Felipe Abrahão. Metabiological Evolution of Hyper-Programs

Walter Gomide. Theology of Information

Maira M Froes. Common Grounds to Art and Computation as Creative Abstractions: A Glimpse on Neurobiological Roots of Human Cognitive Behavior

PROGRAM COMMITTEE

G Dodig-Crnkovic, G. Chaitin, V. Chaitin, I. Cafezeiro, V. Müller

SYMPOSIUM ORGANIZER

Gordana Dodig-Crnkovic, Professor, Mälardalen University, Sweden

CALL FOR PAPERS (CLOSED)

Papers related to the topic of the symposium can be submitted to the IACAP 2104 site: http://www.pt-ai.org/iacap/2014

Submission online at EasyChair:

https://www.easychair.org/conferences/?conf=iacap2014