Blog posts from 2021
Engaged
Jul 09 2021, 17:02
No, this isn't some personal blog post.
Derek Muller of the Veritasium fame had posted a new video this afternoon. I'm going to spoil the crap out of the video, so you might want to watch it before reading on.
Continue reading...Flow and the Partition Principle II (2 updates)
Mar 31 2021, 08:01
Well, it seems that there's a new paper about Flow and the Partition Principle on arXiv. This time claiming to prove that in ZF+Atoms the Partition Principle does not imply the Axiom of Choice.
I'll start reading the paper and post live commentary in a couple of days, but at the moment, this is to let you know that I took notice. There seem to be some overlap with the previos paper and I hope that this time it will go faster.
Continue reading...