Correct. The frequentist is being played for a double loser: the sun has not gone supernova, and he's out $50 (p < 0.0000000...) or the sun has gone supernova, and there will never be an opportunity to settle.
I suspect that we could reorder some class offerings to improve the "throughput" of a math program. I can divide my math education career into before and after the semester I took the course based on Smith/Eggen/St. Andre's "A transition To Advanced Mathematics." Mathematics is proofs, and knowing how to speak them is completely critical. After that course, I could do mathematics much more easily than before. I feel that this book is fundamental to learning mathematics. And the majority of that is being blooded in the art of proof by contradiction and proof by induction.
you really, really should never write things such that task priorities must be of a certain arrangement for the thing to work properly. It's very bad form. Also, from the link "Tasks on the Pathfinder spacecraft were executed as threads with priorities that were assigned in the usual manner reflecting the relative urgency of these tasks." Yeaaaaaugh! "PRIORITIES DO NOT WORK THAT WAY!" - Morbo.