Author: Alonzo ChurchPublisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 798
Book Description
Includes lists of members.
The Journal of Symbolic Logic
Author: Alonzo ChurchPublisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 798
Book Description
Includes lists of members.
German books in print
Author: Publicationes mathematicae
Author: Kossuth Lajos Tudományegyetem. Matematikai IntézetPublisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 646
Book Description
Compositio Mathematica
Author: Widener Library Shelflist: Philosophy and psychology
Author: Harvard University. LibraryPublisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 728
Book Description
Combinatorial Set Theory
Author: Lorenz J. HalbeisenPublisher: Springer
ISBN: 3319602314
Category : Mathematics
Languages : en
Pages : 586
Book Description
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of set theory. In the final part, some topics of classical set theory are revisited and further developed in light of forcing, with new chapters on Sacks Forcing and Shelah’s astonishing construction of a model with finitely many Ramsey ultrafilters. Written for graduate students in axiomatic set theory, Combinatorial Set Theory will appeal to all researchers interested in the foundations of mathematics. With extensive reference lists and historical remarks at the end of each chapter, this book is suitable for self-study.
Science and subjectivity
Author: David BellPublisher: De Gruyter Akademie Forschung
ISBN:
Category : Biography & Autobiography
Languages : en
Pages : 296
Book Description
Set Theory, Arithmetic, and Foundations of Mathematics
Author: Juliette KennedyPublisher: Cambridge University Press
ISBN: 9781107008045
Category : Mathematics
Languages : en
Pages : 242
Book Description
This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel's previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics.
International Mathematical News
Author: Programming — ALGOL
Author: D. J. Malcolme-LawesPublisher: Elsevier
ISBN: 1483180425
Category : Business & Economics
Languages : en
Pages : 119
Book Description
Programming — ALGOL describes the basics of computer programming using Algol. Commands that could be added to Algol and could increase its scope are described, including multiplication and division and the use of brackets. The idea of labeling or naming a command is also explained, along with a command allowing two alternative results. Most of the important features of Algol syntax are discussed, and examples of compound statements (that is, sets of commands enclosed by a begin ... end command) are given. Comprised of 11 chapters, this book begins with an introduction to the digital computer and how it works using a list of instructions known as a program. The "punched-tape" method of feeding information into a computer is described together with the flexowriter. The next chapter provides an overview of Algol by studying a very simple program and comparing it with the same sequence of instructions written in normal English. The third chapter is about building a program, first by increasing the complexity of the actual computation and then economizing on memory stores. Subsequent chapters focus on how computer programs can be built up of simple commands; labeling or naming a command; facilities in the Algol language which allow the addition of a second alternative command to an if ... then statement; and the use of a flow diagram to translate a problem into Algol. The final chapter examines the method of running a program on a computer. This monograph will be of interest to computer programmers.