
Recent Posts
December 2018 S M T W T F S « Dec 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Archives
Advertisements
Time for a writeup! Or something. So I’ve written before about Logical Uncertainty in a very vague way. And a few weeks ago I wrote about a specific problem of Logical Uncertainty which was presented in the MIRI workshop. I’m gonna reference definitions and results from … Continue reading
So I’m at a MIRI workshop on Logical Uncertainty, and I’m gonna make a more complete post about it later, but I wanted to talk about a thing that has been on my mind. So we’re trying to build a … Continue reading
A while ago, I wrote up a post that explained what a mathematical proof is. In short, a mathematical proof is a bunch of sentences that follow from other sentences. And when mathematicians have been trying to prove stuff for hundreds … Continue reading
Talking to raginrayguns again and he mentioned that a month and a half ago, Paul Christiano wrote a paper exactly on the subject of logical uncertainty. While I haven’t finished reading it yet, I’ll publish it here because it’s relevant. … Continue reading
And I forgot to mention one thing in the last post which is relevant. Gaifman, in his paper, states that if in we have that then . I’ll quickly show that that’s a theorem of my approach, and, indeed, any similar … Continue reading
In the past while, I’ve been talking to a friend about logical uncertainty. Specifically, how do we deal with the fact that we’re not logically omniscient? Usually, when , we have that . But what if we don’t know that ? What if we … Continue reading
One of the greatest problems people who are getting into hardcore maths face, one of the blocks, is how arbitrary the axioms look. Axioms are the fundamental truths of a mathematical system, the things we do not prove. Whenever people are introduced … Continue reading
…is the basic form of logic whose atoms (or the basic structures upon which it acts) are propositions. A proposition is nothing more than a sentence in some language that states something. Within propositional logic, each sentence can have one of … Continue reading