Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size PDF Author: Michael Hallett
Publisher: Oxford University Press
ISBN: 9780198532835
Category : Mathematics
Languages : en
Pages : 372

Get Book Here

Book Description
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.

Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size PDF Author: Michael Hallett
Publisher: Oxford University Press
ISBN: 9780198532835
Category : Mathematics
Languages : en
Pages : 372

Get Book Here

Book Description
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.

Set Theory, Logic and Their Limitations

Set Theory, Logic and Their Limitations PDF Author: Moshe Machover
Publisher: Cambridge University Press
ISBN: 9780521479981
Category : Mathematics
Languages : en
Pages : 304

Get Book Here

Book Description
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.

A Book of Set Theory

A Book of Set Theory PDF Author: Charles C Pinter
Publisher: Courier Corporation
ISBN: 0486497089
Category : Mathematics
Languages : en
Pages : 259

Get Book Here

Book Description
"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. A historical introduction is followed by discussions of classes and sets, functions, natural and cardinal numbers, the arithmetic of ordinal numbers, and related topics. 1971 edition with new material by the author"--

The Philosophy of Set Theory

The Philosophy of Set Theory PDF Author: Mary Tiles
Publisher: Courier Corporation
ISBN: 0486138550
Category : Mathematics
Languages : en
Pages : 258

Get Book Here

Book Description
DIVBeginning with perspectives on the finite universe and classes and Aristotelian logic, the author examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory, and more. /div

Pillars of Computer Science

Pillars of Computer Science PDF Author: Arnon Avron
Publisher: Springer
ISBN: 3540781277
Category : Computers
Languages : en
Pages : 699

Get Book Here

Book Description
For over half a century, Boris (Boaz) Trakhtenbrot has made seminal contributions to virtually all of the central areas of theoretical computer science. This festschrift volume readily illustrates the profound influence he has had on the field.

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium PDF Author: P. T. Johnstone
Publisher: Oxford University Press
ISBN: 9780198515982
Category : Computers
Languages : en
Pages : 836

Get Book Here

Book Description
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

Doing Mathematics: Convention, Subject, Calculation, Analogy (2nd Edition)

Doing Mathematics: Convention, Subject, Calculation, Analogy (2nd Edition) PDF Author: Martin H Krieger
Publisher: World Scientific
ISBN: 9814571865
Category : Mathematics
Languages : en
Pages : 492

Get Book Here

Book Description
Doing Mathematics discusses some ways mathematicians and mathematical physicists do their work and the subject matters they uncover and fashion. The conventions they adopt, the subject areas they delimit, what they can prove and calculate about the physical world, and the analogies they discover and employ, all depend on the mathematics — what will work out and what won't. The cases studied include the central limit theorem of statistics, the sound of the shape of a drum, the connections between algebra and topology, and the series of rigorous proofs of the stability of matter. The many and varied solutions to the two-dimensional Ising model of ferromagnetism make sense as a whole when they are seen in an analogy developed by Richard Dedekind in the 1880s to algebraicize Riemann's function theory; by Robert Langlands' program in number theory and representation theory; and, by the analogy between one-dimensional quantum mechanics and two-dimensional classical statistical mechanics. In effect, we begin to see 'an identity in a manifold presentation of profiles,' as the phenomenologists would say.This second edition deepens the particular examples; it describe the practical role of mathematical rigor; it suggests what might be a mathematician's philosophy of mathematics; and, it shows how an 'ugly' first proof or derivation embodies essential features, only to be appreciated after many subsequent proofs. Natural scientists and mathematicians trade physical models and abstract objects, remaking them to suit their needs, discovering new roles for them as in the recent case of the Painlevé transcendents, the Tracy-Widom distribution, and Toeplitz determinants. And mathematics has provided the models and analogies, the ordinary language, for describing the everyday world, the structure of cities, or God's infinitude.

The Intellectual: A Phenomenom in Multidimensional Perspectives

The Intellectual: A Phenomenom in Multidimensional Perspectives PDF Author:
Publisher: BRILL
ISBN: 1848880278
Category : Social Science
Languages : en
Pages : 180

Get Book Here

Book Description
The book we are happy to introduce here is a product of the 3rd Global Conference Intellectuals: Knowledge, Power, Ideas held in Prague, Czech Republic, May 6-8, 2010. The 3rd Global Conference of the 'Intellectuals' project encouraged papers of two main thematic areas: Intellectuals and the End of the Academy; and Cultural Turns.

From Kant to Hilbert Volume 2

From Kant to Hilbert Volume 2 PDF Author: William Bragg Ewald
Publisher: OUP Oxford
ISBN: 0191523100
Category : Mathematics
Languages : en
Pages : 710

Get Book Here

Book Description
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics while David Hilbert was the last great mainstream mathematician to pursue important nineteenth cnetury ideas. This two-volume work provides an overview of this important era of mathematical research through a carefully chosen selection of articles. They provide an insight into the foundations of each of the main branches of mathematics—algebra, geometry, number theory, analysis, logic and set theory—with narratives to show how they are linked. Classic works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare are reproduced in reliable translations and many selections from writers such as Gauss, Cantor, Kronecker and Zermelo are here translated for the first time. The collection is an invaluable source for anyone wishing to gain an understanding of the foundation of modern mathematics.

Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences

Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences PDF Author: Ivor Grattan-Guinness
Publisher: Routledge
ISBN: 1134957491
Category : Philosophy
Languages : en
Pages : 1788

Get Book Here

Book Description
* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century * 176 articles contributed by authors of 18 nationalities * Chronological table of main events in the development of mathematics * Fully integrated index of people, events and topics * Annotated bibliographies of both classic and contemporary sources * Unique coverage of Ancient and non-Western traditions of mathematics