3 ms·
Thank you for all of this and the large type, too! Would you do uncertainty logic next? https://arxiv.org/abs/1506.03123 https://arxiv.org/abs/1506.03123 http
by crawfordcomeaux 5y ago
Thank you for all of this and the large type, too!
Would you do uncertainty logic next?
https://arxiv.org/abs/1506.03123 https://arxiv.org/abs/1506.03123
https://arxiv.org/abs/1810.01310 https://arxiv.org/abs/1810.01310
- boris_m 5y agoIn this book I am focused on category theory, but I may write some more about logic in other places.
- crawfordcomeaux 5y agoI've really been wanting a friendly-like-what-you've-made category theory treatment of those two papers is what I'm trying to say. I've been assuming most/all things in life are uncertain. It's had a profoundly helpful impact on my life, so I'm trying to come to a deeper understanding of how to reason about an uncertain universe, which I think may be something a lot of people are needing these days. The first paper helped a bit, but I haven't really dug into and understood most of it.