Listing 1 - 10 of 34 | << page >> |
Sort by
|
Choose an application
This book presents and applies a framework for studying the complexity of algorithms. It is aimed at logicians, computer scientists, mathematicians and philosophers interested in the theory of computation and its foundations, and it is written at a level suitable for non-specialists. Part I provides an accessible introduction to abstract recursion theory and its connection with computability and complexity. This part is suitable for use as a textbook for an advanced undergraduate or graduate course: all the necessary elementary facts from logic, recursion theory, arithmetic and algebra are included. Part II develops and applies an extension of the homomorphism method due jointly to the author and Lou van den Dries for deriving lower complexity bounds for problems in number theory and algebra which (provably or plausibly) restrict all elementary algorithms from specified primitives. The book includes over 250 problems, from simple checks of the reader's understanding, to current open problems.
Choose an application
A Logical Introduction to Probability and Induction is a textbook on the mathematics of the probability calculus and its applications in philosophy. On the mathematical side, the textbook introduces these parts of logic and set theory that are needed for a precise formulation of the probability calculus. On the philosophical side, the main focus is on the problem of induction and its reception in epistemology and the philosophy of science. Particular emphasis is placed on the means-end approach to the justification of inductive inference rules. In addition, the book discusses the major interpretations of probability. These are philosophical accounts of the nature of probability that interpret the mathematical structure of the probability calculus. Besides the classical and logical interpretation, they include the interpretation of probability as chance, degree of belief, and relative frequency. The Bayesian interpretation of probability as degree of belief locates probability in a subject's mind. It raises the question why her degrees of belief ought to obey the probability calculus. In contrast to this, chance and relative frequency belong to the external world. While chance is postulated by theory, relative frequencies can be observed empirically. A Logical Introduction to Probability and Induction aims to equip students with the ability to successfully carry out arguments. It begins with elementary deductive logic and uses it as basis for the material on probability and induction. Throughout the textbook results are carefully proved using the inference rules introduced at the beginning, and students are asked to solve problems in the form of 50 exercises. An instructor's manual contains the solutions to these exercises as well as suggested exam questions. The book does not presuppose any background in mathematics, although sections 10.3-10.9 on statistics are technically sophisticated and optional. The textbook is suitable for lower level undergraduate courses in philosophy and logic.
Probabilities --- Logic --- Induction (Logic)
Choose an application
Many philosophers believe they can gain knowledge about the world from the comfort of their armchairs, simply by reflecting on the nature of things. But how can the mind arrive at substantive knowledge of the world without seeking its input? Michael Strevens proposes an original defense of the armchair pursuit of philosophical knowledge, focusing on "the method of cases," in which judgments about category membership-Does this count as causation? Does that count as the right action to take?-are used to test philosophical hypotheses about such matters as causality, moral responsibility, and beauty. Strevens argues that the method of cases is capable of producing reliable, substantial knowledge. His strategy is to compare concepts of philosophical things to concepts of natural kinds, such as water. Philosophical concepts, like natural kind concepts, do not contain the answers to philosophers' questions; armchair philosophy therefore cannot be conceptual analysis. But just as natural kind concepts provide a viable starting point for exploring the nature of the material world, so philosophical concepts are capable of launching and sustaining fruitful inquiry into philosophical matters, using the method of cases. Agonizing about unusual "edge cases," Strevens shows, can play a leading role in such discoveries. Thinking Off Your Feet seeks to reshape current debates about the nature of philosophical thinking and the methodological implications of experimental philosophy, to make significant contributions to the cognitive science of concepts, and to restore philosophy to its traditional position as an essential part of the human quest for knowledge.
Choose an application
In an original defense of armchair philosophy, Michael Strevens seeks to restore philosophy to its traditional position as an essential part of the quest for knowledge, by reshaping debates about the nature of philosophical thinking. His approach explores experimental philosophy’s methodological implications and the cognitive science of concepts.
Choose an application
Detectors --- Electromagnetic induction. --- Industrial applications. --- Induction, Electromagnetic --- Induction (Electricity) --- Electromagnetism --- Sensors --- Engineering instruments --- Physical instruments
Choose an application
This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively little mathematical background to understand their formulation and appreciate their importance. The selected theorems of this volume, chosen from the famous Annals of Mathematics journal, cover a broad range of topics from across mathematics. Each theorem description is essentially self-contained, can be read independently of the others, and requires as little preliminary knowledge as possible. Although the sections often start with an informal discussion and toy examples, all the necessary definitions are included and each description culminates in the precise formulation of the corresponding theorem. Filling the gap between surveys written for mathematicians and popular mathematics, this book is intended for readers with a keen interest in contemporary mathematics.
Mathematics. --- Logic, Symbolic and mathematical. --- Induction (Mathematics)
Choose an application
Electromagnetism --- Data processing --- Mathematical models --- Electromagnetics --- Magnetic induction --- Magnetism --- Metamaterials
Choose an application
Electromagnetism --- Data processing --- Electromagnetics --- Magnetic induction --- Magnetism --- Metamaterials
Choose an application
According to the received view in epistemology, inferential knowledge from non-knowledge is impossible - that is, in order for a subject to know the conclusion of their inference, they must know the essential premises from which that conclusion is drawn. In this book, Federico Luzzi critically examines this view, arguing that it is less plausible than intuition suggests and that it can be abandoned without substantial cost. In a discussion that ranges across inference, testimony and memory he analyses the full range of challenges to the view, connecting them to epistemological cases that support those challenges. He then proposes a defeater-based framework which allows the phenomenon of knowledge from non-knowledge across these three epistemic areas to be better understood. His book will be of interest to a wide range of readers in epistemology.
Inference. --- Knowledge, Theory of. --- Epistemology --- Theory of knowledge --- Philosophy --- Psychology --- Ampliative induction --- Induction, Ampliative --- Inference (Logic) --- Reasoning
Choose an application
This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively little mathematical background to understand their formulation and appreciate their importance. The selected theorems of this volume, chosen from the famous Annals of Mathematics journal, cover a broad range of topics from across mathematics. Each theorem description is essentially self-contained, can be read independently of the others, and requires as little preliminary knowledge as possible. Although the sections often start with an informal discussion and toy examples, all the necessary definitions are included and each description culminates in the precise formulation of the corresponding theorem. Filling the gap between surveys written for mathematicians and popular mathematics, this book is intended for readers with a keen interest in contemporary mathematics.
Mathematics. --- Mathematics, general. --- Popular Science in Mathematics. --- Math --- Science --- Logic, Symbolic and mathematical. --- Induction (Mathematics)
Listing 1 - 10 of 34 | << page >> |
Sort by
|