This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws.
A WATERSTONES BEST BOOK OF 2023A NEW SCIENTIST BEST BOOK OF 2023WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE'A generous tour of mathematics for anyone whose instincts tend less towards "e;Just tell me the answer"e; and more towards "e;Wait, but why?
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.
This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them.
"Las teorías sostienen a la práctica, son totalmente, vertebralmente importantes; pero lo que se necesita aun (y mucho) son matemáticos que compartan sus investigaciones de tal manera que puedan ser contadas en la sala de profesores, compartidas con entusiasmo, de manera sencilla, práctica.
El libro Introducción a la Lógica Matemática parte del reconocimiento de la importancia de la lógica, en el sentido de contribuir con el lector en mejorar sus procesos de argumentación en contextos tanto científicos como coloquiales.
The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.
Die wichtigsten mathematischen Formeln und Begriffe aus dem Gebiet Analysis für Studierende der Ingenieurwissenschaften und verwandter Richtungen werden präsentiert.
An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.
The story of one of the greatest unsolved problems in mathematicsWhat is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin?
A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.
Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar.
This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them.
Carlos Vasco hace una aproximación magnífica, en su particular estilo agudo y a la vez sencillo, a un tema realmente complejo, subvalorado y, sin embargo, fundamental para el desarrollo del pensamiento de la juventud de nuestra nación: la educación matemática en la formación básica, media y universitaria.
El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.
El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.
El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.
Temas como la lógica, sistemas numéricos, funciones y variación son tratados en este texto de una manera dinámica y creativa con el propósito de permitir a los estudiantes potenciar su pensamiento cuantitativo y la aplicación de éste a la vida real.
El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio.
Pensar con todo el rigor de la lógica es como hacer ejercicio a gran altitud: es una práctica demandante, tal vez agotadora, que luego permite enfrentar los retos cotidianos con enorme facilidad.
A System of Logic, Ratiocinative and Inductive John Stuart Mill - It is so much the established practice of writers on logic to commence their treatises by a few general observations (in most cases, it is true, rather meagre) on Terms and their varieties, that it will, perhaps, scarcely be required from me in merely following the common usage, to be as particular in assigning my reasons, as it is usually expected that those should be who deviate from it.
Abhandlung über die Methode, seine Vernunft gut zu gebrauchen und die Wahrheit in den Wissenschaften zu suchen ist ein philosophisches und autobiografisches Werk des französischen Philosophen René Descartes.
Die »Logik« des Philosophen Hermann Lotze (1817–1881) gilt auch nach internationalem Maßstab als einer der folgenreichsten philosophischen Texte im Übergang vom 19.
Gottlob Frege hinterließ eine große Anzahl wissenschaftlich bedeutsamer Papiere, darunter größere unveröffentlichte Manuskripte, die allerdings fast sämtlich fragmentarisch geblieben sind, sowie Notizen und Briefentwürfe, ferner Briefe seiner wichtigsten Diskussionspartner wie z.
Die wichtigsten mathematischen Formeln und Begriffe aus dem Gebiet Analysis für Studierende der Ingenieurwissenschaften und verwandter Richtungen werden präsentiert.
In diesem Buch nimmt der britische Mathe-Guru seine Leser mit auf eine Reise durch das Reich der Zahlen – reelle, rationale, irrationale, komplexe; ganz, ganz kleine und unendlich große, Fraktale, Logarithmen, Hochzahlen, Primzahlen, Kusszahlen und viele mehr.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.