scientific article; zbMATH DE number 1503606

zbMath0998.00003MaRDI QIDQ4501772

Timothy Gowers

Publication date: 10 September 2000

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

zbMATH Keywords

communication between mathematicianstheory-builders and problem-solvers

Mathematics Subject Classification ID

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

Related Items (15)

Permutations with equal orders ⋮ Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant ⋮ The elementary proof of the prime number theorem ⋮ Skew shape asymptotics, a case-based introduction ⋮ Proving quadratic reciprocity: explanation, disagreement, transparency and depth ⋮ Formalising the Kruskal-Katona theorem in Lean ⋮ Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society ⋮ Computerized deconstruction. ⋮ Proofs and guarantees ⋮ Relating the cut distance and the weak* topology for graphons ⋮ Three-rowed CHOMP ⋮ Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns ⋮ Hook formulas for skew shapes. III: Multivariate and product formulas ⋮ Varieties of mathematical understanding ⋮ Evolution and design inside and outside mathematics

This page was built for publication: