scientific article; zbMATH DE number 1748585

zbMath1001.03051MaRDI QIDQ4530470

John Alan Robinson

Publication date: 15 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

explanationsproofsBertrand's conjecture

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Proof theory in general (including proof-theoretic semantics) (03F03) Factorization; primality (11A51)

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Proofs and guarantees ⋮ Reliability of mathematical inference ⋮ Knowledge-based proof planning ⋮ Direct proofs of Lindenbaum conditionals ⋮ From Euclidean geometry to knots and nets ⋮ The calculus of natural calculation ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS