Results 11 to 20 of about 3,119,938 (323)
German Idealism and the Origins of Pure Mathematics: Riemann, Dedekind, Cantor [PDF]
Journal of Philosophical Investigations, 2021 When it comes to the relation of modern mathematics and philosophy, most people tend to think of the three major schools of thought—i.e. logicism, formalism, and intuitionism—that emerged as profound researches on the foundations and nature of ...
Ehsan Karimi Torshizi
doaj +2 more sources
European Journal for Philosophy of Science, 2021 In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general.
Deniz Sarikaya
exaly +2 more sources
Advancing mathematics by guiding human intuition with AI
Nature, 2021 The practice of mathematics involves discovering patterns and using these to formulate and prove conjectures, resulting in theorems. Since the 1960s, mathematicians have used computers to assist in the discovery of patterns and formulation of ...
Nenad Tomašev +2 more
exaly +2 more sources
AI-driven research in pure mathematics and theoretical physics [PDF]
Nature Reviews PhysicsThe past five years have seen a dramatic increase in the usage of artificial intelligence (AI) algorithms in pure mathematics and theoretical sciences. This might appear counter-intuitive as mathematical sciences require rigorous definitions, derivations
Yang-Hui He, He Yang-Hui
exaly +2 more sources
About Pure and Applied Mathematics
Bibechana, 2018 No abstract available.
Nagendra Prasad Shah
doaj +4 more sources
DEVELOPMENT OF TEACHING AND RESEARCH IN PURE MATHEMATICS IN BRAZIL: CURRENT VIEW
Revista Brasileira de História da Matemática, 2020 This article presents an overview on the development of teaching and research in Pure Mathematics in Brazil from 1811 until the year 2010, within the current view.
Clóvis Pereira
doaj +3 more sources
Qualitative (pure) mathematics as an alternative to measurement [PDF]
Frontiers in PsychologyVáclav Linkov
exaly +2 more sources
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]
arXiv.org, 2023 We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev +5 more
semanticscholar +1 more source
Mathematics, word problems, common sense, and artificial intelligence [PDF]
Bulletin of the American Mathematical Society, 2023 The paper discusses the capacities and limitations of current artificial intelligence (AI) technology to solve word problems that combine elementary mathematics with commonsense reasoning. No existing AI systems can solve these reliably.
E. Davis
semanticscholar +1 more source