Book picks similar to
The Logical Basis For Computer Programming. Volume II: Deductive Systems by Zohar Manna
computer-science
it-wikipedia
mathematics
philosophy
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos - 1976
Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
How to Create a Mind: The Secret of Human Thought Revealed
Ray Kurzweil - 2012
In How to Create a Mind, Kurzweil presents a provocative exploration of the most important project in human-machine civilization—reverse engineering the brain to understand precisely how it works and using that knowledge to create even more intelligent machines.Kurzweil discusses how the brain functions, how the mind emerges from the brain, and the implications of vastly increasing the powers of our intelligence in addressing the world’s problems. He thoughtfully examines emotional and moral intelligence and the origins of consciousness and envisions the radical possibilities of our merging with the intelligent technology we are creating.Certain to be one of the most widely discussed and debated science books of the year, How to Create a Mind is sure to take its place alongside Kurzweil’s previous classics which include Fantastic Voyage: Live Long Enough to Live Forever and The Age of Spiritual Machines.
The Book of Why: The New Science of Cause and Effect
Judea Pearl - 2018
Today, that taboo is dead. The causal revolution, instigated by Judea Pearl and his colleagues, has cut through a century of confusion and established causality -- the study of cause and effect -- on a firm scientific basis. His work explains how we can know easy things, like whether it was rain or a sprinkler that made a sidewalk wet; and how to answer hard questions, like whether a drug cured an illness. Pearl's work enables us to know not just whether one thing causes another: it lets us explore the world that is and the worlds that could have been. It shows us the essence of human thought and key to artificial intelligence. Anyone who wants to understand either needs The Book of Why.
Lauren Ipsum
Carlos Bueno - 2011
If the idea of a computer science book without computers upsets you, please close your eyes until you’ve finished reading the rest of this page.The truth is that computer science is not really about the computer. It is just a tool to help you see ideas more clearly. You can see the moon and stars without a telescope, smell the flowers without a fluoroscope, have fun without a funoscope, and be silly sans oscilloscope.You can also play with computer science without... you-know-what. Ideas are the real stuff of computer science. This book is about those ideas, and how to find them.
Access Denied: The Documented Journey From CIA Mind Control Slave To U.S. Government Whistleblower
Cathy O'Brien - 2004
With their lives and liberty on the line, TRANCE was hurriedly condensed from courtroom testimony into a book form and privately published by the authors in September 1995.ACCESS DENIED For Reasons of National Security is the rest of their true life's story, which required 16 years for the authors to survive and 3 years for them to write. This book is an amazing testament to the strength of the human spirit and one you will never forget for as long as your thoughts remain free.While TRANCE has become known worldwide in many licensed translations as one of the most successful US government whistleblowers' books ever written, it was never intended for the public who had no reference for understanding mind control nor was it to be considered a book. Rather it is what it is, a true and to date, uncontested document for the US Congressional Permanent Select Committee on Intelligence Oversight. TRANCE is Cathy O'Brien's documented testimony she provided to US courts, US Congress, and the United Nations Commission on Human Rights Abuses of her existence as a CIA MK-Ultra mind control project's slave.ACCESS DENIED is a real book of answers, solutions and positive hope for all of u.s. and our allies around the world. This book was written for everyone and especially for the thousands who have read TRANCE and were left to imagine pertinent details that could not be included.How did Cathy recover from being tortured "out of her mind" until age 30 when intelligence insider Mark Phillips triggered and rescued her and her daughter Kelly away from their CIA operative handler?What are the documented details of how Mark & Cathy survived the state and federal and Congressional judicial gristmill aptly called the criminal justice system?Last but not least, what are the facts as to how Mark & Cathy were able to survive long enough to globally expose the criminal acts of some of the most politically powerful people who are still in control of our planet to this very day?ACCESS DENIED is a whistleblowers' living guide to success.
The Fabric of Reality: The Science of Parallel Universes--and Its Implications
David Deutsch - 1996
Taken literally, it implies that there are many universes “parallel” to the one we see around us. This multiplicity of universes, according to Deutsch, turns out to be the key to achieving a new worldview, one which synthesizes the theories of evolution, computation, and knowledge with quantum physics. Considered jointly, these four strands of explanation reveal a unified fabric of reality that is both objective and comprehensible, the subject of this daring, challenging book. The Fabric of Reality explains and connects many topics at the leading edge of current research and thinking, such as quantum computers (which work by effectively collaborating with their counterparts in other universes), the physics of time travel, the comprehensibility of nature and the physical limits of virtual reality, the significance of human life, and the ultimate fate of the universe. Here, for scientist and layperson alike, for philosopher, science-fiction reader, biologist, and computer expert, is a startlingly complete and rational synthesis of disciplines, and a new, optimistic message about existence.
Cosmic Blueprint: New Discoveries In Natures Ability To Order Universe
Paul C.W. Davies - 1988
He explores the new paradigm (replacing the centuries-old Newtonian view of the universe) that recognizes the collective and holistic properties of physical systems and the power of self-organization. He casts the laws in physics in the role of a "blueprint," embodying a grand cosmic scheme that progressively unfolds as the universe develops.Challenging the viewpoint that the physical universe is a meaningless collection particles, he finds overwhelming evidence for an underlying purpose: "Science may explain all the processes whereby the universe evolves its own destiny, but that still leaves room for there to be a meaning behind existence."
Calculus Made Easy
Silvanus Phillips Thompson - 1910
With a new introduction, three new chapters, modernized language and methods throughout, and an appendix of challenging and enjoyable practice problems, Calculus Made Easy has been thoroughly updated for the modern reader.
The Formula: How Algorithms Solve all our Problems … and Create More
Luke Dormehl - 2014
What if everything in life could be reduced to a simple formula? What if numbers were able to tell us which partners we were best matched with – not just in terms of attractiveness, but for a long-term committed marriage? Or if they could say which films would be the biggest hits at the box office, and what changes could be made to those films to make them even more successful? Or even who out of us is likely to commit certain crimes, and when? This may sound like the world of science-fiction, but in fact it is just the tip of the iceberg in a world that is increasingly ruled by complex algorithms and neural networks.In The Formula, Luke Dormehl takes you inside the world of numbers, asking how we came to believe in the all-conquering power of algorithms; introducing the mathematicians, artificial intelligence experts and Silicon Valley entrepreneurs who are shaping this brave new world, and ultimately asking how we survive in an era where numbers can sometimes seem to create as many problems as they solve.
Reagan: A Life In Letters
Kiron K. Skinner - 2004
Honest, open, and heartfelt, Reagan’s letters reveal a man who felt most comfortable and natural with pen in hand, and a man who reached out to friend and foe alike throughout his life. Reagan: A Life in Letters is as important as it is astonishing and moving.
The Anthropic Cosmological Principle
John D. Barrow - 1984
But in recent years, a startling new concept has evolved that places it more firmly than ever in a special position. Known as the Anthropic Cosmological Principle, this collection of ideas holds that the existence of intelligent observers determines the fundamental structure of the Universe. In its most radical version, the Anthropic Principle asserts that intelligent information-processing must come into existence in the Universe, and once it comes into existence, it will never die out. This wide-ranging and detailed book explores the many ramifications of the Anthropic Cosmological Principle, covering the whole spectrum of human inquiry from Aristotle to Z bosons. Bringing a unique combination of skills and knowledge to the subject, John D. Barrow and Frank J. Tipler--two of the world's leading cosmologists--cover the definition and nature of life, the search for extraterrestrial intelligence, and the interpretation of the quantum theory in relation to the existence of observers. The book will be of vital interest to philosophers, theologians, mathematicians, scientists, and historians, as well as to anyone concerned with the connection between the vastness of the universe of stars and galaxies and the existence of life within it on a small planet out in the suburbs of the Milky Way.
The Greek Achievement: The Foundation of the Western World
Charles Freeman - 1999
This brilliant account celebrates the incredible range of Greek achievement: the architectural marvels of the Athenian Acropolis; the birth of drama and the timeless tragedies of Aeschylus, Euripides, and Sophocles; Homer's epics; the philosophical revolutions of Plato and Aristotle; and the conquests of Alexander the Great. Lavishly illustrated with photographs and maps, The Greek Achievement paints a sweeping panorama of the ancient Greeks' world and provides a rich, contemporary overview of their enduring contribution to world civilization.
Ronan O'Gara: Unguarded: My Life in Rugby
Ronan O'Gara - 2013
Ronan O'Gara has been at the heart of Munster and Irish rugby for the past fifteen years. Now, as he comes to the end of a glittering playing career, it is time for him to reflect on those many successes and occasional failures with the straight-talking attitude that has become his trademark. Never one to shy away from the truth, the result is Ronan O'Gara: Unguarded. Packed full of anecdotes and analysis of the teammates O'Gara has been proud to share the shirt with, and of the coaches he has played under -- often in controversial circumstances -- this is the definitive record of an era when Munster rose to triumph in Europe, and Ireland to win the Grand Slam, before crashing down to earth again. It is simply the must-have rugby book of the year.
The Man Who Counted Infinity and Other Short Stories from Science, History and Philosophy
Sašo Dolenc - 2012
The objective here is to explain science in a simple, attractive and fun form that is open to all.The first axiom of this approach was set out as follows: “We believe in the magic of science. We hope to show you that sci-ence is not a secret art, accessible only to a dedicated few. It involves learning about nature and society, and aspects of our existence which affect us all, and which we should all therefore have the chance to understand. We shall interpret science for those who might not speak its language fluently, but want to understand its meaning. We don’t teach, we just tell stories about the beginnings of science, the natural phenomena and the underlying principles through which they occur, and the lives of the people who discovered them.”The aim of the writings collected in this series is to present some key scientific events, ideas and personalities in the form of short stories that are easy and fun to read. Scientific and philo-sophical concepts are explained in a way that anyone may under-stand. Each story may be read separately, but at the same time they all band together to form a wide-ranging introduction to the history of science and areas of contemporary scientific research, as well as some of the recurring problems science has encountered in history and the philosophical dilemmas it raises today.Review“If I were the only survivor on a remote island and all I had with me were this book, a Swiss army knife and a bottle, I would throw the bottle into the sea with the note: ‘Don’t worry, I have everything I need.’”— Ciril Horjak, alias Dr. Horowitz, a comic artist“The writing is understandable, but never simplistic. Instructive, but never patronizing. Straightforward, but never trivial. In-depth, but never too intense.”— Ali Žerdin, editor at Delo, the main Slovenian newspaper“Does science think? Heidegger once answered this question with a decisive No. The writings on modern science skillfully penned by Sašo Dolenc, these small stories about big stories, quickly convince us that the contrary is true. Not only does science think in hundreds of unexpected ways, its intellectual challenges and insights are an inexhaustible source of inspiration and entertainment. The clarity of thought and the lucidity of its style make this book accessible to anyone … in the finest tradition of popularizing science, its achievements, dilemmas and predicaments.”— Mladen Dolar, philosopher and author of A Voice and Nothing More“Sašo Dolenc is undoubtedly one of our most successful authors in the field of popular science, possessing the ability to explain complex scientific achievements to a broader audience in a clear and captivating way while remaining precise and scientific. His collection of articles is of particular importance because it encompasses all areas of modern science in an unassuming, almost light-hearted manner.”— Boštjan Žekš, physicist and former president of the Slovenian Academy of Sciences and Arts
More Programming Pearls: Confessions of a Coder
Jon L. Bentley - 1988
These techniques deal with real programs and they are realistically illustrated, using the C and Awk languages. Bentley also provides the reader with some tricks of the programmer's trade, like a collection of rules of thumb and hints for finding simple solutions to hard problems.These essays also originally appeared in the author's column in Communication of the ACM, and have been substantially revised, incorporating new sections, problems, and reader comments.