You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
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...
This volume fills an important gap in research on the refugees from Nazism who settled in Britain, by giving a full and wide-ranging account of the organisations that they established. The contributions cover these organisations chronologically, from those that did not outlast the war to those still active today, and in terms of their function, as cultural or religious institutions, as historical resources for the study of Nazism and the refugees, or as all-purpose representative refugee associations. Any scholar or student working in this field needs to have an understanding of the organisations that were and are so characteristic of the refugee community.
None
This book presents Robert S. Hartman’s formal theory of value and critically examines many other twentieth century value theorists in its light, including A.J. Ayer, Kurt Baier, Brand Blanshard, Paul Edwards, Albert Einstein, William K. Frankena, R.M. Hare, Nicolai Hartmann, Martin Heidegger, G.E. Moore, P.H. Nowell-Smith, Jose Ortega y Gasset, Charles Stevenson, Paul W. Taylor, Stephen E. Toulmin, and J.O. Urmson. Open Access funding for this volume has been provided by the Robert S. Hartman Institute.
As Bowler tracks major scientific debates over the emergence of the vertebrates, the origins of the main types of living animals, and the rise and extinction of groups such as the dinosaurs, his richly detailed accounts bring to light complex interactions among specialists in various fields of biology.
None
This book explores the notion of the human psyche (‘soul’) and its continuing usefulness in the background of the ongoing and always accelerating techno-scientific revolution. The main argument here follows the assumption that this revolution, while not necessarily being a threat to humankind, is often blind or ignorant as to its subject, the ‘human being’. In the first chapters, the reader is invited to reflect on the notion of ‘thinking’ as a phenomenon of consciousness that transcends merely ‘having thoughts’. Relating thinking to consciousness requires reconsidering the phenomena of ‘inspiration’ and ‘ecstasy’. Provided that such a thing as ‘inspiration’ exist...