“An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.”
Quote by David Berlinski
Work
The Advent of the Algorithm: The Idea that Rules the World
This book delves into the history and significance of algorithms, examining their role in shaping modern life and the profound influence they have on various aspects of society. more
Author
You May Also Like
Source: The Advent of the Algorithm: The Idea that Rules the World
Source: The Goddess Abides: A Novel
Source: Form and actuality
