Why Pure Reasoning is Not Enough: Nature as the Source of Mathematical Innovation

Charanjit S. Jutla, Vimal Sharma

We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fu…