<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples as illustrations of what he called the empirical law of epistemology, which asserts that the mathematical formulation of the laws of nature is both appropriate and accurate, and that mathematics is actually the correct language for formulating the laws of nature. At the same time, Wigner pointed out that the reasons for the success of mathematics in the natural sciences are not completely understood; in fact, he went as far as asserting that “… the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and there is no rational explanation for it.”
FOS: Computer and information sciences, Logic in computer science, epistemic logic, computational complexity, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, Research exposition (monographs, survey articles) pertaining to computer science, automated design verification, programming language, database query language, type theory, reason about knowledge, logic in computer science, survey, 89999 Information and Computing Sciences not elsewhere classified, multi-agent systems, 190, first-order logic
FOS: Computer and information sciences, Logic in computer science, epistemic logic, computational complexity, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, Research exposition (monographs, survey articles) pertaining to computer science, automated design verification, programming language, database query language, type theory, reason about knowledge, logic in computer science, survey, 89999 Information and Computing Sciences not elsewhere classified, multi-agent systems, 190, first-order logic
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 47 | |
popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |