Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School [PDF]
, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Woleński, Jan
core +2 more sources
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources
A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]
, 1995 In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, which rigorously defines the ...
SMARANDACHE, F.
core +1 more source
Review: "Foundations Without Foundationalism, A Case for Second-Order Logic," by S. Shapiro [PDF]
, 1993 Post-print, accepted manuscript versionFoundations Without Foundationalism, A Case for Second-Order Logic (Ox-ford University Press, Oxford, 1991), by Stewart Shapiro, is an excellent book, covering of all of the main results in second-order logic and ...
Cocchiarella, Nino
core +1 more source
Logicism and the development of computer science [PDF]
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science.
Donald Gillies, Gillies, D., Gillies, D
core +1 more source
Don't throw the baby out with the math water: Why discounting the developmental foundations of early numeracy is premature and unnecessary [PDF]
, 2008 We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity.
Lewis, Charlie +2 more
core +5 more sources
FROM THE HISTORY OF NUMBERS (MATHEMATICAL FUNDAMENTALS OF INFORMATICS)
, 2021 Математичні основи інформатики – складова сучасного шкільного курсу інформатики. Використання історичного матеріалу дозволяє познайомити учнів зі шляхом, логікою, взаємозв’язком та взаємопроникненням математичної та інформатичної наук.
Сіра, І. Т. +1 more
core
A nationwide student survey on biochemistry learning resources in Italy
FEBS Open Bio, EarlyView.We conducted a survey among Italian university students to investigate their preferred study materials for biochemistry. We then analyzed the collected data to identify these materials. This information may be valuable to the Biochemistry educational community. The graphical abstract was created with Claude (Opus 5.5; Anthropic, 2026).
Anna Marabotti +4 more
wiley +1 more source
ISSUES IN THE FOUNDATIONS OF SCIENCE, I: LANGUAGES, STRUCTURES, AND MODELS [PDF]
, 2010 In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies.
Krause, Décio +2 more
core
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source