Gérard Berry
The Hyperpower of Informatics Publication date : May 14, 2021
EAN13 : 9782738156518 / 608 pages / 145 x 220 mm / 400 g
EAN13 : 9782738156518 / 608 pages / 145 x 220 mm / 400 g
Only recently have we begun to appreciate the radical degree to which informatics—the science of computers and algorithms—is transforming modern society. In this lively and accessible survey of its foundations
and implications, Gérard Berry shows how information and data have come to occupy a central role not only in our technologies and sciences, but also in our daily lives. This growing dominance of smart devices, algorithms, and networked data, he argues, has helped usher in a new technological paradigm that cannot be fully grasped with the
materialist mathematical and scientific models of the twentieth century alone. Consequently, we are living in an era of unevenly distributed understanding and mastery—and thus power.
To correct this imbalance and puncture some widespread misapprehensions about information technology, The Hyperpower of Informatics examines and explains the informatics underpinnings of everyday operations like email, digital photography, and peer-to-peer file sharing; emergent technological trends including cryptocurrencies and
autonomous vehicles; and specialized areas such as medical imaging and mathematical research. Also attentive to the proliferation of programming bugs and security holes and the critical systems that may hang in the balance, Berry takes a holistic perspective of informatics and its growing prominence in a continually shifting landscape.
Filled with in-depth illustrations related with wit and verve, The Hyperpower of Informatics is an essential companion for investigating and demystifying the role of informatics in all aspects of the contemporary world.
Gérard Berry is a professor emeritus at the Collège de France, where he directed the chair of Algorithms, Machines, and Languages until 2019, and previously the chairs of Informatics and Digital Sciences and Technical Innovation. He is a member of the Académie des Sciences, the Académie des Technologies, and the Academia Europaea. He is a recipient of the gold medal from the French National Center for Scientific Research (CNRS).
- Cover Page
- Title Page
- Copyright Page
- Foreword
- Chapter 1 - Introduction: a new way of thinking
- Computational thinking
- The structure of this book
- Computer or digital?
- Computational thinking
- The dangers of twentieth-century mental models
- Fortunately, minds are changing
- Gender parity is unfortunately very, very far away. Why?
- Part one - From material to immaterial
- Chapter 2 - The main principles
- The twentieth-century triangle
- A new science of information and calculation
- From mechanical calculator to computer
- How information unifies and transforms everything
- Books, photos, and sounds
- Chapter 3 - The four pillars of informatics
- Data
- Algorithms
- Languages
- Machines and circuits
- Bugs
- Why parallel computations further amplify bugs
- Chapter 2 - The main principles
- Part two - Case studies
- Chapter 4 - Telecommunications: from cables to ether
- The telegraph, a little-known revolution
- Conventional telephony
- Wireless telephony
- From copper to ADSL and optical fiber
- Advances in algorithmic coding and transmission
- Chapter 5 - The internet, from people to objects
- The internet network: a major mental inversion
- Decentralized packet transmission
- Data flow transmission and traffic management
- The World Wide Web
- Searching the web
- Peer-to-peer, an epidemic model for data dissemination
- From computerized objects to the internet of things
- Internet security
- Chapter 6 - Digital images, sounds, and maps
- Digital photography
- How a camera captures light
- From raw image to visible image
- Other algorithmic corrections
- Algorithmic merging of multiple images
- Shooting assistance
- Codesign of lenses and algorithms
- Manufacturer and photographer dilemmas
- Digital mapping
- Transition to the third dimension
- Chapter 7 - Computerized medicine
- Computerized medical imaging
- Digital anatomy
- Interventional radiology
- The advent of automatic learning in medicine
- Never forget the patient
- Chapter 8 - Toward a massive computerization of science
- The fundamental role of instruments in the natural sciences
- The computerization of astronomy
- The computerization of physics
- Bioinformatics and computational biology
- Computational neuroscience
- Computer science in mathematics
- Chapter 4 - Telecommunications: from cables to ether
- Part three - Making informatics safer
- Chapter 9 - Bugs and security holes: two dangers of informatics
- Timing bugs are amazingly frequent
- The bug that killed Ariane 501
- Some Martian bugs
- Avionics and rail networks, critical and serious areas of concern
- Automotive systems, an area that is unfortunately less serious
- A historical medical bug: the Therac-25
- Tooling bugs
- Distributed system bugs
- Hardware circuit bugs
- From bugs to security holes
- Chapter 10 - How to make informatics safer
- An essential preliminary: characterizing good and bad behavior
- Software engineering
- From testing to formal methods
- Automated proof systems
- Interactive proof assistants
- Formal verification for security issues
- When should we use formal verification?
- Three personal experiences
- Chapter 11 - Where will the informatization of the world lead us? A personal vision
- Preliminaries
- The evolution of hardware
- The evolution of traditional software
- Machine learning or artificial intelligence?
- Information technology in society
- Teaching informatics, from primary to high school
- The problem of gender parity in informatics
- Chapter 9 - Bugs and security holes: two dangers of informatics
- Appendices
- 1. The science of algorithms
- 2. Digital circuit for arithmetic operations
- 3. Solving a Sudoku with SAT
- 4. From sequentiality to parallelism and distribution
- 5. Why so many programming languages?
- 6. The evolution of needs and languages
- 7. Compilers and bootstrapping
- Bibliography
- Endnotes
- Contents




