1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
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…