Results 31 to 40 of about 495,731 (349)
Kripkenstein from the mathematical point of view: a preliminary survey [PDF]
, 2016 This paper deals with the problem of the impact of Kripke’s skeptical paradox on the philosophy of mathematics. By perceiving mathematics as a huge rule-following discipline, one could argue that the Kripkean nonfactualist thesis should be adopted ...
Janik, Bartosz
core
The assessment of changing in mathematical ends in Maddy’s philosophy
Filosofia Unisinos, 2016 In Maddy’s philosophy, mathematics is autonomous, i.e., it is not subordinated to either science or philosophy. Mathematics establishes and pursues its own goals and must be judged on its own terms.
César Frederico dos Santos
doaj +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Lakatos’ Quasi-empiricism in the Philosophy of Mathematics [PDF]
, 2015 Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the ...
Shaffer, Michael J.
core
Advanced Materials Technologies, EarlyView.The article overviews past and current efforts on caloric materials and systems, highlighting the contributions of Ames National Laboratory to the field. Solid‐state caloric heat pumping is an innovative method that can be implemented in a wide range of cooling and heating applications.
Agata Czernuszewicz +5 more
wiley +1 more source
Categories without structures [PDF]
, 2009 The popular view according to which Category theory provides a support for Mathematical Structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics.
Rodin, Andrei
core +5 more sources
Kant and new mathematics 100 years later [PDF]
Кантовский сборник, 2015 Cassirer’s critique of Russell’s philosophy of mathematics and the Neo-Kantian philosophy of science and mathematics as a whole is of special relevance in the context of modern mathematics and mathematical physics.
Rodin A.
doaj +1 more source
A Review on Sensor Technologies, Control Approaches, and Emerging Challenges in Soft Robotics
Advanced Robotics Research, EarlyView.This review provides an introspective of sensors and controllers in soft robotics. Initially describing the current sensing methods, then moving on to the control methods utilized, and finally ending with challenges and future directions in soft robotics focusing on the material innovations, sensor fusion, and embedded intelligence for sensors and ...
Ean Lovett +5 more
wiley +1 more source
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
Mathematics discovered, invented, and inherited [PDF]
, 2013 The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented?
Borovik, Alexandre
core