Adventures in Mathematical Reasoning

08/20/2020
by   Toby Walsh, et al.
42

"Mathematics is not a careful march down a well-cleared highway, but a journey into a strange wilderness, where the explorers often get lost. Rigour should be a signal to the historian that the maps have been made, and the real explorers have gone elsewhere." W.S. Anglin, the Mathematical Intelligencer, 4 (4), 1982.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

03/28/2022

Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library

Mathematical reasoning recently has been shown as a hard challenge for n...
01/08/2018

Three Puzzles on Mathematics, Computation, and Games

In this lecture I will talk about three mathematical puzzles involving m...
05/30/2022

A Survey in Mathematical Language Processing

Informal mathematical text underpins real-world quantitative reasoning a...
12/28/2017

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics

The Graph Brain Project is an experiment in how the use of automated mat...
04/04/2022

The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics

Both metamathematics and physics are posited to emerge from samplings by...
03/31/2020

Explosive Proofs of Mathematical Truths

Mathematical proofs are both paradigms of certainty and some of the most...
04/02/2019

Analysing Mathematical Reasoning Abilities of Neural Models

Mathematical reasoning---a core ability within human intelligence---pres...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.