> Prospective theorems are not theorems until a proof is presented. At which point they become retrospective theorems.
...
> The presence of a counter-example to Sean Hunter's "theorem" simply demonstrates that it's not a theorem. It's a misnomer.
That is what I said. I showed a mathematical statement and I showed how you could falsify it. Since you said "mathematics is not falsifiable" I have shown your statement is not true. Do you see why?
You were the one who decided that the distinction between conjectures and theorems is important. I have now shown two examples of mathematics that was falsified.
Unless you're trying to say neither me nor Euler was a mathematician in which case we can agree about me but not about Euler.
...
> The presence of a counter-example to Sean Hunter's "theorem" simply demonstrates that it's not a theorem. It's a misnomer.
That is what I said. I showed a mathematical statement and I showed how you could falsify it. Since you said "mathematics is not falsifiable" I have shown your statement is not true. Do you see why?
You were the one who decided that the distinction between conjectures and theorems is important. I have now shown two examples of mathematics that was falsified.
Unless you're trying to say neither me nor Euler was a mathematician in which case we can agree about me but not about Euler.