The development of Artificial General Intelligence (AGI) promises to be a major event. Along
with its many potential benefits, it also raises serious safety concerns (Bostrom, 2014). The …

The field of artificial intelligence has recently experienced a number of breakthroughs thanks
to progress in deep learning and reinforcement learning. Computer algorithms now …

We introduce a framework that can be used to model both mathematics and human
reasoning about mathematics. This framework involves stochastic mathematical systems …

The dominant theories of rational choice assume logical omniscience. That is, they assume
that when facing a decision problem, an agent can perform all relevant computations and …

Practicing mathematicians often assume that mathematical claims, when they are true, have
good reasons to be true. Such a state of affairs is" unreasonable", in Wigner's sense …

We propose that verbal irony is a form of linguistic countersignaling, where agents engage
in pretense about the state of the world or the perspective they hold in order to communicate …

Interest has been renewed in the study of consciousness, both theoretical and applied,
following developments in 20th and early 21st century logic, metamathematics, computer …

Four main forms of Doomsday Argument (DA) exist—Gott's DA, Carter's DA, Grace's DA and
Universal DA. All four forms use different probabilistic logic to predict that the end of the …

We consider the task of forecasting an infinite sequence of future observations based on
some number of past observations, where the probability measure generating the …

Interest has been renewed in the study of consciousness, both theoretical and applied,
following developments in 20th and early 21st century logic, metamathematics, computer …