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

page 1

page 2

page 3

page 4

research
08/09/2023

Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics

We extend Langdon Winner's idea that artifacts have politics into the re...
research
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...
research
01/08/2018

Three Puzzles on Mathematics, Computation, and Games

In this lecture I will talk about three mathematical puzzles involving m...
research
09/27/2022

Mathematics and Flamenco: An Unexpected Partnership

In this paper, we present a series of mathematical problems which throw ...
research
05/30/2022

A Survey in Mathematical Language Processing

Informal mathematical text underpins real-world quantitative reasoning a...
research
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...
research
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...

Please sign up or login with your details

Forgot password? Click here to reset