Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae. Sectio Scientiarum Mathematicarum

Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae. Sectio Scientiarum Mathematicarum PDF Author: József Attila Tudományegyetem
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 804

Get Book Here

Book Description

Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae. Sectio Scientiarum Mathematicarum

Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae. Sectio Scientiarum Mathematicarum PDF Author: József Attila Tudományegyetem
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 804

Get Book Here

Book Description


Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae

Acta Litterarum Ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae PDF Author:
Publisher:
ISBN:
Category : Mathematics
Languages : de
Pages : 534

Get Book Here

Book Description


Acta mineralogica petrographica

Acta mineralogica petrographica PDF Author:
Publisher:
ISBN:
Category : Mineralogy
Languages : en
Pages : 264

Get Book Here

Book Description


Introduction to Boolean Algebras

Introduction to Boolean Algebras PDF Author: Steven Givant
Publisher: Springer Science & Business Media
ISBN: 0387684360
Category : Mathematics
Languages : en
Pages : 589

Get Book Here

Book Description
This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual.

Acta mineralogica, petrographica

Acta mineralogica, petrographica PDF Author: Szeged (Hungary). Egyetem
Publisher:
ISBN:
Category : Mineralogy
Languages : en
Pages : 248

Get Book Here

Book Description


Understanding the Infinite

Understanding the Infinite PDF Author: Shaughan Lavine
Publisher: Harvard University Press
ISBN: 0674265335
Category : Mathematics
Languages : en
Pages : 262

Get Book Here

Book Description
An accessible history and philosophical commentary on our notion of infinity. How can the infinite, a subject so remote from our finite experience, be an everyday tool for the working mathematician? Blending history, philosophy, mathematics, and logic, Shaughan Lavine answers this question with exceptional clarity. Making use of the mathematical work of Jan Mycielski, he demonstrates that knowledge of the infinite is possible, even according to strict standards that require some intuitive basis for knowledge. Praise for Understanding the Infinite “Understanding the Infinite is a remarkable blend of mathematics, modern history, philosophy, and logic, laced with refreshing doses of common sense. It is a potted history of, and a philosophical commentary on, the modern notion of infinity as formalized in axiomatic set theory . . . An amazingly readable [book] given the difficult subject matter. Most of all, it is an eminently sensible book. Anyone who wants to explore the deep issues surrounding the concept of infinity . . . will get a great deal of pleasure from it.” —Ian Stewart, New Scientist “How, in a finite world, does one obtain any knowledge about the infinite? Lavine argues that intuitions about the infinite derive from facts about the finite mathematics of indefinitely large size . . . The issues are delicate, but the writing is crisp and exciting, the arguments original. This book should interest readers whether philosophically, historically, or mathematically inclined, and large parts are within the grasp of the general reader. Highly recommended.” —D. V. Feldman, Choice

Selected Logic Papers

Selected Logic Papers PDF Author: Willard Van Orman Quine
Publisher: Harvard University Press
ISBN: 9780674798366
Category : Mathematics
Languages : en
Pages : 326

Get Book Here

Book Description
For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.

Dictionary Catalog of the Research Libraries of the New York Public Library, 1911-1971

Dictionary Catalog of the Research Libraries of the New York Public Library, 1911-1971 PDF Author: New York Public Library. Research Libraries
Publisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 594

Get Book Here

Book Description


Combinatorial Optimization

Combinatorial Optimization PDF Author: Alexander Schrijver
Publisher: Springer Science & Business Media
ISBN: 9783540443896
Category : Business & Economics
Languages : en
Pages : 2024

Get Book Here

Book Description
From the reviews: "About 30 years ago, when I was a student, the first book on combinatorial optimization came out referred to as "the Lawler" simply. I think that now, with this volume Springer has landed a coup: "The Schrijver". The box is offered for less than 90.- EURO, which to my opinion is one of the best deals after the introduction of this currency." OR-Spectrum

From Frege to Gödel

From Frege to Gödel PDF Author: Jean van Heijenoort
Publisher: Harvard University Press
ISBN: 0674257243
Category : Philosophy
Languages : en
Pages : 684

Get Book Here

Book Description
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege’s Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. Frege’s book, translated in its entirety, begins the present volume. The emergence of two new fields, set theory and foundations of mathematics, on the borders of logic, mathematics, and philosophy, is depicted by the texts that follow. Peano and Dedekind illustrate the trend that led to Principia Mathematica. Burali-Forti, Cantor, Russell, Richard, and König mark the appearance of the modern paradoxes. Hilbert, Russell, and Zermelo show various ways of overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory. Skolem generalizes Löwenheim’s theorem, and he and Fraenkel amend Zermelo’s axiomatization of set theory, while von Neumann offers a somewhat different system. The controversy between Hubert and Brouwer during the twenties is presented in papers of theirs and in others by Weyl, Bernays, Ackermann, and Kolmogorov. The volume concludes with papers by Herbrand and by Gödel, including the latter’s famous incompleteness paper. Of the forty-five contributions here collected all but five are presented in extenso. Those not originally written in English have been translated with exemplary care and exactness; the translators are themselves mathematical logicians as well as skilled interpreters of sometimes obscure texts. Each paper is introduced by a note that sets it in perspective, explains its importance, and points out difficulties in interpretation. Editorial comments and footnotes are interpolated where needed, and an extensive bibliography is included.