appassionato , to bookstodon group
@appassionato@mastodon.social avatar

To Halt or Not to Halt? That Is the Question by Cristian Calude, 2024

Can mathematics be done by computers only? Can software testing be fully automated? Can you write an anti-virus program which never needs any updates? Can we make the Internet perfectly secure? Your guess is correct: the answer to each question is negative.

@bookstodon




This is a book about the 'Halting Problem', arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary computer program eventually stops? This seems a dull, petty question: after all, you run the program and wait till it stops. However, what if the program does not stop in a reasonable time, a week, a year, or a decade? Can you infer that it will never stop? The answer is negative. Does this raise your interest? If not, consider these questions: Can mathematics be done by computers only? Can software testing be fully automated? Can you write an anti-virus program which never needs any updates? Can we make the Internet perfectly secure? Your guess is correct: the answer to each question is negative. The Halting Problem is 'hidden' in many subjects, from logic (is mathematics free of contradictions?), physics (is quantum randomness perfect?), to philosophy (do humans have free will, or do our brains generate our thoughts and decisions in a deterministic way?) and quantum computing -- this book will visit each of them. Written in an informal and thought-provoking language, supported with suggestive illustrations and applications and almost free of arcane mathematics, the book will stimulate the curiosity and participation of the reader interested in the consequences of the limits of computing and in various attempts to cope with them.
ALT
  • Reply
    • bibliolater , to economics group
    @bibliolater@qoto.org avatar

    In Conversation with Mariana Mazzucato, Tim O’Reilly and Ilan Strauss on Algorithmic Attention Rents

    "A conversation about how today’s big tech platforms use the power they hold over the attention of billions of users to shape the markets in which they participate for their own benefit."

    length: 56 minutes and 46 seconds

    https://youtu.be/iGvICGkr7I8

    @economics

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • kbinchat
  • All magazines
    •