Download or read book Strict Finitism and the Logic of Mathematical Applications written by Feng Ye and published by Springer Science & Business Media. This book was released on 2011-07-06 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book.

Download or read book Studies in No Self Physicalism written by Feng Ye and published by Springer Nature. This book was released on 2022-12-12 with total page 577 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book demonstrates how a radical version of physicalism (‘No-Self Physicalism’) can offer an internally coherent and comprehensive philosophical worldview. It first argues that a coherent physicalist should explicitly treat a cognitive subject merely as a physical thing and should not vaguely assume an amorphous or even soul-like subject or self. This approach forces the physicalist to re-examine traditional core philosophical notions such as truth, analyticity, modality, apriority because our traditional understandings of them appear to be predicated on a cognitive subject that is not literally just a physical thing. In turn, working on the assumption that a cognitive subject is itself completely physical, namely a neural network-based robot programmed by evolution (hence the term ‘No-Self’), the book proposes physicalistic theories on conceptual representation, truth, analyticity, modality, the nature of mathematics, epistemic justification, knowledge, apriority and intuition, as well as a physicalistic ontology. These are meant to show that this No-Self Physicalism, perhaps the most minimalistic and radical version of physicalism proposed to date, can accommodate many aspects that have traditionally interested philosophers. Given its refreshingly radical approach and painstakingly developed content, the book is of interest to anyone who is seeking a coherent philosophical worldview in this age of science.

Download or read book The Best Writing on Mathematics 2011 written by Mircea Pitici and published by Princeton University Press. This book was released on 2012 with total page 415 pages. Available in PDF, EPUB and Kindle. Book excerpt: The year's finest writing on mathematics from around the world This anthology brings together the year's finest mathematics writing from around the world. Featuring promising new voices alongside some of the foremost names in the field, The Best Writing on Mathematics 2011 makes available to a wide audience many articles not easily found anywhere else—and you don't need to be a mathematician to enjoy them. These writings offer surprising insights into the nature, meaning, and practice of mathematics today. They delve into the history, philosophy, teaching, and everyday occurrences of math, and take readers behind the scenes of today's hottest mathematical debates. Here Ian Hacking discusses the salient features that distinguish mathematics from other disciplines of the mind; Doris Schattschneider identifies some of the mathematical inspirations of M. C. Escher's art; Jordan Ellenberg describes compressed sensing, a mathematical field that is reshaping the way people use large sets of data; Erica Klarreich reports on the use of algorithms in the job market for doctors; and much, much more. In addition to presenting the year's most memorable writings on mathematics, this must-have anthology includes a foreword by esteemed physicist and mathematician Freeman Dyson. This book belongs on the shelf of anyone interested in where math has taken us—and where it is headed.

Download or read book Artificial Mathematical Intelligence written by Danny A. J. Gómez Ramírez and published by Springer Nature. This book was released on 2020-10-23 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics’ program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

Download or read book Artificial Intelligence Learning and Computation in Economics and Finance written by Ragupathy Venkatachalam and published by Springer Nature. This book was released on 2023-02-15 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents frontier research on the use of computational methods to model complex interactions in economics and finance. Artificial Intelligence, Machine Learning and simulations offer effective means of analyzing and learning from large as well as new types of data. These computational tools have permeated various subfields of economics, finance, and also across different schools of economic thought. Through 16 chapters written by pioneers in economics, finance, computer science, psychology, complexity and statistics/econometrics, the book introduces their original research and presents the findings they have yielded. Theoretical and empirical studies featured in this book draw on a variety of approaches such as agent-based modeling, numerical simulations, computable economics, as well as employing tools from artificial intelligence and machine learning algorithms. The use of computational approaches to perform counterfactual thought experiments are also introduced, which help transcend the limits posed by traditional mathematical and statistical tools. The book also includes discussions on methodology, epistemology, history and issues concerning prediction, validation, and inference, all of which have become pertinent with the increasing use of computational approaches in economic analysis.

Download or read book Naturalizing Logico Mathematical Knowledge written by Sorin Bangu and published by Routledge. This book was released on 2018-02-01 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. Naturalizing Logico-Mathematical Knowledge contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

Download or read book The Best Writing on Mathematics 2017 written by Mircea Pitici and published by Princeton University Press. This book was released on 2017-11-14 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: The year's finest mathematics writing from around the world This annual anthology brings together the year’s finest mathematics writing from around the world. Featuring promising new voices alongside some of the foremost names in the field, The Best Writing on Mathematics 2017 makes available to a wide audience many articles not easily found anywhere else—and you don’t need to be a mathematician to enjoy them. These writings offer surprising insights into the nature, meaning, and practice of mathematics today. They delve into the history, philosophy, teaching, and everyday occurrences of math, and take readers behind the scenes of today’s hottest mathematical debates. Here Evelyn Lamb describes the excitement of searching for incomprehensibly large prime numbers, Jeremy Gray speculates about who would have won math’s highest prize—the Fields Medal—in the nineteenth century, and Philip Davis looks at mathematical results and artifacts from a business and marketing viewpoint. In other essays, Noson Yanofsky explores the inherent limits of knowledge in mathematical thinking, Jo Boaler and Lang Chen reveal why finger-counting enhances children’s receptivity to mathematical ideas, and Carlo Séquin and Raymond Shiau attempt to discover how the Renaissance painter Fra Luca Pacioli managed to convincingly depict his famous rhombicuboctahedron, a twenty-six-sided Archimedean solid. And there’s much, much more. In addition to presenting the year’s most memorable writings on mathematics, this must-have anthology includes a bibliography of other notable writings and an introduction by the editor, Mircea Pitici. This book belongs on the shelf of anyone interested in where math has taken us—and where it is headed.

Download or read book New Spaces in Physics Volume 2 written by Mathieu Anel and published by Cambridge University Press. This book was released on 2021-04-01 with total page 438 pages. Available in PDF, EPUB and Kindle. Book excerpt: After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. This volume covers a broad range of topics in mathematical physics, including noncommutative geometry, supergeometry, derived symplectic geometry, higher geometric quantization, intuitionistic quantum logic, problems with the continuum description of spacetime, twistor theory, loop quantum gravity, and geometry in string theory. It is addressed primarily to mathematical physicists and mathematicians, but also to historians and philosophers of these disciplines.

Download or read book Methods and Applications of Mathematical Logic written by Walter Alexandre Carnielli and published by American Mathematical Soc.. This book was released on 1988 with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt: Constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. This book offers an introduction to the active lines of research in mathematical logic and emphasizes the connections to other fields - philosophy, computer science and probability theory.

Download or read book Paraconsistency Logic and Applications written by Koji Tanaka and published by Springer Science & Business Media. This book was released on 2012-07-26 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.

Download or read book Strict Finitism as a Foundation for Mathematics written by Jim Mawby and published by . This book was released on 2005 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Strict finitism written by Charles F. Kielkopf and published by Walter de Gruyter GmbH & Co KG. This book was released on 2016-05-24 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Modern Logic 1850 1950 East and West written by Francine F. Abeles and published by Birkhäuser. This book was released on 2016-05-26 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.

Download or read book Computation Logic Philosophy written by Wang Hao and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 394 pages. Available in PDF, EPUB and Kindle. Book excerpt: ~Et moi ... si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non· The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

Download or read book Hilbert s Program written by M. Detlefsen and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 199 pages. Available in PDF, EPUB and Kindle. Book excerpt: Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree ment between mind and reality, and that their potential discrepan cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling.

Download or read book V A Yankov on Non Classical Logics History and Philosophy of Mathematics written by Alex Citkin and published by Springer Nature. This book was released on 2022-11-08 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.

Download or read book From Dummett s Philosophical Perspective written by Anat Matar and published by Walter de Gruyter. This book was released on 2013-02-06 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: