Search results
Jun 30, 2024 · We describe Minimo (Mathematics from Intrinsic Motivation): an agent that jointly learns to pose challenging problems for itself (conjecturing) and solve them (theorem proving). Given a mathematical domain axiomatized in dependent type theory, we first combine methods for constrained decoding and type-directed synthesis to sample valid ...
Jun 13, 2024 · The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs.
2 days ago · Influenced by his father Benjamin, Peirce argued that mathematics studies purely hypothetical objects and is not just the science of quantity but is more broadly the science which draws necessary conclusions; that mathematics aids logic, not vice versa; and that logic itself is part of philosophy and is the science about drawing ...
Jun 21, 2024 · Bertrand Russell’s many philosophical works included The Principles of Mathematics, Principia Mathematica (with Alfred North Whitehead), The Philosophy of Logical Atomism, The Analysis of Mind, and The Analysis of Matter.
3 days ago · Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system. Philosophers have focused on mathematics as a case study for general philosophical issues and for its role in overall ...
2 days ago · This is a list of important publications in mathematics, organized by field. Some reasons a particular publication might be regarded as important: Topic creator – A publication that created a new topic. Breakthrough – A publication that changed scientific knowledge significantly.
Jun 26, 2024 · An open access philosophy journal accepting submissions on all philosophical topics and from all philosophical traditions. This includes, among other things: history of philosophy, work in both the analytic and continental traditions, as well as formal and empirically informed philosophy.
