Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Logic's Lost Genius
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on...
Mathematics and Mind
The essays in this volume investigate the conceptual foundations of mathematics illuminating the powers of the mind. Contributors include Alexander George, Michael Dummett, George Boolos, W.W. Tait, Wilfried Sieg, Daniel Isaacson, Charles Parsons, and Michael Hallett.
Captives and Corsairs
Captives and Corsairs uncovers a forgotten story in the history of relations between the West and Islam: three centuries of Muslim corsair raids on French ships and shores and the resulting captivity of tens of thousands of French subjects and citizens in North Africa. Through an analysis of archival materials, writings, and images produced by contemporaries, the book fundamentally revises our picture of France's emergence as a nation and a colonial power, presenting the Mediterranean as an essential vantage point for studying the rise of France. It reveals how efforts to liberate slaves from North Africa shaped France's perceptions of the Muslim world and of their own "Frenchness". From around 1550 to 1830, freeing these captives evolved from an expression of Christian charity to a method of state building and, eventually, to a rationale for imperial expansion. Captives and Corsairs thus advances new arguments about the fluid nature of slavery and firmly links captive redemption to state formation—and in turn to the still vital ideology of liberatory conquest.
The Development of Modern Logic
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
