tphyahoo2

tphyahoo2

8 miesięcy temudiscuss

google: god is silence saramago quote

seems to work ok

tphyahoo2

10 miesięcy temudiscuss

Just drop the axiom of infinity and quit whining.

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

tphyahoo2

11 miesięcy temudiscuss

LMMV: llm, so your mileage may vary.

tphyahoo2

12 miesięcy temudiscuss

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 miesięcy temudiscuss

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 miesięcy temudiscuss

"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

w zeszłym rokudiscuss

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

w zeszłym rokudiscuss

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 lata temudiscuss

[flagged]

tphyahoo2

2 lata temudiscuss

[flagged]

tphyahoo2

3 lata temudiscuss

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 lata temudiscuss

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

maybe you missed the bit about gold.

tphyahoo2

3 lata temudiscuss

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 lata temudiscuss

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 lata temudiscuss

see my reply to redox99 below.

probably would have been better as reply to you.

tphyahoo2

4 lata temudiscuss

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.

tphyahoo2

4 lata temudiscuss

These stories are a way of keeping alive the memory of the victims.

In this case the (alleged) murderer was even tracked down and brought back for a second trial, years later. Songs can keep rage alive for a community.

They're great stories, and it's not strange at all.

Good article.

tphyahoo2

4 lata temudiscuss

a16z companies next?

https://standardcrypto.wordpress.com/2020/04/30/a16z-struggl...

tphyahoo2

4 lata temudiscuss

You can mint new fiat currencies. You can mint new cryptocurrencies. You can issue gold coins diluted with base metals.

But only one cryptocurrency can have the greatest proof of work. Unlike with counterfeit gold, this is easy and cheap to verify. And the cryptocurrency with the greatest proof of work is most secure (against 51% attack) from those who would seek to weaken, control, or destroy it. By its definition, proof of work crypto is a winner-take-almost-all market.

Capital controls are not necessary for a bitcoin dominated world.

tphyahoo2

4 lata temudiscuss

I don't think most bitcoin maxis would claim bitcoin can fix capitalism. Any more than gold could fix capitalism.

Hard money is the least bad option. The universe is still cruel, and life is unfair.

The irony is that communist states love gold, and bitcoin.

Venezuela, like usual for marxist states, confiscates valuables from individuals that manage to squirrel some. Bitcoin, bitcoin miners, whatever can be confiscated and operated to provide hard currency for the government.

Beware those who will help you, by denying you freedom.

Submissions

The Federal Reserve Is a Non Profit

comments