8 ms·
> There is a simpler theory without this defect, which is at least as expressive when reasoning about real world phenomena. This is really interesting to know,
by BoiledCabbage 9y ago
> There is a simpler theory without this defect, which is at least as expressive when reasoning about real world phenomena.
This is really interesting to know, and was exactly the type of think that I was wondering about. And I assume the author felt similarly although didn't draw identical conclusions.
Out of curiosity could you describe or link me to this other theory?
- fmap 9y agoI was thinking about categorical probability theory or measure theory based on locales. Unfortunately there are (to the best of my knowledge) no textbooks or good writeups available for either, merely long lines of research papers. As said, it's a bit of a niche area, since most mathematicians don't want to think about reworking foundations.
- rayuela 9y agoAre there any papers you would recommend as good starting points?