Author: Josef StummvollPublisher:
ISBN:
Category : Science
Languages : de
Pages : 134
Book Description
Technikgeschichte und Schrifttum
Author: Josef StummvollPublisher:
ISBN:
Category : Science
Languages : de
Pages : 134
Book Description
Logic's Lost Genius
Author: Eckart Menzler-TrottPublisher: American Mathematical Soc.
ISBN: 9780821891292
Category : Mathematics
Languages : en
Pages : 468
Book Description
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 the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for ''German logic'', and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Godel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Information for our distributors: Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners.
Bibliography
Author: Robert Bingham DownsPublisher:
ISBN: 9780252725142
Category : Bibliographical literature
Languages : en
Pages : 630
Book Description
Library Trends
Author: Bibliography; Current State and Future Trends
Author: Robert Bingham DownsPublisher:
ISBN:
Category : Bibliography of bibliographies
Languages : en
Pages : 628
Book Description
Bibliography of Publications
Author: Bibliographie internationale annuelle des mélanges
Author: The Amateur and the Professional
Author: P. J. A. LevinePublisher: Cambridge University Press
ISBN: 9780521530507
Category : Business & Economics
Languages : en
Pages : 240
Book Description
This book highlights the growing divide in nineteenth-century intellectual circles between amateur and professional interest, and explores the institutional means whereby professional ascendancy was achieved in the broad field of studies of the past. It is concerned with how antiquarian 'gentlemen of leisure', pursuing their interests through local archaeological societies, were, by the end of the century, relegated to the sidelines of the now university-based discipline of history. At the same time it explores the theological as well as technical barriers which arrested the development of archaeology in this period. This is a notable contribution to the intellectual history of Victorian England, attending not simply to the ideas perpetrated by these communities of scholarship but to their social status, relating such social consideration to a more traditional intellectual history to create a new social history of ideas.
Geneses, Genealogies, Genres, and Genius
Author: Jacques DerridaPublisher: Columbia University Press
ISBN: 9780231139793
Category : Education
Languages : en
Pages : 118
Book Description
Jacques Derrida argues that the feminist and intellectual Hélène Cixous is the most important writer working within the French idiom today. To prove this, he elucidates the epistemological and historical interconnectedness of four terms: genesis, genealogy, genre, and genius, and how they pertain to or are implicated in Cixous's work. Derrida explores Cixous's genius (a masculine term in French, he is quick to point out) and the inspiration that guides and informs her writing. He marvels at her skillful working within multiple genres. He focuses on a number of her works, including her extraordinary novel Manhattan and her lyrical and evocative Dream I Tell You, a book addressed to Derrida himself and one in which Cixous presents a series of her dreams. Derrida also delves into the nature of the literary archive, the production of literature, and the importance of the poetic and sexual difference to the entirety of his own work. For forty years, Derrida had a close personal and intellectual relationship with Hélène Cixous. Clever, playful, and eloquent, Geneses, Genealogies, Genres, and Genius charts the influence these two critical giants had on each other and is the most vital work to address Cixous's contribution to French thought.
Geometric Calculus
Author: Giuseppe PeanoPublisher: Springer Science & Business Media
ISBN: 1461221323
Category : Mathematics
Languages : en
Pages : 160
Book Description
Calcolo Geometrico, G. Peano's first publication in mathematical logic, is a model of expository writing, with a significant impact on 20th century mathematics. Kannenberg's lucid and crisp translation, Geometric Calculus, will appeal to historians of mathematics, researchers, graduate students, and general readers interested in the foundations of mathematics and the development of a formal logical language. The book has never been reprinted in its entirety, and only two chapters have ever been translated into English. Readers of this valuable translation will gain insight into the work of a distinguished mathematician and founder of mathematical logic.