tphyahoo2 · HackerTrans

tphyahoo2

vor 7 Monatendiscuss

google: god is silence saramago quote

seems to work ok

tphyahoo2

vor 10 Monatendiscuss

Just drop the axiom of infinity and quit whining.

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

tphyahoo2

vor 11 Monatendiscuss

LMMV: llm, so your mileage may vary.

tphyahoo2

vor 11 Monatendiscuss

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

vor 12 Monatendiscuss

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

vor 12 Monatendiscuss

"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

letztes Jahrdiscuss

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

letztes Jahrdiscuss

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

vor 2 Jahrendiscuss

[flagged]

tphyahoo2

vor 2 Jahrendiscuss

[flagged]

tphyahoo2

vor 3 Jahrendiscuss

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

vor 3 Jahrendiscuss

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

maybe you missed the bit about gold.

tphyahoo2

vor 3 Jahrendiscuss

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.

comments