tphyahoo2 · HackerTrans

tphyahoo2

7 tháng trướcdiscuss

google: god is silence saramago quote

seems to work ok

tphyahoo2

10 tháng trướcdiscuss

Just drop the axiom of infinity and quit whining.

https://en.wikipedia.org/wiki/Ultrafinitism

tphyahoo2

11 tháng trướcdiscuss

LMMV: llm, so your mileage may vary.

tphyahoo2

11 tháng trướcdiscuss

Thanks for articulating this.

https://math.andrej.com/2010/03/29/proof-of-negation-and-pro...

also

"It’s fine to use a proof by contradiction to show something doesn’t exist. When the assumption that it does exist leads to a contradiction, then that shows it can’t exist.

It’s not so fine to use a proof by contradiction to show something does exist. Here’s the situation. The assumption that it does not exist leads to a contradiction. What can you conclude from that? You would like say “therefore it exists”. But you haven’t got any idea what it is. You may know it’s out there somewhere, but you have no idea how to find it. It would be better to have a proof that tells you what it is.

That’s a difference between what’s called “classical logic” and “intuitionistic logic”. In classical logic, proof by contradiction is perfectly accepted as a method of deductive logic. In intuitionistic logic, proof by contradiction is accepted to show something doesn’t exist, but is not accepted to show something does exist."

David Joyce, https://www.quora.com/In-math-are-there-any-proofs-that-can-...

tphyahoo2

12 tháng trướcdiscuss

I'm not disagreeing (I'm on the fence. Also a bit of a nube.). I thought this was a good read and on topic.

https://www.quora.com/In-math-are-there-any-proofs-that-can-...

tphyahoo2

12 tháng trướcdiscuss

"In constructive mathematics, proof by contradiction, while not universally rejected, is treated with caution and often replaced with direct or constructive proofs."

  (gemini llm answer to google query: constructive math contradiction)

"Wiles proved the modularity theorem for semistable elliptic curves, from which Fermat’s last theorem follows using proof by contradiction."

  https://en.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_Last_Theorem

So, will the Lean formalization of FLT involve translation to a direct or constructive proof? It seems not, I gather the proof will rely on classical not constructive logic.

"3. Proof by Contradiction: The core of the formal proof involves assuming ¬Fermat_Last_Theorem and deriving a contradiction. This contradiction usually arises from building a mathematical structure (like an elliptic curve) based on the assumed solution and then demonstrating that this structure must possess contradictory properties, violating established theorems. 4. Formalizing Contradiction: The contradiction is formalized in Lean by deriving two conflicting statements, often denoted as Q and ¬Q, within the context of the assumed ¬Fermat_Last_Theorem. Since Lean adheres to classical logic, the existence of these conflicting statements implies that the initial assumption (¬Fermat_Last_Theorem) must be false."

(gemini llm answer to google query: Lean formalization of fermat's last theorem "proof by contradiction")

tphyahoo2

năm ngoáidiscuss

https://en.wikipedia.org/wiki/Dekulakization

"Is it a good idea?"

No, not "obviously one crush" and nor are there no consequences if one were to try.

https://archive.md/qlbDM#selection-49.0-49.64

("Georg Ritter von Flondor, and what his unhappy life can teach us")

tphyahoo2

năm ngoáidiscuss

Furious words and threats won't stop bitcoin.

Neither will bans and prohibitions, unless you are willing to go full north korea with cameras everywhere and computers locked down. And you'll probably fail with that.

You're beating your fists against an ocean.

Touch some grass.

tphyahoo2

2 năm trướcdiscuss

[flagged]

tphyahoo2

2 năm trướcdiscuss

[flagged]

tphyahoo2

3 năm trướcdiscuss

I'm sure the kidnapper could help you with that.

Curent ransomware helpfully tells you where to buy bitcoin.

Btw as a bitcoin maxi, this doesn't make me happy.

tphyahoo2

3 năm trướcdiscuss

"Without bitcoin, you collect the ransom in gold with a dead drop."

maybe you missed the bit about gold.

tphyahoo2

3 năm trướcdiscuss

Without bitcoin, you collect the ransom in gold with a dead drop.

https://en.wikipedia.org/wiki/Dead_drop

"But the police can watch the dead drop."

True.

"No police or the victim dies."

Also true.

Bitcoin does make kidnapping a bit easier though. It is true.

It also makes hyperinflation by the state impossible. Hyperinflation does a lot more damage than kidnapping.

tphyahoo2

4 năm trướcdiscuss

I agree, and this is a reason I am glad bitcoin exists.

My point is that there is nothing stopping bitcoin from being used in a paper cash like way, any more than any other value carrying token.

Bitcoin without government support? Possible, but inconvenient and dangerous. Bitcoin with government support? More nice things.

Currently we are in the "with government support" world, more or less. I hope this continues.

tphyahoo2

4 năm trướcdiscuss

see my reply to redox99 below.

probably would have been better as reply to you.

tphyahoo2

4 năm trướcdiscuss

Anyone can issue (paper) cash.

Cash is just a paper IOU for some other thing. With 100 dollar bill, that thing is 100 USD. You could also issue paper for gold backed IOU, or gold itself, or bitcoin.

https://en.wikipedia.org/wiki/Wildcat_banking

Counterfeiting paper is a problem, so you need force against this, and this is why the government is generally involved. But what kind of paper counterfeiting is enforced against, is just a legality. Currently the wost thing to counterfeit is 100 dollar bills. Law could be changed to make it equally bad to counterfeit gold bills, or bitcoin bills.

Saying bitcoin is less private than cash is a category error.

comments