Why Prove it Again?

DOI10.1007/978-3-319-17368-9zbMath1328.00096OpenAlexW2494094483MaRDI QIDQ5249300

John W. jun. Dawson

Publication date: 30 April 2015

Full work available at URL: https://doi.org/10.1007/978-3-319-17368-9

zbMATH Keywords

first-order languagesprime numbersquadratic surdsPythagoras's theoremDesargues's theoremirreducibility of the cyclotomic polynomialsthe fundamental theorem of algebrathe fundamental theorem of arithmetic

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of number theory (11-03) Methodology of mathematics (00A35) Mathematics in general (00A05) General histories, source books (01A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Proof theory and constructive mathematics (03F99) History of field theory (12-03)

Related Items (7)

PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ Abstraction by Embedding and Constraint-Based Design ⋮ Frege on intuition and objecthood in projective geometry ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ Reliability of mathematical inference ⋮ ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence

This page was built for publication: Why Prove it Again?