The Reasoner 12 (9):71-72 (2018)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.
Keywords lucas-penrose argument  simulationism  simulation
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Godel's Theorem is a Red Herring.I. J. Good - 1968 - British Journal for the Philosophy of Science 19 (February):357-8.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Simulated Universe.Brent Silby - 2009 - Philosophy Now 75 (75):28-30.
Yesterday’s Algorithm.William Seager - 2003 - Croatian Journal of Philosophy 3 (9):265-273.
Remarks on Penrose’s “New Argument”.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):231-237.
Mechanism, Truth, and Penrose's New Argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.


Added to PP index

Total views
920 ( #3,885 of 2,324,058 )

Recent downloads (6 months)
55 ( #10,978 of 2,324,058 )

How can I increase my downloads?


My notes