Showing 1–1 of 1 results for author: Koleszarik, G

Asymptotic Logical Uncertainty and The Benford Test

Authors: Scott Garrabrant, Siddharth Bhaskar, Abram Demski, Joanna Garrabrant, George Koleszarik, Evan Lloyd

Abstract: We give an algorithm A which assigns probabilities to logical sentences. For any simple infinite sequence of sentences whose truth-values appear indistinguishable from a biased coin that outputs "true" with probability p, we have that the sequence of probabilities that A assigns to these sentences converges to p. We give an algorithm A which assigns probabilities to logical sentences. For any simple infinite sequence of sentences whose truth-values appear indistinguishable from a biased coin that outputs "true" with probability p, we have that the sequence of probabilities that A assigns to these sentences converges to p. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Report number: 2015--11 ACM Class: F.4.1