/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

sbseminar.wordpress.com
| | quomodocumque.wordpress.com
6.9 parsecs away

Travel
| | Ravi suggested that I should give a stable bloghome to this short .pdf of tips for giving math talks, which I wrote a few years ago for our graduate student conference in number theory. It's aimed at people giving their very first seminar talks. Readers, please add in comments the advice I forgot to put...
| | juliawolffenotes.home.blog
8.4 parsecs away

Travel
| | I was reading Dominic Cummings' blog post On the referendum #33: high performance government, 'cognitive technologies', Michael Nielsen, Bret Victor, & 'Seeing Rooms', and at one point he references a nice passage by Nielsen that immediately reminded me of Bill Thurston's experience trying to communicate his ways of thinking in his seminal retrospective On proof...
| | matteocapucci.wordpress.com
5.8 parsecs away

Travel
| | Today I stumbled upon an interesting article about a 'paradoxical' appearance of the axiom of choice in a generalization of the known 'hats on prisoners' puzzle. Two Three interesting thing in the linked page: The generalization of the game: multiple colours, infinite prisoners. I also guess ultrafilters appear, in disguise, when talking equivalences on infinite...
| | math.andrej.com
33.3 parsecs away

Travel
| [AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.