Results 41 to 50 of about 176,062,854 (300)
Assessing the “Empirical Philosophy of Mathematics” [PDF]
, 2015 In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics”(EPM) of Buldt, Löwe, Müller and Müller-Hill, which aims to complement ...
Pantsar, Markus
core
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Philosophy of revitalising mathematics education in society: A historical discourse
PythagorasAs an academic discipline, mathematics is more than a set of computing mechanisms; it is argued by scholars that the quality of mathematics education is in decline today in human society.
Susmit Bagchi
doaj +1 more source
Analyzing the Existence of Mathematics from the Perspective of Information Philosophy
Computer Sciences & Mathematics Forum, 2023 Reflecting on the history of discussions about the existence of mathematics, we can summarize the characteristics of the traditional path of research on the existence of mathematics.
Yanzhang Qu, Tianqi Wu
doaj +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Mathematics via Symmetry [PDF]
, 2013 We state the defining characteristic of mathematics as a type of symmetry where one can change the connotation of a mathematical statement in a certain way when the statement's truth value remains the same.
Zelcer, Mark, Yanofsky, Noson
core
Kilka uwag o (meta)filozofii matematyki
Zagadnienia Filozoficzne w Nauce, 2007 The present essay deals with the problem of how to choose the correct method of doing philosophy of mathematics taking into account the importance of technical mathematical results for philosophical analysis.
Krzysztof Wójtowicz
doaj
Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review
Advanced Science, EarlyView.Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh +8 more
wiley +1 more source
Carl Stumpf's philosophy of mathematics [PDF]
, 2015 Like most of Franz Brentano's students, Carl Stumpf showed an interest in the philosophy of mathematics. In particular, Stumpf wrote his habilitation thesis On the Foundations of Mathematics, used mathematical examples in central parts of his lectures ...
Ierna, Carlo +4 more
core
The Practical Turn in Philosophy of Mathematics: A Portrait of a Young Discipline
Phenomenology and Mind, 2017 In the present article, the current situation of the so-called philosophy of mathematical practice is discussed. First, its emergence is evaluated in relation to the “practical” turn in philosophy of science and in philosophy of mathematics.
Valeria Giardino
doaj +1 more source