scientific article; zbMATH DE number 1503606

MaRDI QIDQ4501772zbMATH OpenFDO

Authors W. Timothy Gowers

Publication date 10 September 2000

zbMATH Keywords

communication between mathematicianstheory-builders and problem-solvers

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Extremal combinatorics (05D99)

Recommendations

• On proof and progress in mathematics
• scientific article; zbMATH DE number 1374443
• scientific article; zbMATH DE number 827999
• scientific article; zbMATH DE number 3573789
• Is mathematics problem solving or theorem proving?

Cited in

(20)

• Formalising the Kruskal-Katona theorem in Lean
• Three old problems from the Polish school of mathematics
• Proofs and guarantees
• Varieties of mathematical understanding
• Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
• Permutations with equal orders
• Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
• Evolution and design inside and outside mathematics
• Hook formulas for skew shapes. III: Multivariate and product formulas
• Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns
• Three-rowed CHOMP
• scientific article; zbMATH DE number 4059314 (Why is no real title available?)
• Proving quadratic reciprocity: explanation, disagreement, transparency and depth
• The elementary proof of the prime number theorem
• ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
• Relating the cut distance and the weak* topology for graphons
• The diversity of mathematical cultures: one past and some possible futures
• Computerized deconstruction.
• Skew shape asymptotics, a case-based introduction
• scientific article; zbMATH DE number 7532320 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501772)