A classic treatment of two-valued iterative systems of mathematical logic from the acclaimed Annals of Mathematics Studies seriesPrinceton University Press is proud to have published the Annals of Mathematics Studies since 1940.
The first interdisciplinary textbook to introduce students to three critical areas in applied logicDemonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic.
How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathematical thought-through critical episodes in its history.
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.
A marvelous compendium of mathematical symbols and their fascinating historiesGalileo famously wrote that the book of nature is written in mathematical language.
For more than two thousand years, the Doubling of the Cube—the construction of the cube root of two using only a compass and straightedge—has stood as one of classical geometry's greatest impossibilities.
A marvelous compendium of mathematical symbols and their fascinating historiesGalileo famously wrote that the book of nature is written in mathematical language.
The quirky offspring of 'QI' and 'Freakonomics', 'Geekspeak' melds ingenious statistical analysis with edifying trivia to explain away some curious facts of life.
This new ebook from the author of 'The Music of the Primes' combines a personal insight into the mind of a working mathematician with the story of one of the biggest adventures in mathematics: the search for symmetry.
From the author of The Music of the Primes and Finding Moonshine comes a short, lively book on five mathematical problems that just refuse be solved - and on how many everyday problems can be solved by maths.
La obra es un manual titulado ""Pensamiento Lógico"", escrito por Yazmin Adriana Gómez Clavijo y publicado por la Universidad Santo Tomás (USTA) en 2023.
Mathematik als ungewohnte Inspirationsquelle für Theologie: Das Buch entwickelt aus der Unterscheidungslogik der "Gesetze der Form" (George Spencer-Brown) und soziologischen Diagnosen zur "nächsten Gesellschaft" (u.
Mathematik als ungewohnte Inspirationsquelle für Theologie: Das Buch entwickelt aus der Unterscheidungslogik der "Gesetze der Form" (George Spencer-Brown) und soziologischen Diagnosen zur "nächsten Gesellschaft" (u.
The eBook series Learning about mathematics aims to create for the readers a unificatory image of the complex nature of mathematics, as well as a conceptual perspective ultimately necessary to the holistic understanding of school mathematics.
Sin duda, argumentar es una actividad ineludible al hacer matematicas y, por tanto, en las matematicas escolares es fundamental y requiere de una ensenanza deliberada.
Este libro, haciendo honor a su nombre, presenta de modo explicito y preciso la cantidad de estrellas magicas de seis puntas que se pueden disenar usando los numeros naturales comprendidos entre 1 y 12.
