Book picks similar to
Kurt G�del: Essays for His Centennial by Solomon Feferman
popular-science
logic
logic-منطق
math
A Certain Ambiguity: A Mathematical Novel
Gaurav Suri - 2007
Charged under an obscure blasphemy law in a small New Jersey town in 1919, Vijay Sahni is challenged by a skeptical judge to defend his belief that the certainty of mathematics can be extended to all human knowledge--including religion. Together, the two men discover the power--and the fallibility--of what has long been considered the pinnacle of human certainty, Euclidean geometry.As grandfather and grandson struggle with the question of whether there can ever be absolute certainty in mathematics or life, they are forced to reconsider their fundamental beliefs and choices. Their stories hinge on their explorations of parallel developments in the study of geometry and infinity--and the mathematics throughout is as rigorous and fascinating as the narrative and characters are compelling and complex. Moving and enlightening, A Certain Ambiguity is a story about what it means to face the extent--and the limits--of human knowledge.
Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World
Leslie Valiant - 2013
We nevertheless muddle through even in the absence of theories of how to act. But how do we do it?In Probably Approximately Correct, computer scientist Leslie Valiant presents a masterful synthesis of learning and evolution to show how both individually and collectively we not only survive, but prosper in a world as complex as our own. The key is “probably approximately correct” algorithms, a concept Valiant developed to explain how effective behavior can be learned. The model shows that pragmatically coping with a problem can provide a satisfactory solution in the absence of any theory of the problem. After all, finding a mate does not require a theory of mating. Valiant’s theory reveals the shared computational nature of evolution and learning, and sheds light on perennial questions such as nature versus nurture and the limits of artificial intelligence.Offering a powerful and elegant model that encompasses life’s complexity, Probably Approximately Correct has profound implications for how we think about behavior, cognition, biological evolution, and the possibilities and limits of human and machine intelligence.
Algorithms to Live By: The Computer Science of Human Decisions
Brian Christian - 2016
What should we do, or leave undone, in a day or a lifetime? How much messiness should we accept? What balance of new activities and familiar favorites is the most fulfilling? These may seem like uniquely human quandaries, but they are not: computers, too, face the same constraints, so computer scientists have been grappling with their version of such issues for decades. And the solutions they've found have much to teach us.In a dazzlingly interdisciplinary work, acclaimed author Brian Christian and cognitive scientist Tom Griffiths show how the algorithms used by computers can also untangle very human questions. They explain how to have better hunches and when to leave things to chance, how to deal with overwhelming choices and how best to connect with others. From finding a spouse to finding a parking spot, from organizing one's inbox to understanding the workings of memory, Algorithms to Live By transforms the wisdom of computer science into strategies for human living.