Post-human mathematics
arXiv:1308.4678
Abstract
Present day mathematics is a human construct, where computers are used more and more but do not play a creative role. This situation may change however: computers may become creative, and since they function very differently from the human brain they may produce a very different sort of mathematics. We discuss what this post-human mathematics may look like, and the philosophical consequences that this may entail.
arXiv comment8 pages ESI conference in Vienna (April 2013)g