Математическая логика
Математика
  • формат djvu
  • размер 4.75 МБ
  • добавлен 01 ноября 2011 г.
Kneebone G.T. Mathematical Logic and the Foundations of Mathematics. An Introductory Survey
Издательство Van Nostrand, 1963, -224 pp.

This introduction to mathematical logic and the philosophy of mathematics is based on courses of lectures given in the University of London, and attended both by undergraduates in the final year of an honours course in mathematics and by graduates beginning research for higher degrees. Planned with a variety of needs in mind, it is addressed both to readers who require only a general survey of the topics with which it deals and to intending specialists in mathematical logic and foundations of mathematics.
The general reader may pass quickly over sections marked with an asterisk, and he will also be able to omit many of the formal proofs in other sections without losing the thread of the main argument. No very detailed knowledge of mathematics is demanded, although a general familiarity with the concepts, terminology, and methods of mode mathematics is desirable. Readers who are not mathematicians should be able to understand, without undue difficulty, most of Parts I and III, and even to follow the broad argument of Part II; but only those with a mathematical background will be in a position to appre- appreciate all the details of the discussion.
For mathematicians who are proposing to tu to serious study of some aspect of mathematical philosophy, the book is intended as a general introduction to this entire field. It is indeed offered specifically as a preliminary survey, and not as an exhaustive account of the present state of knowledge; but anyone who has worked carefully through it, following up the suggestions for supplementary reading, should be ready to begin independent work in whatever branch of the subject he may choose. Specialized research in mathematical philosophy needs the support of a sound knowledge of the classical literature; and it is with the work of the classical phase—which in the study of the foundations of mathematics may be said to have lasted up to about 1939—that the book is for the most part conceed.

Part I Mathematical Logic
Chapter 1 Traditional Logic
Symbolic Logic I—The Propositional Calculus
Symbolic Logic II—The Restricted Calculus of Predicates
Further Development of Symbolic Logic
Part II Foundations of Mathematics
The Critical Movement in Mathematics in the Nineteenth Century
The Logistic Identification of Mathematics with Logic
Formalized Mathematics and Metamathematics
G?del's Theorems on the Inherent Limitations of Formal Systems
Intuitionism
Recursive Arithmetic
The Axiomatic Theory of Sets
Part III Philosophy of Mathematics
The Epistemological Status of Mathematics
The Application of Mathematics to the Natural World
Logic and the Activity of Thinking
Developments since 1939 in the Study of Foundations Mathematical Logic of Mathematics
Похожие разделы
Смотрите также

Barwise J. (ed.) Handbook of Mathematical Logic

Справочник
  • формат djvu
  • размер 21.44 МБ
  • добавлен 01 ноября 2011 г.
Издательство Elsevier, 1977, -1165 pp. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four parts: model theor...

Bilanuik S. A Problem Course in Mathematical Logic

  • формат pdf
  • размер 676.29 КБ
  • добавлен 01 ноября 2011 г.
Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. It co...

Crossley J.N. What is Mathematical Logic?

  • формат djvu
  • размер 882.84 КБ
  • добавлен 22 декабря 2011 г.
C. J. Ash (Author), J. N. Crossley (Author), C. J. Brickhill (Author), J. C. Stillwell (Author), N. H. Williams (Author) This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas.

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник
  • формат pdf
  • размер 27.86 МБ
  • добавлен 22 декабря 2011 г.
Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Hinman P.G. Fundamentals of Mathematical Logic

  • формат djvu
  • размер 6.61 МБ
  • добавлен 11 октября 2011 г.
AK Pеters, 2005. - 896 pages. This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and G?del’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author’s more than 35 years of teaching experience, the book develops students’ intuition by presenting complex ideas in the simplest context f...

Mendelson E. Introduction to Mathematical Logic

  • формат pdf
  • размер 10.39 МБ
  • добавлен 25 июня 2011 г.
Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and a...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

  • формат pdf
  • размер 8.28 МБ
  • добавлен 06 ноября 2011 г.
Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Rautenberg W. A Concise Introduction to Mathematical Logic

  • формат pdf
  • размер 2.44 МБ
  • добавлен 11 декабря 2010 г.
Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguisti...

Shoenfield J.R. Mathematical Logic

  • формат djvu
  • размер 4.59 МБ
  • добавлен 25 августа 2011 г.
AK Pеters/CRС Prеss, 2001. - 356 pages. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible f...

Smullyan R.M. Logical Labyrinths

  • формат pdf
  • размер 3.64 МБ
  • добавлен 18 октября 2011 г.
AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for...