Ennen Memmoa muistiinpanoni olivat hajallaan PDF-tiedostoissa. Nyt työtila kokoaa kaiken yhteen – näen tarkalleen, mitä on vielä opiskeltavana.
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 (why we don't have a quantum Halting Problem?) — 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 (formal arguments are relegated to particular parts dedicated to the mathematically-oriented reader), 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.
Contents:
Readership: Undergraduate and graduate students, researchers and practitioners in the fields of computer science, mathematics, logic, philosophy, physics, and a large category of educated readers.
'Journey with Calude through this varied terrain of spectacular insights. In an age when super AI's menace, it is good to see what the unfettered human spirit can accomplish, and be proud.' - Gregory ChaitinAuthor of Algorithmic Information Theory
'Every page of this delightful book has another gem that contains either an insight into the halting problem or a connection between the halting problem and a different area. Cristian Calude, a world-class researcher, has done a magnificent job collecting these ideas and making them accessible to everyone.' - Noson S YanofskyAuthor of The Outer Limits of Reason: What Science, Mathematics and Logic Cannot Tell Us
Key Features:
Ennen Memmoa muistiinpanoni olivat hajallaan PDF-tiedostoissa. Nyt työtila kokoaa kaiken yhteen – näen tarkalleen, mitä on vielä opiskeltavana.
Memmon yhteenvedot ovat kultaa ennen kokeita. Minun ei tarvitse lukea 800 sivua uudelleen kaksi viikkoa ennen – vain tärkeimmät osat.
AI-chat on pelastanut minut useammin kuin kerran tenttiä edeltävänä iltana. Kysyn vain, kunnes ymmärrän – ilman, että tarvitsee odottaa opiskeluryhmän vastausta.
Visat osuvat juuri siihen, mitä minun tarvitsee tietää. Memmo seuraa, mihin jään jumiin – joten harjoittelen vain sitä, mikä on sen arvoista.
Muistikortit toistuvalla harjoittelulla ovat taikaa. Memmo tietää, milloin olen unohtamassa jotain, ja tuo sen takaisin.
AI-podcastit ovat suosikkini. Kuuntelen niitä matkalla kouluun ja saan kertauksen ilman, että tarvitsee istua tietokoneen ääressä.
Handbok i kvalitativa metoder
281 kr
Hållbar utveckling: en introduktion för ingenjörer och andra problemlösare
334 kr
Brymans Samhällsvetenskapliga metoder
390 kr
Projektledning
491 kr
Den orättvisa hälsan: om socioekonomiska skillnader i hälsa och livslängd
326 kr
Organizational Leadership
429 kr
Vetenskapsteori för nybörjare
196 kr
På väg mot läraryrket
172 kr
Det sociala livet i skolan: Socialpsykologiska perspektiv
253 kr
Betygsättningens didaktik
151 kr
Personality
402 kr
Studying Leadership
404 kr
Managing Innovation
477 kr
Introduktion till samhällsvetenskaplig metod
347 kr
The Psychology of Sex and Gender
698 kr
Introduction to Leadership
605 kr
Evidens och kunskap för socialt arbete
207 kr