History of Mathematical Logic from Leibniz to Peano
Author :
Publisher :
Page : 333 pages
File Size : 39,92 MB
Release : 1969
Category :
ISBN :
Author :
Publisher :
Page : 333 pages
File Size : 39,92 MB
Release : 1969
Category :
ISBN :
Author : Jean van Heijenoort
Publisher : Harvard University Press
Page : 684 pages
File Size : 50,38 MB
Release : 1967
Category : Mathematics
ISBN : 9780674324497
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s Begriffsschrift—which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory—begins the volume, which concludes with papers by Herbrand and by Gödel.
Author : Alfred North Whitehead
Publisher :
Page : 688 pages
File Size : 47,45 MB
Release : 1910
Category : Logic, Symbolic and mathematical
ISBN :
Author : Morris Kline
Publisher : OUP USA
Page : 452 pages
File Size : 23,80 MB
Release : 1990-03
Category : Mathematics
ISBN : 9780195061376
Traces the development of mathematics from its beginnings in Babylonia and ancient Egypt to the work of Riemann and Godel in modern times.
Author : Fulvia Skof
Publisher : Springer Science & Business Media
Page : 198 pages
File Size : 47,87 MB
Release : 2011-04-30
Category : Mathematics
ISBN : 8847018366
This book contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino University to celebrate the 150th anniversary of G. Peano's birth - one of the greatest figures in modern mathematics and logic and the most important mathematical logician in Italy - a century after the publication of Formulario Mathematico, a great attempt to systematise Mathematics in symbolic form.
Author : Ralph Krömer
Publisher : Springer Science & Business Media
Page : 285 pages
File Size : 19,27 MB
Release : 2012-03-13
Category : Mathematics
ISBN : 3034605048
This book is a collection of essays on the reception of Leibniz’s thinking in the sciences and in the philosophy of science in the 19th and 20th centuries. Authors studied include C.F. Gauss, Georg Cantor, Kurd Lasswitz, Bertrand Russell, Ernst Cassirer, Louis Couturat, Hans Reichenbach, Hermann Weyl, Kurt Gödel and Gregory Chaitin. In addition, we consider concepts and problems central to Leibniz’s thought and that of the later authors: the continuum, space, identity, number, the infinite and the infinitely small, the projects of a universal language, a calculus of logic, a mathesis universalis etc. The book brings together two fields of research in the history of philosophy and of science (research on Leibniz, and the research concerned with some major developments in the 19th and 20th centuries); it describes how Leibniz’s thought appears in the works of these authors, in order to better understand Leibniz’s influence on contemporary science and philosophy; but it also assesses that reception critically, confronting it in particular with the current state of Leibniz research and with the various editions of his work.
Author : Joseph W. Dauben
Publisher : Springer Science & Business Media
Page : 776 pages
File Size : 48,70 MB
Release : 2002-09-23
Category : Mathematics
ISBN : 9783764361679
As an historiographic monograph, this book offers a detailed survey of the professional evolution and significance of an entire discipline devoted to the history of science. It provides both an intellectual and a social history of the development of the subject from the first such effort written by the ancient Greek author Eudemus in the Fourth Century BC, to the founding of the international journal, Historia Mathematica, by Kenneth O. May in the early 1970s.
Author : Nimrod Bar-Am
Publisher : Springer Science & Business Media
Page : 172 pages
File Size : 36,45 MB
Release : 2008-04-03
Category : Philosophy
ISBN : 1402081685
a single life-span. Philosophers, then, do not see more or know more, and they do not see less or know less. They aim to see less detail and more of the abstract. Their details, if you like, are abstractions. Walking on God’s earth as a pedestrian, as a farmer working his fields or as a passer-by, one’s picture of one’s surroundings is every bit as intelligent as that of the pilot riding the sky. The views of the field are radically different, however. One sees only a specific field and in all lively detail: the exact pattern of the land, or even the exact outline of a given leaf, grasshopper, grain of sand even. Acquaintance with minute detail is not without its price: details may stand in the way of conjuring the big picture. It may be difficult to compare whichever field one happens to be in with far off fields, with respect to their size or shape or any other quality. One may wish to inquire if far off fields were already planted, harvested, or even if they exist. A pedestrian may find it hard or even impossible to do so. The pedestrian view contains fine points that the pilot’s map never would, but it does not necessarily contain more information, for it lacks the general context. After all, there are only so many items that one can observe and account for at a single glance, a single map, a single book, a single life-span.
Author : Geraldine Brady
Publisher : Elsevier
Page : 481 pages
File Size : 48,8 MB
Release : 2000-11-22
Category : Computers
ISBN : 0080532020
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
Author : Michael Hooker
Publisher : Manchester University Press
Page : 388 pages
File Size : 19,90 MB
Release : 1982
Category : Philosophy
ISBN : 9780719009259