9,297 research outputs found
A type of simulation which some experimental evidence suggests we don't live in
Do we live in a computer simulation?
I will present an argument that the results of a certain
experiment constitute empirical evidence that we do not live
in, at least, one type of simulation. The type of simulation
ruled out is very specific. Perhaps that is the price one must
pay to make any kind of Popperian progress
Mathematical shortcomings in a simulated universe
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
A machine that knows its own code
We construct a machine that knows its own code, at the price of not knowing
its own factivity.Comment: 7 page
The Archimedean trap: Why traditional reinforcement learning will probably not yield AGI
After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways traditional reinforcement learning could be altered to remove this roadblock
- …