En los contrarios y la tensión entre ellos, constituyentes del ser humano, William Blake descubrió fuerzas poéticas o creativas; el hombre es la unidad en la que se integran el paraíso y el infierno, los dioses y todos los mundos.
En los contrarios y la tensión entre ellos, constituyentes del ser humano, William Blake descubrió fuerzas poéticas o creativas; el hombre es la unidad en la que se integran el paraíso y el infierno, los dioses y todos los mundos.
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.
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.
"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.
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.
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.
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.
'An invaluable companion for anyone who wants a deep understanding of what s under the hood of often inscrutable machines' Melanie Mitchell A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour is cancerous, or deciding whether someone gets bail.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from G del's arguments.
Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from G del's arguments.
