logoalt Hacker News

hexagalast Saturday at 5:17 AM2 repliesview on HN

If wishes were fishes, as they say.

To demonstrate with another example: "Gee, dying sucks. It's 2025, have you considered just living forever?"

To this, one might attempt to justify: "Isn't it sufficient that dying sucks a lot? Is it so hard to understand that having seen people die, I really don't want to do that? It really really sucks!", to which could be replied: "It doesn't matter that it sucks, because that doesn't make it any easier to avoid."


Replies

guerrillalast Saturday at 9:23 AM

I understand where you're coming from but it's a bad analogy. Formal proofs are extremely difficult but possible. Immortality is impossible.

show 1 reply
DoctorOetkerlast Sunday at 4:17 AM

wishes can be converted to incentives, what if the incentives change such that formally verified proofs were rewarded more and informal "proofs" less?

show 1 reply