the roamer<p><span class="h-card" translate="no"><a href="https://mstdn.social/@darkling" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>darkling</span></a></span> </p><p>Indeed. And another re-arrangement of the axioms.</p><p>Paul Halmos in his autobiography reports on one of his colleagues who taught a course in measure theory (I quote from memory). He set out the axioms in lecture 1. Come lecture 2, and he explains that actually, the right axioms should be such and such. And so the semester progresses, each week a new, better axiom system, with no time left for any derivations. </p><p>I love that story, on so many levels.</p><p><a href="https://mastodonapp.uk/tags/PaulHalmos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PaulHalmos</span></a> <a href="https://mastodonapp.uk/tags/axiomatics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>axiomatics</span></a> <a href="https://mastodonapp.uk/tags/teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>teaching</span></a> <a href="https://mastodonapp.uk/tags/procrastination" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>procrastination</span></a> <a href="https://mastodonapp.uk/tags/TakeYourTime" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TakeYourTime</span></a> <a href="https://mastodonapp.uk/tags/yesthestudentswillhavelearntmoreinthislecturethaninanyother" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>yesthestudentswillhavelearntmoreinthislecturethaninanyother</span></a></p>