They were believed because the people who read them didn't fully understand them |
The problem is "how do I prove P?" The solution is the proof of P. You can check the solution by following each step in the reasonining of the proof looking for fallacies, but you don't need to prove P yourself to check the proof. |
I think this is a valid proof |
I'm sorry you don't see their value, but they're certainly not pointless. Even for non-mathematicians, they're good training to express ideas clearly and to exercise mathematical rigor. |
I can live on without having to do any more of them in relative bliss. |
This is pretty dodgy. This is true of every claim ever made. This would make a proof no more convincing than any old claim that seems to have reasoning behind it. |
To me, the point of a proof is to PROVE something. |
If you don't understand P, then how can you know if the proof accurately relates to P? |
Hopefully that'll be me when I'm taken out in the next school shooting. |
I said it right at the beginning. A proof is just an argument in favor of a statement. |
But what exactly would that entail? When you write a correct proof the paper doesn't glow or anything, you know? |
If you agree this is the only way to know if a proof is correct, you need to accept that some proofs will be incorrectly believed to be true, and some incorrectly believed to be false. |
"How can we know that the computer didn't encounter an error in its execution of the proof? Even if you run it a thousand times, that doesn't assure us that no errors happened." The implicit assumption is that human brains are infallible, which is grossly incorrect. |
Some proofs involve clever and unintuitive transformations that maybe even the person who wrote it doesn't know how they came up with them. But you don't need to know that to know if the proof is valid. As long as the reasoning used is valid, the proof should hold up. |
Jeez, this has taken a turn... |
The thing about proofs is that it has its own standards as if those mean something and make a proof indestructible. A proof has its own axioms and they do make the proof indestructible. That's the whole outcome of a proof. |
However, a proof isn't anymore valid than a proof by other standards that don't require the same pretentiousness. |
This is my issue with them, that these proofs aren't good for all situations and seem only helpful in rare cases. |
The thing about proofs is that it has its own standards as if those mean something and make a proof indestructible. However, a proof isn't anymore valid than a proof by other standards that don't require the same pretentiousness. |
I'll be sure to have this one handy when the professor says my proof is wrong. |
I understand what you mean, I don't understand how someone can validate a proof is they can't verify how someone went from one step to the next. |
However, a proof isn't anymore valid than a proof by other standards that don't require the same pretentiousness. |
Given you've had a lot of trouble clearly saying what you mean, I think the only course now is to prove your assertion. |
Given you've had a lot of trouble clearly saying what you mean, I think the only course now is to prove your assertion. |
A proof of that would be good here too. A rare case indeed. |
The point of rigor and formality is to make the proof indisputable. When you skip steps or are less strict you run the risk of someone (such as a teacher ;-)) not accepting the proof. |
They'll say that your brain is no less fallible, but theirs has the advantage of experience over yours. |
That's the thing. You're confusing "verify" and "replicate". You can verify. All you need to do is look at the transformation and decide whether it's valid. It's okay while reading a proof to not understand why the author decided to perform a step, all that matters is whether the step is fallacious. |
Mostly useless and unused by most people outside of its one-semester scope in the classroom. |
you still have no idea if they've tried all the needed test cases for the proof |
You'd only be able to say that the proof is valid, but not whether or not it's correct. |
"Test cases"? It's a proof, not software testing. Only proofs by exhaustion test the entire (usually small) problem space. For example, "prove that the first 2^32 naturals have P property". |
If the proof is valid and the premises are true, then the proof is correct; that is, the statement being proven is actually true. I don't understand how you can be proving things and not know this. |
To go from one step to the next, you're not required to show how |
if someone asks why/how you used a specific function call then you can send them to the documentation. |
This is the mindset I had to take in order to get through the class. |
Someone can look at the proof and not know if what they did was valid because they don't understand how they got there. |
Moreover, if you don't understand what's required to prove X, how can you know if the proof adequately does so? |
You're saying "if we can be wrong about the validity of an argument then making an argument is pointless because we'll never know for sure if we've understood it correctly". |
We're always going to be imprisoned inside our own faulty brains looking at the world through our faulty senses. A true solipsist is unable to do science because he can never know if his eyes are deceiving him. |
Maybe I don't understand the question |
I've said and I'll say it again: if a proof starts from true propositions and doesn't contain any fallacies, then necessarily whatever it concludes is true. |
If all proofs are subject to the fallible human brain and the fact that we can't possibly have all the knowledge, then what's the point of proving obvious/easy to prove things using the pretentious standards of mathematical proofs? |
Proofs are like many mathematical studies: useful for expressing an idea in a firm manner. Useful to practice and train the mind to be more detail oriented in all aspects. Useful if you want to win a fight against an equally asinine anally-retentive opponent. A tool to be used in the appropriate circumstances. Mostly useless and unused by most people outside of its one-semester scope in the classroom. |
If all proofs are subject to the fallible human brain and the fact that we can't possibly have all the knowledge, then what's the point of proving obvious/easy to prove things using the pretentious standards of mathematical proofs? |
But that's not a proof, this would be something TO prove. |
No, this statement has faults. The proof must start with ALL true propositions if you want to reach a conclusion that is true. Meaning if you want to prove, for example, something that would need 3 cases, you can't give 2 of them and then conclude with a true proof just because proof contained only true propositions. |
If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. |
Complex proofs cannot rely on intuition as their low level base, because it leaves open too many factors. |
Wow. I'm defending proofs. What have I become? |
(I possibly would get points off for doing two steps in one go, my teacher allowed it but warned it was "bad form") No tennis balls or images of dolls required in this proof. |
By whose standard is a statement "obvious"? |
I challenge you to find a proof that's not reducible to a single tautological logical expression. |
If proving P definitely requires using propositions A, B, and C, and a proof for P uses only A and B, then the proof contains a fallacy of some kind. |
It's really a basic principle in deductive reasoning. Honestly I can't believe you're being asked to write proofs when you haven't taken an introductory course in logic. |
If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. |
A proof that turns out later to be invalid is not a proof. It's that simple. |
Sadly, constructs like those of @zapshe are external to the world as most of us know it. We can desribe this external world as a @zapshe-godel state of utter incompleteness, one where the axioms will never be enough how many they are because new one's will be introduced the moment any resolution draws near. BTW axioms aren't science. |