Book picks similar to
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
maths
philosophy
tech-formal
tech-queue
My Brain is Open: The Mathematical Journeys of Paul Erdős
Bruce Schechter - 1998
Hungarian-born Erdős believed that the meaning of life was to prove and conjecture. His work in the United States and all over the world has earned him the titles of the century's leading number theorist and the most prolific mathematician who ever lived. Erdős's important work has proved pivotal to the development of computer science, and his unique personality makes him an unforgettable character in the world of mathematics. Incapable of the smallest of household tasks and having no permanent home or job, he was sustained by the generosity of colleagues and by his own belief in the beauty of numbers. Witty and filled with the sort of mathematical puzzles that intrigued Erdős and continue to fascinate mathematicians today, My Brain Is Open is the story of this strange genius and a journey in his footsteps through the world of mathematics, where universal truths await discovery like hidden treasures and where brilliant proofs are poetry.
Turing and the Computer
Paul Strathern - 1997
Without a doubt, the development of the computer was a massive leap forward in humankind's progress and will stand as one of the twentieth century's greatest achievements. But how many of us know how it really works? "Turing And The Computer" offers a brilliant encapsulation of the groundwork that led to the invention of the computer as we know it, and an absorbing account of the man who helped develop it, only to be largely forgotten after his death. Eccentric and principled, Turing would lay aside a brilliant career in mathematics to serve his country by breaking German codes during the Second World War. Openly homosexual, he would later be put on trial on indecency charges and forced to undergo hormone treatments that wrecked his body and his spirit. But the modern machine he helped create lives on.Concise and thoroughly compelling, "Turing And The Computer" is for all those curious about the philosophy and mechanics behind the now indispensable computer, and for anyone awed by the spark of invention that inspires its birth.
Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers
Joseph Mazur - 2014
What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted.Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the written names of numerals. Mazur also investigates the subconscious and psychological effects that mathematical symbols have had on mathematical thought, moods, meaning, communication, and comprehension. He considers how these symbols influence us (through similarity, association, identity, resemblance, and repeated imagery), how they lead to new ideas by subconscious associations, how they make connections between experience and the unknown, and how they contribute to the communication of basic mathematics.From words to abbreviations to symbols, this book shows how math evolved to the familiar forms we use today.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
Ethics And Technology: Ethical Issues In An Age Of Information And Communication Technology
Herman T. Tavani - 2003
. . . We need a good book in cyberethics to deal with the present and prepare us for an uncertain future. Tavani's Ethics and Technology is such a book." --from the foreword by James Moor, Dartmouth College Is there privacy in a world of camera phones and wireless networking? Does technology threaten your civil liberties? How will bioinformatics and nanotechnology affect us? Should you worry about equity and access in a globalized economy? From privacy and security to free speech and intellectual property to globalization and outsourcing, the issues and controversies of the information age are serious, complex, and pervasive. In this new edition of his groundbreaking book, Herman Tavani introduces computer professionals to the emerging field of Cyberethics, the interdisciplinary field of study that addresses these new ethical issues from all perspectives: technical, social, and philosophical. Using fascinating real-world examples--including the latest court decisions in such cases as Verizon v. RIAA, MGM v. Grokster, Google versus the Bush Administration, and the Children's Online Pornography Act (CIPA) --as well as hypothetical scenarios, he shows you how to understand and analyze the practical, moral, and legal issues that impact your work and your life. Tavani discusses such cutting-edge areas as: * Globalization and outsourcing * Property rights and open source software * HIPAA (privacy laws) and surveillance * The Patriot Act and civil liberties * Bioinformatics and genomics research * Converging technologies--pervasive computing and nanocomputing * Children's online pornography laws Updating and expanding upon the previous edition, Ethics and Technology, Second Edition provides a much-needed ethical compass to help computer and non-computer professionals alike navigate the challenging waters of cyberspace. About the Author Herman T. Tavani is Professor of Philosophy at Rivier College and Co-Director of the International Society for Ethics and Information Technology (INSEIT). He is the author, editor, or co-editor of five books on ethical aspects of information technology. www.wiley.com/college/tavani
Why Do Buses Come in Threes: The Hidden Mathematics of Everyday Life
Rob Eastaway - 1999
Why is it better to buy a lottery ticket on a Friday? Why are showers always too hot or too cold? And what's the connection between a rugby player taking a conversion and a tourist trying to get the best photograph of Nelson's Column?These and many other fascinating questions are answered in this entertaining and highly informative book, which is ideal for anyone wanting to remind themselves – or discover for the first time – that maths is relevant to almost everything we do.Dating, cooking, travelling by car, gambling and even life-saving techniques have links with intriguing mathematical problems, as you will find explained here. Whether you have a PhD in astrophysics or haven't touched a maths problem since your school days, this book will give you a fresh understanding of the world around you.
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
John Martineau - 2010
It was studied from antiquity to the Renaissance as a way of glimpsing the nature of reality. Geometry is number in space; music is number in time; and comology expresses number in space and time. Number, music, and geometry are metaphysical truths: life across the universe investigates them; they foreshadow the physical sciences.Quadrivium is the first volume to bring together these four subjects in many hundreds of years. Composed of six successful titles in the Wooden Books series-Sacred Geometry, Sacred Number, Harmonograph, The Elements of Music, Platonic & Archimedean Solids, and A Little Book of Coincidence-it makes ancient wisdom and its astonishing interconnectedness accessible to us today.Beautifully produced in six different colors of ink, Quadrivium will appeal to anyone interested in mathematics, music, astronomy, and how the universe works.
Sciencia: Mathematics, Physics, Chemistry, Biology, and Astronomy for All
Burkard Polster - 2011
Lavishly illustrated with engravings, woodcuts, and original drawings and diagrams, Sciencia will inspire readers of all ages to take an interest in the interconnected knowledge of the modern sciences.Beautifully produced in thirteen different colors of ink, Sciencia is an essential reference and an elegant gift.Wooden Books was founded in 1999 by designer John Martineau near Hay-on-Wye. The aim was to produce a beautiful series of recycled books based on the classical philosophies, arts and sciences. Using the Beatrix Potter formula of text facing picture pages, and old-styles fonts, along with hand-drawn illustrations and 19th century engravings, the books are designed not to date. Small but stuffed with information. Eco friendly and educational. Big ideas in a tiny space. There are over 1,000,000 Wooden Books now in print worldwide and growing.