Spyke

Replies

Comment on

I just cited myself.

Reply in thread

You are just wrong.

The rigorous explanation for why 0.999...=1 is that 0.999... represents a geometric series of the form 9/10+9/10^2+... by definition, i.e. this is what that notation literally means. The sum of this series follows by taking the limit of the corresponding partial sums of this series (see here) which happens to evaluate to 1 in the particular case of 0.999... this step is by definition of a convergent infinite series.

agora

Comment on

[Discussion] Defederating is lame

Why don't you leave? Why do other people need to tolerate things for your benefit? It seems like if there is a particular kind of content the majority of your instance does not want to have around but that you still want to engage with, then the onus should be on you to leave right?

Comment on

How do you explain the principal of "you cannot prove a negative" to someone that is very weak at abstractions like this?

If you subscribe to classical logic (i.e., propositonal or first order logic) this is not true. Proof by contradiction is one of the more common classical logic inference rules that lets you prove negated statements and more specifically can be used to prove nonexistence statements in the first order case. People go so far as to call the proof by contradiction rule "not-introduction" because it allows you to prove negated things.

Here's a wiki page that also disagrees and talks more specifically about this "principle": source (note the seven separate sources on various logicians/philosophers rejecting this "principle" as well).

If you're talking about some other system of logic or some particular existential claim (e.g. existence of god or something else), then I've got not clue. But this is definitely not a rule of classical logic.