Mathematical shortcomings in a simulated universe

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

Abstract

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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Incompleteness And The Argument Lucas-penrose.Virgil DrĂghici - 2001 - Studia Philosophica 1.
The Simulated Universe.Brent Silby - 2009 - Philosophy Now 75 (75):28-30.
On Some Properties of Humanly Known and Humanly Knowable Mathematics.Jason L. Megill, Tim Melvin & Alex Beal - 2014 - Axiomathes 24 (1):81-88.
Why Doomsday Arguments are Better than Simulation Arguments.M. Richmond Alasdair - 2016 - Ratio 30 (3):221-238.
The Gödelian Argument: Turn over the Page.John R. Lucas - 2003 - Etica E Politica 5 (1):1.
Yesterday’s Algorithm: Penrose and the Gödel Argument.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.
The simulation argument and the self-indication assumption.Paul Franceschi - unknown
Penrose and mathematical ability.William S. Robinson - 1992 - Analysis 52 (2):80-88.
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.
Are We Sims? How Computer Simulations Represent and What this Means for the Simulation Argument.Claus Beisbart - 2014 - The Monist 97 (3):399-417.
Experiments on Theories: The Construction of Scientific Computer Simulation.Deborah Caitlin Dowling - 1998 - Dissertation, University of Melbourne (Australia)
Programming Planck units from a virtual electron; a Simulation Hypothesis (summary).Malcolm Macleod - 2018 - Eur. Phys. J. Plus 133:278.
The simulation argument: Some explanations.Nick Bostrom - 2009 - Analysis 69 (3):458-461.
On the Question of Whether the Mind Can Be Mechanized, I: From Gödel to Penrose.Peter Koellner - 2018 - Journal of Philosophy 115 (7):337-360.

Analytics

Added to PP
2018-09-04

Downloads
1,176 (#10,072)

6 months
54 (#77,219)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Samuel Allen Alexander
Ohio State University (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

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