A Slice with Ockham's Razor

1 May 2009

Working on that less formal explanation of my paper has paid another dividend.

The model in the paper has involved six propositions, which function like axiomata, specifically about choices concerning lotteries. I have known for some time that these weren't orthogonal — that there was overlap amongst what they said. It is at best unfortunate to have that sort of redundancy in foundational propositions. But I'd not seen how to reduce it.

This morning, after describing those propositions less formally, and then considering what to say about the theoremata that follow, I started to see how to turn one of those propositions into a theorem. After a bit of musing and fretting, I've effected the change.

Tags: , ,

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.