pfried
@pfried@reddthat.com
- Comment on The bosses are never going to just hand workers a 32 hour workweek. 6 days ago:
Of course not. It needs to be legislated, just like the 40 hour workweek and worker safety laws. Is there anybody who really thinks companies will disadvantage themselves against their competitors?
- Comment on Theories on Theories 2 weeks ago:
Better by the only criteria that matters. Once something is proved, everybody will agree to it given enough time to examine and question the proof. Once someone makes a mathematical proof, the philosophical arguments are thrown on the trash heap.
- Comment on Theories on Theories 2 weeks ago:
And again, the history of philosophy is replacing philosophical arguments with better tools.
- Comment on Theories on Theories 2 weeks ago:
It’s generally agreed
That’s my point. Mathematical proofs aren’t generally agreed. Philosophical arguments are generally agreed upon until the tools to take them out of philosophy are developed, and then the philosophical arguments are discarded entirely.
- Comment on Theories on Theories 2 weeks ago:
It’s not about those specific proofs.
It certainly is about those specific proofs and anything that has been rigorously proven in Lean. We’re discussing techniques that show something is correct forever, and those proofs show that something is correct forever. Philosophical arguments don’t even show that something is correct today.
Furthermore, the kernel still relies on CPU, memory and OS behavior to be bug free.
Only to a point, just like human language proofs require the reviewers brains to be bug free to a point. The repeated verification makes proofs as correct as anything can get.
- Comment on Theories on Theories 2 weeks ago:
The fact that C++ is Turing complete does not prevent it from computing that 1+1=2. Similarly, the fact that Lean is Turing complete does not prevent it from verifying the proofs that it has verified.
- Comment on Theories on Theories 2 weeks ago:
It is not necessary to solve the halting problem to show that a particular proof is correct.
- Comment on Theories on Theories 2 weeks ago:
You’re just covering my third paragraph. Yes, everybody is a philosopher because we don’t have the tools to do away with philosophical arguments entirely yet.
- Comment on Theories on Theories 2 weeks ago:
And we determined that the resulting incompleteness proofs are valid mathematical proofs.
- Comment on Theories on Theories 2 weeks ago:
They are clearly mathematical. Starting with definitions and axioms and deriving from there using mathematical statements.
- Comment on Theories on Theories 2 weeks ago:
But that’s math.
- Comment on Man on a mission 2 weeks ago:
Yes, it’s a disgusting joke, but it’s no more possible to rape a dead body than it is to for JD Vance to rape his couch. It’s no more possible to rape a dead body than it is to kill a dead body.
- Comment on The UN Voted to Make Food A Human Right, Only Two Countries Voted No: Israel and USA 4 weeks ago:
It’s not bothsidesing if you take a position. It’s steelmanning.
- Comment on The UN Voted to Make Food A Human Right, Only Two Countries Voted No: Israel and USA 4 weeks ago:
The person I was replying to said that the US vetoed the Resolution. I pointed out that it did not and cannot veto the Resolution. It passed.
- Comment on The UN Voted to Make Food A Human Right, Only Two Countries Voted No: Israel and USA 4 weeks ago:
No, it’s not. Your confusion probably stems from the fact that the US has veto power of UN Security Resolutions. It cannot veto Resolutions passed by the General Assembly. This was a General Assembly Resolution.
- Comment on The UN Voted to Make Food A Human Right, Only Two Countries Voted No: Israel and USA 5 weeks ago:
No, it’s not. This resolution was adopted with a vote of 182-2-0. digitallibrary.un.org/record/3954949?ln=en&v=pdf
- Comment on The UN Voted to Make Food A Human Right, Only Two Countries Voted No: Israel and USA 5 weeks ago:
The article would be better if it linked to the reasons for the no votes and critiqued them. Otherwise, it’s just low effort outrage bait.