The Reasonable Effectiveness of Mathematical Reasoning

That famous quotation from Eugene Wigner – on the unreasonable effectiveness of mathematics – came at a time when the standard attitude towards the nature of mathematics was primarily formal and hence misleading. Indeed, the view then dominant took mathematics to be strictly formal, partly because Bertrand Russell had opined that mathematics was not knowledge of the truth, but just correct deduction of conclusions from premises, true or not…