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.
It's skyhooking. Given enough time and enough compute power, we should be able to completely simulate it. It may not be economically feasible, and it may take a long time.
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.
Money is not the root of all evil. The love of money is the root of all evil. This is something like being obsessed with money, or reifying the "symbol" of money.
The theory says that workers with low marginal productivity can move up the productivity scale. And largely, that's what's seen, but it's far from perfect.