Why prove things?
History and Overview
2008-03-17 v1
Authors:
Volker Runde
Journal reference: Pi in the Sky 11 (2008), 12-15
Comments: 6 pages, 4 figures; intended for high school students
Abstract
We illustrate the concept of mathematical proof.
Cite
@article{arxiv.0705.3433,
title = {Why prove things?},
author = {Volker Runde},
journal= {arXiv preprint arXiv:0705.3433},
year = {2008}
}
Related papers
View all related →
History and Overview · Mathematics
Desperately seeking mathematical proof
Melvyn B. Nathanson
2009-05-25
History and Overview · Mathematics
What is a proof? What should it be?
Christoph Benzmüller
2019-04-15
History and Overview · Mathematics
Mathematical Proof Between Generations
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David +6
2024-03-05
History and Overview · Mathematics
Motivated proofs: What they are, why they matter and how to write them
Rebecca Lea Morris
2020-03-25
History and Overview · Mathematics
What makes a demonstration worthy of the name?
Paul J. Jorion
2025-09-01
Logic · Mathematics
Proof Theory
Jeremy Avigad
2017-12-19
Artificial Intelligence · Computer Science
Proofs, proofs, proofs, and proofs
Manfred Kerber
2010-05-28
History and Overview · Mathematics
Mathematical Proofs 101: How Proofs Should Be Read, Written, and Taught
Christopher M. van Bommel
2018-06-20
History and Overview · Mathematics
The teaching of proof
Deborah Loewenberg Ball, Celia Hoyles, Hans Niels Jahnke, Nitsa Movshovitz-Hadar
2007-05-23
Computational Complexity · Computer Science
A "Proof" of $P\neq NP$
Tianrong Lin
2021-10-15
History and Overview · Mathematics
A correspondence problem for mathematical proof
Simon DeDeo, Eamon Duede
2026-03-20
History and Overview · Mathematics
Hard Proofs and Good Reasons
Simon DeDeo
2024-10-28
History and Overview · Mathematics
Mathematical Proof
Heinz H. Bauschke
2026-03-11
Systems and Control · Electrical Eng. & Systems
How Deduction Systems Can Help You To Verify Stability Properties
Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2025-03-21
History and Overview · Mathematics
On the importance of illustration for mathematical research
Rémi Coulon, Gabriel Dorfsman-Hopkins, Edmund Harriss, Martin Skrodzki +2
2023-12-29
Number Theory · Mathematics
Automatic Discovery of Irrationality Proofs and Irrationality Measures
Doron Zeilberger, Wadim Zudilin
2021-05-10
Logic in Computer Science · Computer Science
Proving Calculational Proofs Correct
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
2023-11-16
Symbolic Computation · Computer Science
Epistemic Phase Transitions in Mathematical Proofs
Scott Viteri, Simon DeDeo
2022-04-13
History and Overview · Mathematics
Passages of Proof
Cristian S. Calude, Elena Calude, Solomon Marcus
2007-05-23
Logic in Computer Science · Computer Science
Proof-theoretic Semantics and Tactical Proof
Alexander V. Gheorghiu, David J. Pym
2023-03-28
Artificial Intelligence · Computer Science
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella
2014-07-29
History and Overview · Mathematics
Student Sense-Making in Post-Secondary Introductory Proof Courses: An Argument for and Outline of a Methodological Approach
Bolanle Salaam
2023-03-01
Computers and Society · Computer Science
Infomathic
Karim Zayana, Régis Queruel, Pierre Michalak
2023-08-29
Artificial Intelligence · Computer Science
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella
2007-05-23
History and Overview · Mathematics
Mathematics and language
Jeremy Avigad
2015-08-24