Book picks similar to
Logic, Semantics, Metamathematics by Alfred Tarski
philosophy
logic
math
mathematics
Coding the Matrix: Linear Algebra through Computer Science Applications
Philip N. Klein - 2013
Mathematical concepts and computational problems are motivated by applications in computer science. The reader learns by "doing," writing programs to implement the mathematical concepts and using them to carry out tasks and explore the applications. Examples include: error-correcting codes, transformations in graphics, face detection, encryption and secret-sharing, integer factoring, removing perspective from an image, PageRank (Google's ranking algorithm), and cancer detection from cell features. A companion web site, codingthematrix.com provides data and support code. Most of the assignments can be auto-graded online. Over two hundred illustrations, including a selection of relevant "xkcd" comics. Chapters: "The Function," "The Field," "The Vector," "The Vector Space," "The Matrix," "The Basis," "Dimension," "Gaussian Elimination," "The Inner Product," "Special Bases," "The Singular Value Decomposition," "The Eigenvector," "The Linear Program"
The Scientific Image
Bas C. Van Fraassen - 1980
In this book van Fraassen develops an alternative to scientific realism by constructing and evaluating three mutually reinforcing theories.
Sense and Sensibilia: Reconstructed from the Manuscript Notes by C.J. Warnock
J.L. Austin - 1962
"An excellent book presenting many of the major issues of ordinary language philosophy--very readable."--Mark Hamilton, Ashland University"The clarity, the wit, and the patience of the writing are liable to deceive the reader on only one point, namely the amount of hard work that lies behind these thoughts....This book is the one to put into the hands of those who have been over-impressed by Austin's critics....[Warnock's] brilliant editing puts everybody who is concerned with philosophical problems in his debt."--The Guardian
Differential Equations with Applications and Historical Notes
George F. Simmons - 1972
Simmons advocates a careful approach to the subject, covering such topics as the wave equation, Gauss's hypergeometric function, the gamma function and the basic problems of the calculus of variations in an explanatory fashions - ensuring that students fully understand and appreciate the topics.
Discrete Mathematical Structures
Bernard Kolman - 1995
It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.
Introduction to Probability
Dimitri P. Bertsekas - 2002
This is the currently used textbook for "Probabilistic Systems Analysis," an introductory probability course at the Massachusetts Institute of Technology, attended by a large number of undergraduate and graduate students. The book covers the fundamentals of probability theory (probabilistic models, discrete and continuous random variables, multiple random variables, and limit theorems), which are typically part of a first course on the subject. It also contains, a number of more advanced topics, from which an instructor can choose to match the goals of a particular course. These topics include transforms, sums of random variables, least squares estimation, the bivariate normal distribution, and a fairly detailed introduction to Bernoulli, Poisson, and Markov processes. The book strikes a balance between simplicity in exposition and sophistication in analytical reasoning. Some of the more mathematically rigorous analysis has been just intuitively explained in the text, but is developed in detail (at the level of advanced calculus) in the numerous solved theoretical problems. The book has been widely adopted for classroom use in introductory probability courses within the USA and abroad.
Naive Set Theory
Paul R. Halmos - 1960
This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.
Doing Philosophy: From Common Curiosity to Logical Reasoning
Timothy Williamson - 2018
Discussing philosophy's ability to clarifyour thoughts, he explains why such clarification depends on the development of philosophical theories, and how those theories can be tested by imaginative thought experiments, and compared against each other by standards similar to those used in the natural and social sciences. He also shows howlogical rigor can be understood as a way of enhancing the explanatory power of philosophical theories.Drawing on the history of philosophy to provide a track record of philosophical thinking's successes and failures, Williams overturns widely held dogmas about the distinctive nature of philosophy in comparison to the sciences, demystifies its methods, and considers the future of the discipline. Fromthought experiments, to deduction, to theories, this little book will cause you to totally rethink what philosophy is.
Introduction to Logic
Irving M. Copi - 1953
Many new exercises introduced in this edition help supplement and support explanations, aid in review, and make the book visually stimulating. This edition also includes a revised Logic tutorial on CD-Rom--further simplifying the study of logic. Includes many fascinating illustrations taken from the history of science as well as from contemporary research in the physical and biological sciences, plus introduces an abundance of new exercises throughout, complete with solutions for the first exercise in a set. Appropriate for those in business, education, political, or psychology careers.
Linear Algebra
Kenneth M. Hoffman - 1971
Linear Equations; Vector Spaces; Linear Transformations; Polynomials; Determinants; Elementary canonical Forms; Rational and Jordan Forms; Inner Product Spaces; Operators on Inner Product Spaces; Bilinear Forms For all readers interested in linear algebra.
Quantum Computing Since Democritus
Scott Aaronson - 2013
Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.
Asimov on Numbers
Isaac Asimov - 1978
From man's first act of counting to higher mathematics, from the smallest living creature to the dazzling reaches of outer space, Asimov is a master at "explaining complex material better than any other living person." (The New York Times) You'll learn: HOW to make a trillion seem small; WHY imaginary numbers are real; THE real size of the universe - in photons; WHY the zero isn't "good for nothing;" AND many other marvelous discoveries, in ASIMOV ON NUMBERS.
Syntactic Structures
Noam Chomsky - 1957
It is not a mere reorganization of the data into a new kind of library catalogue, nor another specualtive philosophy about the nature of man and language, but rather a rigorus explication of our intuitions about our language in terms of an overt axiom system, the theorems derivable from it, explicit results which may be compared with new data and other intuitions, all based plainly on an overt theory of the internal structure of languages; and it may well provide an opportunity for the application of explicity measures of simplicity to decide preference of one form over another form of grammar.
Introductory Functional Analysis with Applications
Erwin Kreyszig - 1978
With these new unabridged and inexpensive editions, Wiley hopes to extend the life of these important works by making them available to future generations of mathematicians and scientists.Currently available in the Series: Emil ArtinGeometnc Algebra R. W. CarterSimple Groups Of Lie Type Richard CourantDifferential and Integrai Calculus. Volume I Richard CourantDifferential and Integral Calculus. Volume II Richard Courant & D. HilbertMethods of Mathematical Physics, Volume I Richard Courant & D. HilbertMethods of Mathematical Physics. Volume II Harold M. S. CoxeterIntroduction to Modern Geometry. Second Edition Charles W. Curtis, Irving ReinerRepresentation Theory of Finite Groups and Associative Algebras Nelson Dunford, Jacob T. Schwartzunear Operators. Part One. General Theory Nelson Dunford. Jacob T. SchwartzLinear Operators, Part Two. Spectral Theory--Self Adjant Operators in Hilbert Space Nelson Dunford, Jacob T. SchwartzLinear Operators. Part Three. Spectral Operators Peter HenriciApplied and Computational Complex Analysis. Volume I--Power Senes-lntegrauon-Contormal Mapping-Locatvon of Zeros Peter Hilton, Yet-Chiang WuA Course in Modern Algebra Harry HochstadtIntegral Equations Erwin KreyszigIntroductory Functional Analysis with Applications P. M. PrenterSplines and Variational Methods C. L. SiegelTopics in Complex Function Theory. Volume I --Elliptic Functions and Uniformizatton Theory C. L. SiegelTopics in Complex Function Theory. Volume II --Automorphic and Abelian Integrals C. L. SiegelTopics In Complex Function Theory. Volume III --Abelian Functions & Modular Functions of Several Variables J. J. StokerDifferential Geometry
Wittgenstein
Anthony Kenny - 1973
Widely praised for providing a lucid and historically informed account of Wittgenstein's core philosophical concerns.Demonstrates the continuity between Wittgenstein's early and later writings.Provides a persuasive argument for the unity of Wittgenstein's thought.Kenny also assesses Wittgenstein's influence in the latter part of the twentieth century.Inside:PrefaceAbbreviations in References to Works by WittgensteinBiographical Sketch of Wittgenstein's PhilosophyThe Legacy of Frege & RussellThe Criticism of PrincipiaThe Picture Theory of the PropositionThe Metaphysics of Logical AtomismThe Dismantling of Logical AtomismAnticipation, Intentionality & VerificationUnderstanding, Thinking & MeaningLanguage-GamesPrivate LanguagesOn Scepticism & CertaintyThe Continuity of Wittgenstein's PhilosophySuggestions for Further ReadingIndex