A Tour through Mathematical Logic

A Real Analysis Approach

Robert S. Wolf (Autor)

Buch | Softcover

414 Seiten

2010
Mathematical Association of America (Verlag)
978-0-88385-042-8 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This work is an accessible introduction to real analysis as it applies to topics in abstract dynamical systems for undergraduates which presupposes little advanced knowledge. It connects its results to recent research and thus aims to bridge the gap between undergraduate teaching and current mathematical ideas and research.

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.

Rodney Nillsen gained his undergraduate degree at the University of Tasmania, and studied at postgraduate level at the Flinders University of South Australia, under Igor Kluvánek. He has held positions at the Flinders University of South Australia, the Royal University of Malta, the Open University and the University College of Swansea. He currently lectures at the University of Wollongong, New South Wales. He is a member of the Australian Mathematical Society, the Mathematical Association of America and the American Mathematical Society.

1. Predicate logic; 2. Set theory; 3. Recursion theory and computability; 4. Model theory; 5. Independence results in set theory; 6. Nonstandard analysis; 7. Constructive mathematics; Appendix A. A deductive system for first-order logic; Appendix B. Relations and orderings; Appendix C. Cardinal arithmetic; Bibliography; Index.

Erscheint lt. Verlag	16.9.2010
Reihe/Serie	Carus Mathematical Monographs
Zusatzinfo	Worked examples or Exercises; 1 Tables, black and white; 4 Halftones, color; 26 Line drawings, unspecified; 29 Line drawings, color
Verlagsort	Washington
Sprache	englisch
Maße	140 x 210 mm
Gewicht	480 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Analysis
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-88385-042-7 / 0883850427
ISBN-13	978-0-88385-042-8 / 9780883850428
Zustand	Neuware