Book picks similar to
Modal Logic by Patrick Blackburn


logic
philosophy
computer-science
math-logic

The Language of Mathematics: Making the Invisible Visible


Keith Devlin - 1998
    And this language is mathematics." In The Language of Mathematics, award-winning author Keith Devlin reveals the vital role mathematics plays in our eternal quest to understand who we are and the world we live in. More than just the study of numbers, mathematics provides us with the eyes to recognize and describe the hidden patterns of life—patterns that exist in the physical, biological, and social worlds without, and the realm of ideas and thoughts within.Taking the reader on a wondrous journey through the invisible universe that surrounds us—a universe made visible by mathematics—Devlin shows us what keeps a jumbo jet in the air, explains how we can see and hear a football game on TV, allows us to predict the weather, the behavior of the stock market, and the outcome of elections. Microwave ovens, telephone cables, children's toys, pacemakers, automobiles, and computers—all operate on mathematical principles. Far from a dry and esoteric subject, mathematics is a rich and living part of our culture. An exploration of an often woefully misunderstood subject, The Language of Mathematics celebrates the simplicity, the precision, the purity, and the elegance of mathematics.

A Most Incomprehensible Thing: Notes Towards a Very Gentle Introduction to the Mathematics of Relativity


Peter Collier - 2012
    This user-friendly self-study guide is aimed at the general reader who is motivated to tackle that not insignificant challenge. The book is written using straightforward and accessible language, with clear derivations and explanations as well as numerous fully solved problems. For those with minimal mathematical background, the first chapter provides a crash course in foundation mathematics. The reader is then taken gently by the hand and guided through a wide range of fundamental topics, including Newtonian mechanics; the Lorentz transformations; tensor calculus; the Einstein field equations; the Schwarzschild solution (which gives a good approximation of the spacetime of our Solar System); simple black holes and relativistic cosmology. Following the historic 2015 LIGO (Laser Interferometer Gravitational-Wave Observatory) detection, there is now an additional chapter on gravitational waves, ripples in the fabric of spacetime that potentially provide a revolutionary new way to study the universe. Special relativity helps explain a huge range of non-gravitational physical phenomena and has some strangely counter-intuitive consequences. These include time dilation, length contraction, the relativity of simultaneity, mass-energy equivalence and an absolute speed limit. General relativity, the leading theory of gravity, is at the heart of our understanding of cosmology and black holes.Understand even the basics of Einstein's amazing theory and the world will never seem the same again. ContentsPrefaceIntroduction1 Foundation mathematics2 Newtonian mechanics3 Special relativity4 Introducing the manifold5 Scalars, vectors, one-forms and tensors6 More on curvature7 General relativity8 The Newtonian limit9 The Schwarzschild metric10 Schwarzschild black holes11 Cosmology12 Gravitational wavesAppendix: The Riemann curvature tensorBibliographyAcknowledgementsJanuary 2019. This third edition has been revised to make the material even more accessible to the enthusiastic general reader who seeks to understand the mathematics of relativity.

Hunter S. Thompson: The Playboy Interview


Hunter S. Thompson - 2012
    It covered jazz, of course, but it also included Davis’s ruminations on race, politics and culture. Fascinated, Hef sent the writer—future Pulitzer-Prize-winning author Alex Haley, an unknown at the time—back to glean even more opinion and insight from Davis. The resulting exchange, published in the September 1962 issue, became the first official Playboy Interview and kicked off a remarkable run of public inquisition that continues today—and that has featured just about every cultural titan of the last half century.To celebrate the Interview’s 50th anniversary, the editors of Playboy have culled 50 of its most (in)famous Interviews and will publish them over the course of 50 weekdays (from September 4, 2012 to November 12, 2012) via Amazon’s Kindle Direct platform. Here is the interview with the journalist Hunter S. Thompson from the November 1974 issue.

What Is This Thing Called Science?


Alan F. Chalmers - 1976
    Of particular importance is the examination of Bayesianism and the new experimentalism, as well as new chapters on the nature of scientific laws and recent trends in the realism versus anti-realism debate."Crisp, lucid and studded with telling examples… As a handy guide to recent alarums and excursions (in the philosophy of science) I find this book vigorous, gallant and useful."New Scientist

Rumble Road: Untold Stories from Outside the Ring


Jon Robinson - 2010
    If you liked Are We There Yet?, then you'll love Rumble Road.

What Is Node?


Brett McLaughlin - 2011
    It’s the latest in a long line of “Are you cool enough to use me?” programming languages, APIs, and toolkits. In that sense, it lands squarely in the tradition of Rails, and Ajax, and Hadoop, and even to some degree iPhone programming and HTML5.Dig a little deeper, and you’ll hear that Node.js (or, as it’s more briefly called by many, simply “Node”) is a server-side solution for JavaScript, and in particular, for receiving and responding to HTTP requests. If that doesn’t completely boggle your mind, by the time the conversation heats up with discussion of ports, sockets, and threads, you’ll tend to glaze over. Is this really JavaScript? In fact, why in the world would anyone want to run JavaScript outside of a browser, let alone the server?The good news is that you’re hearing (and thinking) about the right things. Node really is concerned with network programming and server-side request/response processing. The bad news is that like Rails, Ajax, and Hadoop before it, there’s precious little clear information available. There will be, in time — as there now is for these other “cool” frameworks that have matured — but why wait for a book or tutorial when you might be able to use Node today, and dramatically improve the maintainability.

Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins


Garry Kasparov - 2017
    It was the dawn of a new era in artificial intelligence: a machine capable of beating the reigning human champion at this most cerebral game. That moment was more than a century in the making, and in this breakthrough book, Kasparov reveals his astonishing side of the story for the first time. He describes how it felt to strategize against an implacable, untiring opponent with the whole world watching, and recounts the history of machine intelligence through the microcosm of chess, considered by generations of scientific pioneers to be a key to unlocking the secrets of human and machine cognition. Kasparov uses his unrivaled experience to look into the future of intelligent machines and sees it bright with possibility. As many critics decry artificial intelligence as a menace, particularly to human jobs, Kasparov shows how humanity can rise to new heights with the help of our most extraordinary creations, rather than fear them. Deep Thinking is a tightly argued case for technological progress, from the man who stood at its precipice with his own career at stake.

Shape: The Hidden Geometry of Information, Biology, Strategy, Democracy, and Everything Else


Jordan Ellenberg - 2021
    For real.If you're like most people, geometry is a sterile and dimly remembered exercise you gladly left behind in the dust of ninth grade, along with your braces and active romantic interest in pop singers. If you recall any of it, it's plodding through a series of miniscule steps only to prove some fact about triangles that was obvious to you in the first place. That's not geometry. Okay, it is geometry, but only a tiny part, which has as much to do with geometry in all its flush modern richness as conjugating a verb has to do with a great novel.Shape reveals the geometry underneath some of the most important scientific, political, and philosophical problems we face. Geometry asks: Where are things? Which things are near each other? How can you get from one thing to another thing? Those are important questions. The word "geometry," from the Greek for "measuring the world." If anything, that's an undersell. Geometry doesn't just measure the world—it explains it. Shape shows us how.

Clojure for the Brave and True


Daniel Higginbotham - 2015
    At long last you'll be united with the programming language you've been longing for: Clojure!As a Lisp-style functional programming language, Clojure lets you write robust and elegant code, and because it runs on the Java Virtual Machine, you can take advantage of the vast Java ecosystem. Clojure for the Brave and True offers a "dessert-first" approach: you'll start playing with real programs immediately, as you steadily acclimate to the abstract but powerful features of Lisp and functional programming. Inside you'll find an offbeat, practical guide to Clojure, filled with quirky sample programs that catch cheese thieves and track glittery vampires.Learn how to: Wield Clojure's core functions Use Emacs for Clojure development Write macros to modify Clojure itself Use Clojure's tools to simplify concurrency and parallel programmingClojure for the Brave and True assumes no prior experience with Clojure, the Java Virtual Machine, or functional programming. Are you ready, brave reader, to meet your true destiny? Grab your best pair of parentheses—you're about to embark on an epic journey into the world of Clojure!

What the Dormouse Said: How the Sixties Counterculture Shaped the Personal Computer Industry


John Markoff - 2005
    Many accounts of the birth of personal computing have been written, but this is the first close look at the drug habits of the earliest pioneers." --New York TimesMost histories of the personal computer industry focus on technology or business. John Markoff's landmark book is about the culture and consciousness behind the first PCs--the culture being counter- and the consciousness expanded, sometimes chemically. It's a brilliant evocation of Stanford, California, in the 1960s and '70s, where a group of visionaries set out to turn computers into a means for freeing minds and information. In these pages one encounters Ken Kesey and the phone hacker Cap'n Crunch, est and LSD, The Whole Earth Catalog and the Homebrew Computer Lab. What the Dormouse Said is a poignant, funny, and inspiring book by one of the smartest technology writers around.

Programming WCF Services


Juval Lowy - 2007
    Relentlessly practical, the book delivers insight, not documentation, to teach developers what they need to know to build the next generation of SOAs.After explaining the advantages of service-orientation for application design and teaching the basics of how to develop SOAs using WCF, the book shows how you can take advantage of built-in features such as service hosting, instance management, asynchronous calls, synchronization, reliability, transaction management, disconnected queued calls and security to build best in class applications. "Programming WCF Services" focuses on the rationale behind particular design decisions, often shedding light on poorly-documented and little-understood aspects of SOA development. Developers and architects will learn not only the "how" of WCF programming, but also relevant design guidelines, best practices, and pitfalls. Original techniques and utilities provided by the author throughout the book go well beyond anything that can be found in conventional sources.Based on experience and insight gained while taking part in the strategic design of WCF and working with the team that implemented it, "Programming WCF Services" provides experienced working professionals with the definitive work on WCF. Not only will this book make you a WCF expert, it will make you a better software engineer. It's the Rosetta Stone of WCF.

The Essential John Nash


John F. Nash - 2001
    Since then, Sylvia Nasar's celebrated biography A Beautiful Mind, the basis of a new major motion picture, has revealed the man. The Essential John Nash reveals his work--in his own words. This book presents, for the first time, the full range of Nash's diverse contributions not only to game theory, for which he received the Nobel, but to pure mathematics--from Riemannian geometry and partial differential equations--in which he commands even greater acclaim among academics. Included are nine of Nash's most influential papers, most of them written over the decade beginning in 1949.From 1959 until his astonishing remission three decades later, the man behind the concepts "Nash equilibrium" and "Nash bargaining"--concepts that today pervade not only economics but nuclear strategy and contract talks in major league sports--had lived in the shadow of a condition diagnosed as paranoid schizophrenia. In the introduction to this book, Nasar recounts how Nash had, by the age of thirty, gone from being a wunderkind at Princeton and a rising mathematical star at MIT to the depths of mental illness.In his preface, Harold Kuhn offers personal insights on his longtime friend and colleague; and in introductions to several of Nash's papers, he provides scholarly context. In an afterword, Nash describes his current work, and he discusses an error in one of his papers. A photo essay chronicles Nash's career from his student days in Princeton to the present. Also included are Nash's Nobel citation and autobiography.The Essential John Nash makes it plain why one of Nash's colleagues termed his style of intellectual inquiry as "like lightning striking." All those inspired by Nash's dazzling ideas will welcome this unprecedented opportunity to trace these ideas back to the exceptional mind they came from.

Information: A Very Short Introduction


Luciano Floridi - 2010
    In this Very Short Introduction, one of the world's leading authorities on the philosophy of information and on information ethics, Luciano Floridi, offers an illuminating exploration of information as it relates to both philosophy and science. He discusses the roots of the concept of information in mathematics and science, and considers the role of information in several fields, including biology. Floridi also discusses concepts such as "Infoglut" (too much information to process) and the emergence of an information society, and he addresses the nature of information as a communication process and its place as a physical phenomenon. Perhaps more important, he explores information's meaning and value, and ends by considering the broader social and ethical issues relating to information, including problems surrounding accessibility, privacy, ownership, copyright, and open source. This book helps us understand the true meaning of the concept and how it can be used to understand our world.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundreds of key topics, from philosophy to Freud, quantum theory to Islam.

Core Memory: A Visual Survey of Vintage Computers


John Alderman - 2007
    Vivid photos capture these historically important machinesincluding the Eniac, Crays 13, Apple I and IIwhile authoritative text profiles each, telling the stories of their innovations and peculiarities. Thirty-five machines are profiled in over 100 extraordinary color photographs, making Core Memory a surprising addition to the library of photography collectors and the ultimate geek-chic gift.

In Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation


William J. Cook - 2011
    In this book, William Cook takes readers on a mathematical excursion, picking up the salesman's trail in the 1800s when Irish mathematician W. R. Hamilton first defined the problem, and venturing to the furthest limits of today's state-of-the-art attempts to solve it. He also explores its many important applications, from genome sequencing and designing computer processors to arranging music and hunting for planets.In Pursuit of the Traveling Salesman travels to the very threshold of our understanding about the nature of complexity, and challenges you yourself to discover the solution to this captivating mathematical problem.