tphyahoo2 · HackerTrans

tphyahoo2

7 เดือนที่ผ่านมาdiscuss

google: god is silence saramago quote

seems to work ok

tphyahoo2

10 เดือนที่ผ่านมาdiscuss

Just drop the axiom of infinity and quit whining.

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

tphyahoo2

11 เดือนที่ผ่านมาdiscuss

LMMV: llm, so your mileage may vary.

tphyahoo2

11 เดือนที่ผ่านมาdiscuss

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 เดือนที่ผ่านมาdiscuss

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 เดือนที่ผ่านมาdiscuss

"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

ปีที่แล้วdiscuss

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

ปีที่แล้วdiscuss

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 ปีที่แล้วdiscuss

[flagged]

tphyahoo2

2 ปีที่แล้วdiscuss

[flagged]

comments