“If you can’t provide me with a reason, I have to assume you’re wrong.”
One: I make a mathematical claim, while talking to a (smart) mathematician. They say “That doesn’t * hold. **”
Two: I explain the proof/the conditions for the proof. The mathematician says, “Right, it holds under those conditions.”
The only problem is, when I can’t generate a proof. Then “One” can happen, but not “Two”.
Unspoken:
*necessarily
**in all cases.
One: I make a mathematical claim, while talking to a (smart) mathematician. They say “That doesn’t * hold. **”
Two: I explain the proof/the conditions for the proof. The mathematician says, “Right, it holds under those conditions.”
The only problem is, when I can’t generate a proof. Then “One” can happen, but not “Two”.
Unspoken:
*necessarily
**in all cases.