Proof by Computer and Proof by Human - Professor Tony Mann

TL;DR

Proof is the heart of mathematics, providing certainty and establishing truth, and while computer proofs have become more prevalent, they still have limitations.

Transcript

good evening and welcome to grassman College and a particular welcome to Emily who's here for the very first time and we hope it will be the first of many such visits in that case for many pure mathematicians proof is the heart of their subject it's what gives mathematics its power when we prove a mathematical fact but establishing the necessary tr... Read More

Key Insights

• ❓ Proof is the foundation of mathematics, providing certainty and establishing the necessary truth of mathematical statements.
• 📁 Different types of proofs, such as direct proofs, proofs by induction, and proofs by contradiction, are used to demonstrate the truth of mathematical statements.
• 👍 Computers have been used to prove long-standing mathematical conjectures, but their proofs still require human verification and can be affected by errors.
• ⌛ The nature of proof has changed over time, with computer proofs becoming more prevalent, but the need for human oversight and validation remains.

Questions & Answers

Q: What is a mathematical proof?

A mathematical proof is an argument that demonstrates the necessary truth of a proposition, providing certainty and establishing truth.

Q: How do mathematicians prove mathematical statements?

Mathematicians use different types of proofs, including direct proofs, proofs by induction, and proofs by contradiction, to demonstrate the truth of mathematical statements.

Q: How have computers contributed to mathematical proofs?

Computers have been used to prove long-standing mathematical conjectures, such as the four-color theorem and the Kepler conjecture, by checking large sets of configurations and performing complex calculations.

Q: Are computer proofs more reliable than human proofs?

While computer proofs can provide rigorous and detailed proofs, they are not infallible and can be affected by errors, such as soft errors caused by cosmic rays. Both human and computer proofs have limitations and physical constraints.

Summary & Key Takeaways

• Mathematical proof is the process of demonstrating the truth of a proposition, independent of human constraints and physical existence.

• Different types of proofs exist, including direct proofs, proofs by induction, and proofs by contradiction.

• Computers have been used to prove long-standing mathematical conjectures, such as the four-color theorem and the Kepler conjecture.