Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later.
Blue jeans are globally beloved and quintessentially American. They symbolize everything from the Old West to the hippie counter-culture; everyone from car mechanics to high-fashion models wears jeans
In 346 BC, a young Alexander the Great persuades his father to attack the military city-state of Sparta.That fateful event is the snowflake that triggers an avalanche of an alternative history spannin
A fascinating and informative read for librarians, library staff, and MLIS students, this book offers practical information and professional guidelines to examine current issues in censorship and libr
In the last ten years the number of nonprofits and social sector organizations has grown by almost 25 percent, while charitable giving declined 30 percent over the same period. As a result, many organ
In the last ten years the number of nonprofits and social sector organizations has grown by almost 25 percent, while charitable giving declined 30 percent over the same period. As a result, many organ
An engrossing and revolutionary biography of Isabella of Castile, the controversial Queen of Spain who sponsored Christopher Columbus's journey to the New World, established the Spanish Inquisition, a