In the comments to this quick take, I am planning to report on my intellectual journey: what I read, what I learned, what exercises I’ve done, and which projects or research problems I worked on. Thanks to @TristianTrim for suggesting the idea. Feel free to comment with anything you think might be helpful or relevant.
Daily Research Diary
In the comments to this quick take, I am planning to report on my intellectual journey: what I read, what I learned, what exercises I’ve done, and which projects or research problems I worked on. Thanks to @TristianTrim for suggesting the idea. Feel free to comment with anything you think might be helpful or relevant.
20/12/2025
I’ve read Probabilistic Payor Lemma? and Self-Referential Probabilistic Logic Admits the Payor’s Lemma and thought about the problem for a while. I’m not sure I have enough background to fully understand the problem and suggested solutions.
19/12/2025
I’ve read about the Probabilistic Löb theorem and tried to understand it.
02/01/2026
I wrote a part of a future post on probabilistic maths systems.