- See Also
-
Links
- “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Et Al 2023
- “OEIS: A Handbook of Integer Sequences 50 Years Later”, 2023
- “Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning”, Et Al 2022
- “Mathematical Proof Between Generations”, Et Al 2022
- “Connecting the Scientific and Industrial Revolutions: The Role of Practical Mathematics”, Kelly & 2022
- “NaturalProver: Grounded Mathematical Proof Generation With Language Models”, Et Al 2022
- “HTPS: HyperTree Proof Search for Neural Theorem Proving”, Et Al 2022
- “End-to-end Symbolic Regression With Transformers”, Et Al 2022
- “PaLM: Scaling Language Modeling With Pathways”, Et Al 2022
- “Deep Symbolic Regression for Recurrent Sequences”, D’Et Al 2022
- “A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More”, Et Al 2021
- “What Is the Point of Computers? A Question for Pure Mathematicians”, 2021
- “Scaling Language Models: Methods, Analysis & Insights from Training Gopher”, Et Al 2021
- “Training Verifiers to Solve Math Word Problems”, Et Al 2021
- “A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers”, Et Al 2021
- “SymbolicGPT: A Generative Transformer Model for Symbolic Regression”, Et Al 2021
- “Basins With Tentacles”, 2021
- “Behavioral and Neuronal Representation of Numerosity Zero in the Crow”, Et Al 2021
- “MathBERT: A Pre-Trained Model for Mathematical Formula Understanding”, Et Al 2021
- “Constructions in Combinatorics via Neural Networks”, 2021
- “NaturalProofs: Mathematical Theorem Proving in Natural Language”, Et Al 2021
- “Are NLP Models Really Able to Solve Simple Math Word Problems?”, Et Al 2021
- “TacticZero: Learning to Prove Theorems from Scratch With Deep Reinforcement Learning”, Et Al 2021
- “Proof Artifact Co-training for Theorem Proving With Language Models”, Et Al 2021
- “How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The Goal of The ‘Busy Beaver’ Game Is to Find the Longest-running Computer Program. Its Pursuit Has Surprising Connections to Some of the Most Profound Questions and Concepts in Mathematics”, 2020
- “The Empirical Metamathematics of Euclid and Beyond”, 2020
- “Generative Language Modeling for Automated Theorem Proving”, 2020
- “Lights and Shadows”, 2020
- “Singing Euclid: the Oral Character of Greek Geometry”, 2020
- “Remembering John Conway’s FRACTRAN, a Ridiculous, yet Surprisingly Deep Language”, 2020
- “Radical Solutions: French Mathematician Évariste Galois Lived a Full Life. When He Wasn’t Trying to Overthrow the Government, He Was Reinventing Algebra”, 2020
- “Learning to Prove Theorems by Learning to Generate Theorems”, 2020
- “Transformers As Soft Reasoners over Language”, Et Al 2020
- “Neural Arithmetic Units”, 2020
- “Generative Language Modeling for Automated Theorem Proving § Experiments”, 2020 (page 11 Org Openai)
- “Deep Learning for Symbolic Mathematics”, 2019
- “MAWPS: A Math Word Problem Repository”, Koncel-Et Al 2019
- “Analysing Mathematical Reasoning Abilities of Neural Models”, Et Al 2019
- “Fancy Euclid’s Elements In TeX”, 2019
- “The First Printed Math Books”, 2019
- “Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch”, 2019
- “Making of Byrne’s Euclid”, 2018
- “Neural Arithmetic Logic Units”, Et Al 2018
- “Mastering Chess and Shogi by Self-Play With a General Reinforcement Learning Algorithm”, Et Al 2017
- “From Boiling Lead and Black Art: An Essay on the History of Mathematical Typography”, 2017
- “Program Induction by Rationale Generation: Learning to Solve and Explain Algebraic Word Problems”, Et Al 2017
- “Solving General Arithmetic Word Problems”, 2016
- “DeepMath—Deep Sequence Models for Premise Selection”, Et Al 2016
- “Too Good to Be True: When Overwhelming Evidence Fails to Convince”, Et Al 2016
- “Probabilistic Integration: A Role in Statistical Computation?”, Et Al 2015
- “Random Gradient-Free Minimization of Convex Functions”, 2015
- “Neural Networks, Manifolds, and Topology”, 2014
- “Mathematics in the Age of the Turing Machine”, 2013
- “On Unsettleable Arithmetical Problems”, 2013
- “Challenges to the Assessment of Time-to-Proof of Mathematical Conjectures”, 2013
- “One Man’s Modus Ponens”, 2012
- “On the Distribution of Time-to-proof of Mathematical Conjectures”, 2012
- “Vividness in Mathematics and Narrative”, 2012 (page 11)
- “How to Write a 21St Century Proof”, 2011
- “Jewish Problems”, 2011
- “Charity Is Not about Helping”, 2011
- “Fermi Problem: Power Developed at the Eruption of the Puyehue-Cordón Caulle Volcanic System in June 2011”, Asorey & 2011
- “Girl Scouts & Good Corporate Governance”, 2011
- “The Cosmic Distance Ladder”, 2010
- “Coolex: The Coolest Way to Generate Combinations”, 2009
- “Packing Unit Squares in Squares: A Survey and New Results”, 2009
- “Simulation Inferences”, 2009
- “Desperately Seeking Mathematical Proof”, 2009
- “The Gödel Letter”, 2009
- “Prediction Markets”, 2009
- “Probing the Improbable: Methodological Challenges for Risks With Low Probabilities and High Stakes”, Et Al 2008
- “On The Roles of Proof in Mathematics”, 2008
- “The Epic Story of Maximum Likelihood”, 2007
- “Overhang”, 2007
- “The Monotype 4-Line System for Setting Mathematics”, 2007
- “Maximum Overhang”, Et Al 2007
- “Béla Bollobás: Graphs Extremal and Random [Interview of Béla Bollobás by Y. K. Leong]”, Leong & 2007
- “Computational Discovery in Pure Mathematics”, 2007
- “Comment on a Paper by Yucai Su On Jacobian Conjecture (2005-12-30)”, 2006
- “Proof of Two Dimensional Jacobian Conjecture”, 2005
- “EWD1300: The Notational Conventions I Adopted, and Why”, 2002
- “Hymne to Hymen”, 2002
- “The War of the Frogs and the Mice, or the Crisis of the _Mathematische Annale_”
- “Making Mathematics: The Coffee Connection”, 1999
- “An Editor Recalls Some Hopeless Papers”, 1998
- “Mathematics on a Distant Planet”, 1998
- “How Did Software Get so Reliable without Proof?”, 1996
- “Ten Lessons I Wish I Had Been Taught”, 1996
- “A Visit to Hungarian Mathematics”, Hersh & John-1993
- “Factors and Primes: a Specific Numerical Ability”, Hermelin & 1990
- “Envisioning Information: Chapter 5, ‘Color and Information’, Pg83-86 [on Oliver Byrne’s Color Diagram Version of Euclid’s Elements]”, 1990
- “In Memory of Henry J. Kelley”, 1989
- “Dynamical Systems That Sort Lists, Diagonalize Matrices and Solve Linear Programming Problems”, 1988
- “The Printing of Mathematics”, 1988
- “John Von Neumann As Seen By His Brother”, 1987
- “The Aesthetic Viewpoint in Mathematics”
- “Review of Manin Yu. I.. _A Course in Mathematical Logic_”, 1986
- “Discrete Hartley Transform”, 1983
- “Are Impossible Figures Possible?”, 1983
- “The Letter S”, 1980
- “Heaviside’s Operational Calculus and the Attempts to Rigorise It”, 1979
- “Some Proposals for Reviving the Philosophy of Mathematics”, 1979
- “Social Processes and Proofs of Theorems and Programs”, Et Al 1979
- “Life at Low Reynolds Number”, 1977
- “Randomness and Mathematical Proof”, 1975
- “The Dangers of Computer-Science Theory”, 1973
- “Fidelity in Mathematical Discourse: Is One and One Really Two?”, 1972
- “The Humble Programmer [EWD340]”, 1972
- “Assigning Probabilities to Logical Formulas”, 1966
- “Singular Extremals In Lawden’s Problem Of Optimal Rocket Flight”, 1963
- “A Steepest-Ascent Method for Solving Optimum Programming Problems”, 1962
- “Method of Gradients”, 1962
- “Gradient Theory of Optimal Flight Paths”, 1960
- “Toward Mechanical Mathematics”, 1960
- “The Printing of Mathematics: Aids for Authors and Editors and Rules for Compositors and Readers at the University Press, Oxford”, Et Al 1954
- “Non-Cooperative Games”, 1951
- “An Essay On The Psychology Of Invention In The Mathematical Field”, 1945
- “A More Symmetrical Fourier Analysis Applied to Transmission Problems”, 1942
- “On a Problem of Formal Logic”, 1930
- “Operational Methods in Mathematical Physics”, 1928
- “The Foundations of Mathematics”, 1926
- “Cutting a Round Cake on Scientific Principles”, 1906
- “On Operators in Physical Mathematics. Part I”, 1892
- “Math: OpenAI API Can Do Some Math out of the Gate, but Most Math It Seems It Has to Learn. Many Times, the Numbers That It Spits out Are Just Random. However, including Different Priming Prompts Can Result in Decent Results.”
- “Mathematical Creation”
- “Flaws in the Perfection”
- “Does Incubation Enhance Problem-solving? A Meta-analytic Review”
- “Estimation—Part I: How to Do It?”
- “Resolutions of Mathematical Conjectures over Time”
- “Why Momentum Really Works”
- “Oliver Byrne’s Edition of Euclid [Scans]”, 2023
- Wikipedia
- Miscellaneous
- Link Bibliography
See Also
Links
“ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Et Al 2023
“ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, 2023-02-24 ( ; similar; bibliography)
“OEIS: A Handbook of Integer Sequences 50 Years Later”, 2023
“OEIS: A Handbook of Integer Sequences 50 Years Later”, 2023-01-09 (similar; bibliography)
“Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning”, Et Al 2022
“Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning”, 2022-09-29 ( ; similar)
“Mathematical Proof Between Generations”, Et Al 2022
“Mathematical Proof Between Generations”, 2022-07-08 ( ; backlinks; similar)
“Connecting the Scientific and Industrial Revolutions: The Role of Practical Mathematics”, Kelly & 2022
“Connecting the Scientific and Industrial Revolutions: The Role of Practical Mathematics”, 2022-07-06 ( ; backlinks; similar)
“NaturalProver: Grounded Mathematical Proof Generation With Language Models”, Et Al 2022
“NaturalProver: Grounded Mathematical Proof Generation with Language Models”, 2022-05-25 ( ; similar; bibliography)
“HTPS: HyperTree Proof Search for Neural Theorem Proving”, Et Al 2022
“HTPS: HyperTree Proof Search for Neural Theorem Proving”, 2022-05-23 ( ; similar)
“End-to-end Symbolic Regression With Transformers”, Et Al 2022
“End-to-end symbolic regression with transformers”, 2022-04-22 ( ; similar)
“PaLM: Scaling Language Modeling With Pathways”, Et Al 2022
“PaLM: Scaling Language Modeling with Pathways”, 2022-04-05 ( ; similar; bibliography)
“Deep Symbolic Regression for Recurrent Sequences”, D’Et Al 2022
“Deep Symbolic Regression for Recurrent Sequences”, 2022-01-12 ( ; similar)
“A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More”, Et Al 2021
“A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More”, 2021-12-31 ( ; similar)
“What Is the Point of Computers? A Question for Pure Mathematicians”, 2021
“What is the point of computers? A question for pure mathematicians”, 2021-12-22 ( )
“Scaling Language Models: Methods, Analysis & Insights from Training Gopher”, Et Al 2021
“Scaling Language Models: Methods, Analysis & Insights from Training Gopher”, 2021-12-08 ( ; similar; bibliography)
“Training Verifiers to Solve Math Word Problems”, Et Al 2021
“Training Verifiers to Solve Math Word Problems”, 2021-10-27 ( ; similar)
“A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers”, Et Al 2021
“A Diverse Corpus for Evaluating and Developing English Math Word Problem Solvers”, 2021-06-30 ( ; backlinks; similar)
“SymbolicGPT: A Generative Transformer Model for Symbolic Regression”, Et Al 2021
“SymbolicGPT: A Generative Transformer Model for Symbolic Regression”, 2021-06-27 ( ; backlinks; similar)
“Basins With Tentacles”, 2021
“Basins with tentacles”, 2021-06-10 (similar)
“Behavioral and Neuronal Representation of Numerosity Zero in the Crow”, Et Al 2021
“Behavioral and Neuronal Representation of Numerosity Zero in the Crow”, 2021-06-02 ( ; similar)
“MathBERT: A Pre-Trained Model for Mathematical Formula Understanding”, Et Al 2021
“MathBERT: A Pre-Trained Model for Mathematical Formula Understanding”, 2021-05-02 ( ; similar)
“Constructions in Combinatorics via Neural Networks”, 2021
“Constructions in combinatorics via neural networks”, 2021-04-29 ( )
“NaturalProofs: Mathematical Theorem Proving in Natural Language”, Et Al 2021
“NaturalProofs: Mathematical Theorem Proving in Natural Language”, 2021-03-24 ( ; backlinks; similar)
“Are NLP Models Really Able to Solve Simple Math Word Problems?”, Et Al 2021
“Are NLP Models really able to Solve Simple Math Word Problems?”, 2021-03-12 ( ; similar)
“TacticZero: Learning to Prove Theorems from Scratch With Deep Reinforcement Learning”, Et Al 2021
“TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning”, 2021-02-19 ( ; backlinks; similar)
“Proof Artifact Co-training for Theorem Proving With Language Models”, Et Al 2021
“Proof Artifact Co-training for Theorem Proving with Language Models”, 2021-02-11 ( ; backlinks; similar)
“How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The Goal of The ‘Busy Beaver’ Game Is to Find the Longest-running Computer Program. Its Pursuit Has Surprising Connections to Some of the Most Profound Questions and Concepts in Mathematics”, 2020
“How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The goal of the 'busy beaver' game is to find the longest-running computer program. Its pursuit has surprising connections to some of the most profound questions and concepts in mathematics”, 2020-12-10 ( ; similar; bibliography)
“The Empirical Metamathematics of Euclid and Beyond”, 2020
“The Empirical Metamathematics of Euclid and Beyond”, 2020-09-28 (similar)
“Generative Language Modeling for Automated Theorem Proving”, 2020
“Generative Language Modeling for Automated Theorem Proving”, 2020-09-07 ( ; similar; bibliography)
“Lights and Shadows”, 2020
“Lights and Shadows”, 2020-07-01 ( ; similar)
“Singing Euclid: the Oral Character of Greek Geometry”, 2020
“Singing Euclid: the oral character of Greek geometry”, 2020-06-21 (backlinks; similar)
“Remembering John Conway’s FRACTRAN, a Ridiculous, yet Surprisingly Deep Language”, 2020
“Remembering John Conway’s FRACTRAN, a ridiculous, yet surprisingly deep language”, 2020-05-03 ( ; backlinks; similar)
“Radical Solutions: French Mathematician Évariste Galois Lived a Full Life. When He Wasn’t Trying to Overthrow the Government, He Was Reinventing Algebra”, 2020
“Radical Solutions: French mathematician Évariste Galois lived a full life. When he wasn’t trying to overthrow the government, he was reinventing algebra”, 2020-03-26 ( ; similar)
“Learning to Prove Theorems by Learning to Generate Theorems”, 2020
“Learning to Prove Theorems by Learning to Generate Theorems”, 2020-02-17 ( ; backlinks; similar)
“Transformers As Soft Reasoners over Language”, Et Al 2020
“Transformers as Soft Reasoners over Language”, 2020-02-14 ( ; backlinks; similar)
“Neural Arithmetic Units”, 2020
“Neural Arithmetic Units”, 2020-01-14 ( ; similar)
“Generative Language Modeling for Automated Theorem Proving § Experiments”, 2020 (page 11 Org Openai)
“Deep Learning for Symbolic Mathematics”, 2019
“Deep Learning for Symbolic Mathematics”, 2019-12-02 ( ; similar)
“MAWPS: A Math Word Problem Repository”, Koncel-Et Al 2019
“MAWPS: A Math Word Problem Repository”, 2019-07-16 (backlinks; similar)
“Analysing Mathematical Reasoning Abilities of Neural Models”, Et Al 2019
“Analysing Mathematical Reasoning Abilities of Neural Models”, 2019-04-02 ( ; similar)
“Fancy Euclid’s Elements In TeX”, 2019
“Fancy Euclid’s Elements in TeX”, 2019-03-19 ( ; backlinks; similar)
“The First Printed Math Books”, 2019
“The First Printed Math Books”, 2019 ( ; backlinks)
“Reinventing the Wheel: Discovering the Optimal Rolling Shape With PyTorch”, 2019
“Making of Byrne’s Euclid”, 2018
“Making of Byrne’s Euclid”, 2018-12-16 ( ; backlinks; similar)
“Neural Arithmetic Logic Units”, Et Al 2018
“Neural Arithmetic Logic Units”, 2018-08-01 ( ; similar)
“Mastering Chess and Shogi by Self-Play With a General Reinforcement Learning Algorithm”, Et Al 2017
“Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm”, 2017-12-05 ( ; similar)
“From Boiling Lead and Black Art: An Essay on the History of Mathematical Typography”, 2017
“From boiling lead and black art: An essay on the history of mathematical typography”, 2017-10-13 ( ; similar)
“Program Induction by Rationale Generation: Learning to Solve and Explain Algebraic Word Problems”, Et Al 2017
“Program Induction by Rationale Generation: Learning to Solve and Explain Algebraic Word Problems”, 2017-05-11 ( ; similar)
“Solving General Arithmetic Word Problems”, 2016
“Solving General Arithmetic Word Problems”, 2016-08-04 ( ; backlinks; similar)
“DeepMath—Deep Sequence Models for Premise Selection”, Et Al 2016
“DeepMath—Deep Sequence Models for Premise Selection”, 2016-06-14 ( )
“Too Good to Be True: When Overwhelming Evidence Fails to Convince”, Et Al 2016
“Too good to be true: when overwhelming evidence fails to convince”, 2016-01-05 ( ; backlinks; similar)
“Probabilistic Integration: A Role in Statistical Computation?”, Et Al 2015
“Probabilistic Integration: A Role in Statistical Computation?”, 2015-12-03 ( ; backlinks; similar)
“Random Gradient-Free Minimization of Convex Functions”, 2015
“Random Gradient-Free Minimization of Convex Functions”, 2015-11-30 ( ; backlinks; similar)
“Neural Networks, Manifolds, and Topology”, 2014
“Neural Networks, Manifolds, and Topology”, 2014-04-06 ( ; backlinks; similar)
“Mathematics in the Age of the Turing Machine”, 2013
“Mathematics in the Age of the Turing Machine”, 2013-02-12 (backlinks)
“On Unsettleable Arithmetical Problems”, 2013
“On Unsettleable Arithmetical Problems”, 2013-01 ( ; backlinks; similar; bibliography)
“Challenges to the Assessment of Time-to-Proof of Mathematical Conjectures”, 2013
“One Man’s Modus Ponens”, 2012
“One Man’s Modus Ponens”, 2012-05-01 ( ; backlinks; similar; bibliography)
“On the Distribution of Time-to-proof of Mathematical Conjectures”, 2012
“On the distribution of time-to-proof of mathematical conjectures”, 2012-02-17 (backlinks; similar)
“Vividness in Mathematics and Narrative”, 2012 (page 11)
“How to Write a 21St Century Proof”, 2011
“How to Write a 21st Century Proof”, 2011-11 (backlinks; similar)
“Jewish Problems”, 2011
“Jewish Problems”, 2011-10-07 ( ; similar)
“Charity Is Not about Helping”, 2011
“Charity is not about Helping”, 2011-09-15 ( ; backlinks; similar; bibliography)
“Fermi Problem: Power Developed at the Eruption of the Puyehue-Cordón Caulle Volcanic System in June 2011”, Asorey & 2011
“Fermi Problem: Power developed at the eruption of the Puyehue-Cordón Caulle volcanic system in June 2011”, 2011-09-06 (backlinks; similar)
“Girl Scouts & Good Corporate Governance”, 2011
“Girl Scouts & Good Corporate Governance”, 2011-04-21 ( ; backlinks; similar; bibliography)
“The Cosmic Distance Ladder”, 2010
“The Cosmic Distance Ladder”, 2010-10 ( )
“Coolex: The Coolest Way to Generate Combinations”, 2009
“Coolex: The coolest way to generate combinations”, 2009-09-06 ( ; similar)
“Packing Unit Squares in Squares: A Survey and New Results”, 2009
“Packing Unit Squares in Squares: A Survey and New Results”, 2009-08-14 (similar)
“Simulation Inferences”, 2009
“Simulation Inferences”, 2009-05-29 ( ; backlinks; similar; bibliography)
“Desperately Seeking Mathematical Proof”, 2009
“Desperately seeking mathematical proof”, 2009-05-22 (backlinks)
“The Gödel Letter”, 2009
“The Gödel Letter”, 2009-04-02 ( ; backlinks; similar)
“Prediction Markets”, 2009
“Prediction Markets”, 2009-01-10 ( ; backlinks; similar; bibliography)
“Probing the Improbable: Methodological Challenges for Risks With Low Probabilities and High Stakes”, Et Al 2008
“Probing the Improbable: Methodological Challenges for Risks with Low Probabilities and High Stakes”, 2008-10-30 ( ; backlinks; similar)
“On The Roles of Proof in Mathematics”, 2008
“The Epic Story of Maximum Likelihood”, 2007
“The Epic Story of Maximum Likelihood”, 2007-11 (backlinks; similar)
“Overhang”, 2007
“Overhang”, 2007-10-12 (backlinks)
“The Monotype 4-Line System for Setting Mathematics”, 2007
“The Monotype 4-Line System for Setting Mathematics”, 2007-08-13 ( ; similar)
“Maximum Overhang”, Et Al 2007
“Maximum overhang”, 2007-07-01 (backlinks; similar)
“Béla Bollobás: Graphs Extremal and Random [Interview of Béla Bollobás by Y. K. Leong]”, Leong & 2007
“Computational Discovery in Pure Mathematics”, 2007
“Computational Discovery in Pure Mathematics”, 2007 (backlinks)
“Comment on a Paper by Yucai Su On Jacobian Conjecture (2005-12-30)”, 2006
“Comment on a Paper by Yucai Su On Jacobian Conjecture (2005-12-30)”, 2006-04-03 (backlinks)
“Proof of Two Dimensional Jacobian Conjecture”, 2005
“Proof of Two Dimensional Jacobian Conjecture”, 2005-12-13 (backlinks)
“EWD1300: The Notational Conventions I Adopted, and Why”, 2002
“EWD1300: The Notational Conventions I Adopted, and Why”, 2002-12-01 (similar)
“Hymne to Hymen”, 2002
“Hymne to Hymen”, 2002
“The War of the Frogs and the Mice, or the Crisis of the _Mathematische Annale_”
“Making Mathematics: The Coffee Connection”, 1999
“Making Mathematics: The Coffee Connection”, 1999-06-01 ( ; backlinks)
“An Editor Recalls Some Hopeless Papers”, 1998
“An Editor Recalls Some Hopeless Papers”, 1998-03 ( ; similar)
“Mathematics on a Distant Planet”, 1998
“Mathematics on a Distant Planet”, 1998 ( ; backlinks)
“How Did Software Get so Reliable without Proof?”, 1996
“How did software get so reliable without proof?”, 1996-03 (backlinks; similar)
“Ten Lessons I Wish I Had Been Taught”, 1996
“Ten Lessons I Wish I Had Been Taught”, 1996 ( ; backlinks)
“A Visit to Hungarian Mathematics”, Hersh & John-1993
“Factors and Primes: a Specific Numerical Ability”, Hermelin & 1990
“Factors and primes: a specific numerical ability”, 1990-02-01 ( )
“Envisioning Information: Chapter 5, ‘Color and Information’, Pg83-86 [on Oliver Byrne’s Color Diagram Version of Euclid’s Elements]”, 1990
“Envisioning Information: chapter 5, ‘Color and Information’, pg83-86 [on Oliver Byrne’s color diagram version of Euclid’s Elements]”, 1990 ( ; backlinks; similar; bibliography)
“In Memory of Henry J. Kelley”, 1989
“In memory of Henry J. Kelley”, 1989 ( )
“Dynamical Systems That Sort Lists, Diagonalize Matrices and Solve Linear Programming Problems”, 1988
“Dynamical systems that sort lists, diagonalize matrices and solve linear programming problems”, 1988-12-07 (similar)
“The Printing of Mathematics”, 1988
“The Printing of Mathematics”, 1988 ( )
“John Von Neumann As Seen By His Brother”, 1987
“The Aesthetic Viewpoint in Mathematics”
“Review of Manin Yu. I.. _A Course in Mathematical Logic_”, 1986
“Discrete Hartley Transform”, 1983
“Discrete Hartley transform”, 1983-12-01 (similar)
“Are Impossible Figures Possible?”, 1983
“Are impossible figures possible?”, 1983-05-01 ( ; similar)
“The Letter S”, 1980
“The Letter S”, 1980-09-01 ( )
“Heaviside’s Operational Calculus and the Attempts to Rigorise It”, 1979
“Some Proposals for Reviving the Philosophy of Mathematics”, 1979
“Social Processes and Proofs of Theorems and Programs”, Et Al 1979
“Social Processes and Proofs of Theorems and Programs”, 1979 (backlinks; similar)
“Life at Low Reynolds Number”, 1977
“Life at low Reynolds number”, 1977 ( ; similar)
“Randomness and Mathematical Proof”, 1975
“Randomness and Mathematical Proof”, 1975 ( ; backlinks)
“The Dangers of Computer-Science Theory”, 1973
“The Dangers of Computer-Science Theory”, 1973 ( ; backlinks; similar)
“Fidelity in Mathematical Discourse: Is One and One Really Two?”, 1972
“The Humble Programmer [EWD340]”, 1972
“The Humble Programmer [EWD340]”, 1972 ( ; backlinks; similar)
“Assigning Probabilities to Logical Formulas”, 1966
“Assigning Probabilities to Logical Formulas”, 1966 (similar)
“Singular Extremals In Lawden’s Problem Of Optimal Rocket Flight”, 1963
“Singular Extremals In Lawden’s Problem Of Optimal Rocket Flight”, 1963-07-01 ( ; similar)
“A Steepest-Ascent Method for Solving Optimum Programming Problems”, 1962
“A Steepest-Ascent Method for Solving Optimum Programming Problems”, 1962-06-01 ( ; backlinks; similar)
“Method of Gradients”, 1962
“Method of Gradients”, 1962 ( ; similar)
“Gradient Theory of Optimal Flight Paths”, 1960
“Gradient Theory of Optimal Flight Paths”, 1960-10-01 ( ; backlinks; similar)
“Toward Mechanical Mathematics”, 1960
“Toward Mechanical Mathematics”, 1960-01 (similar)
“The Printing of Mathematics: Aids for Authors and Editors and Rules for Compositors and Readers at the University Press, Oxford”, Et Al 1954
“The Printing of Mathematics: Aids for Authors and Editors and Rules for Compositors and Readers at the University Press, Oxford”, 1954 ( ; similar)
“Non-Cooperative Games”, 1951
“Non-Cooperative Games”, 1951-09-01 ( ; backlinks; similar)
“An Essay On The Psychology Of Invention In The Mathematical Field”, 1945
“An Essay On The Psychology Of Invention In The Mathematical Field”, 1945 ( ; backlinks; similar; bibliography)
“A More Symmetrical Fourier Analysis Applied to Transmission Problems”, 1942
“A More Symmetrical Fourier Analysis Applied to Transmission Problems”, 1942-03-01 (backlinks; similar)
“On a Problem of Formal Logic”, 1930
“On a Problem of Formal Logic”, 1930 ( ; backlinks)
“Operational Methods in Mathematical Physics”, 1928
“Operational Methods in Mathematical Physics”, 1928-10-01 (backlinks)
“The Foundations of Mathematics”, 1926
“The Foundations of Mathematics”, 1926 ( ; backlinks)
“Cutting a Round Cake on Scientific Principles”, 1906
“Cutting a Round Cake on Scientific Principles”, 1906-12-20
“On Operators in Physical Mathematics. Part I”, 1892
“Math: OpenAI API Can Do Some Math out of the Gate, but Most Math It Seems It Has to Learn. Many Times, the Numbers That It Spits out Are Just Random. However, including Different Priming Prompts Can Result in Decent Results.”
“Mathematical Creation”
“Flaws in the Perfection”
“Does Incubation Enhance Problem-solving? A Meta-analytic Review”
“Estimation—Part I: How to Do It?”
“Resolutions of Mathematical Conjectures over Time”
“Why Momentum Really Works”
“Oliver Byrne’s Edition of Euclid [Scans]”, 2023
Wikipedia
Miscellaneous
-
2009-sinclair.pdf
2009 (backlinks) -
1993-lamport.pdf
1993 (backlinks) -
1990-wells.pdf
1990 (backlinks) -
1990-thomason.pdf
1990 (backlinks) -
1982-hofstadter.pdf
1982 (backlinks) -
1933-oldfather.pdf
1933 (backlinks) -
https://nunosempere.com/blog/2023/01/30/an-in-progress-experiment-to-test-how-laplace-s-rule-of/
-
https://thonyc.wordpress.com/2021/11/04/renaissance-science-xxii/
-
https://www.quantamagazine.org/how-isaac-newton-discovered-the-binomial-power-series-20220831/
Link Bibliography
-
https://arxiv.org/abs/2302.12433
: “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad: -
http://neilsloane.com/doc/HIS50.pdf
: “OEIS: <em>A Handbook of Integer Sequences< / em> 50 Years Later”, Neil Sloane: -
https://arxiv.org/abs/2205.12910#allen
: “NaturalProver: Grounded Mathematical Proof Generation With Language Models”, Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi: -
https://arxiv.org/abs/2204.02311#google
: “PaLM: Scaling Language Modeling With Pathways”, : -
https://arxiv.org/abs/2112.11446#deepmind
: “Scaling Language Models: Methods, Analysis & Insights from Training Gopher”, : -
https://www.quantamagazine.org/the-busy-beaver-game-illuminates-the-fundamental-limits-of-math-20201210/
: “How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The Goal of the 'busy Beaver' Game Is to Find the Longest-running Computer Program. Its Pursuit Has Surprising Connections to Some of the Most Profound Questions and Concepts in Mathematics”, John Pavlus: -
https://arxiv.org/abs/2009.03393#openai
: “Generative Language Modeling for Automated Theorem Proving”, Stanislas Polu, Ilya Sutskever: -
2013-conway.pdf
: “On Unsettleable Arithmetical Problems”, John H. Conway: -
modus
: “One Man’s Modus Ponens”, Gwern Branwen: -
charity-is-not-about-helping
: “Charity Is Not about Helping”, Gwern Branwen: -
girl-scouts
: “Girl Scouts & Good Corporate Governance”, Gwern Branwen: -
simulation-inference
: “Simulation Inferences”, Gwern Branwen: -
prediction-market
: “Prediction Markets”, Gwern Branwen: -
1990-tufte-envisioninginformation-ch5-byrneseuclid.pdf
: “<em>Envisioning Information< / em>: Chapter 5, ‘Color and Information’, Pg83-86 [on Oliver Byrne’s Color Diagram Version of Euclid’s <em>Elements< / em>]”, Edward Tufte: -
https://archive.org/details/eassayonthepsych006281mbp
: “<em>An Essay On The Psychology Of Invention In The Mathematical Field< / em>”, Jacques Hadamard: