scientific article; zbMATH DE number 1503606

zbMATH Open0998.00003MaRDI QIDQ4501772FDOQ4501772

Authors: W. Timothy Gowers 

Publication date: 10 September 2000

Title of this publication is not available (Why is that?)

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?

zbMATH Keywords

communication between mathematicianstheory-builders and problem-solvers

Mathematics Subject Classification ID

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

Cited In (20)

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

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)