دانلود کتاب Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

عنوان فارسی :

دانلود کتاب مجموعه نظریه، ریاضیات و مبانی ریاضیات: قضیه، فلسفه

عنوان انگلیسی :

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

زبان : English

موضوع : Mathematics->Logic

نویسندگان : Juliette Kennedy Roman Kossak (editors)

ناشر : Cambridge University Press

ISBN (شابک) : 1107008042, 9781107008045

تعداد صفحات : 242\242

سال نشر : 2011     ویرایش :

حجم : 19 MB       فرمت : pdf

قیمت : 4000 تومان

فهرست :



Table of contents :
Cover......Page 1
Review......Page 2
Series......Page 3
Title......Page 4
Copyright......Page 5
Contents......Page 8
§ 1. Introduction......Page 10
§2. Contents......Page 11
Historical Remarks on Suslin’s Problem, Akihiro Kanamori......Page 16
The Continuum Hypothesis, the Generic-Multiverse of Sets, and the Ω Conjecture, W. Hugh Woodin......Page 28
ω-Models of Finite Set Theory, Ali Enayat and Albert Visser......Page 58
Tennembaum’s Theorem for Models of Arithmetic, Richard Kaye......Page 81
Hierarchies of Subsystems of Weak Arithmetic, Shahram Mohsenipour......Page 95
Diphantine Correct Open Induction, Sidney Raffer......Page 108
Tennembaum’s Theorm and Recursive Reducts, James H. Schmerl......Page 127
History of Constructivism in the 20th Century, A.S. Troelstra......Page 165
A Very Short History of Ultrafinitism, Rose M. Cherubin and Mirco A. Mannucci......Page 195
Sue Toledo’s Notes of Her Conversations with Gödel in 1972-5, Sue Toledo......Page 215
Stanley Tennembaum’s Socrates, Curtis Franks......Page 223
Tennembaum’s Proof of the Irrationality of Square Root of 2, Jouko Vāānānen......Page 241




کتاب های پزشکی

دانلود کتاب Fundamentals of Nursing: Standards & Practice, 4th Edition

دانلود کتاب Ultrasound in Obstetrics And Gynecology: Textbook and Atlas, Volume 2 - Gynecology

دانلود کتاب Atlas of Mesotherapy in Skin Rejuvenation

دانلود کتاب Michael Jackson: The Magic, The Madness, The Whole Story, 1958-2009

دانلود کتاب llustrated Light on Yoga

کتاب های کامپیوتر

دانلود کتاب Embedded C Programming and the Atmel AVR, 2nd Edition

دانلود کتاب C++ for Engineers and Scientists, Third Edition

دانلود کتاب Effective C++: 55 Specific Ways to Improve Your Programs and Designs (3rd Edition)

دانلود کتاب wxPython 2.8 Application Development Cookbook

دانلود کتاب Актуальные проблемы теории информации

کتاب های ریاضی

دانلود کتاب Advances in Boundary Element Techniques

دانلود کتاب Logic Synthesis and Verification Algorithms

دانلود کتاب A Path to Combinatorics for Undergraduates: Counting Strategies

دانلود کتاب Introductory Algebra: A Real-World Approach (3rd Edition)

دانلود کتاب Confound & Destroy: 100 Group and the Bomber Support Campaign

کتاب های تکنولوژی

دانلود کتاب Graphene and Its Fascinating Attributes

دانلود کتاب Beds: outstanding projects from one of America's best craftsmen : with plans and complete instructions for building 9 classic beds

دانلود کتاب Protein Methods

دانلود کتاب Advanced Technology for Design and Fabrication of Composite Materials and Structures: Applications to the Automotive, Marine, Aerospace and Construction Industry

دانلود کتاب Composite Materials in Aerospace Design

کتاب های مذهبی

دانلود کتاب Renewal Theology: Salvation, the Holy Spirit, and Christian Living: 002

دانلود کتاب Renewal Theology: The Church, the Kingdom, and Last Things: 003

دانلود کتاب Living Together and Christian Ethics (New Studies in Christian Ethics)

دانلود کتاب A Holy People: Jewish and Christian Perspectives on Religious Communal Identity

دانلود کتاب Thematic Guide to Biblical Literature

کتاب های فیزیولوژی

دانلود کتاب The concept of being in Hegel and Heidegger (Abhandlungen zur Philosophie, Psychologie, und Padagogik ; Bd. 116)

دانلود کتاب Reading and Dyslexia in Different Orthographies

دانلود کتاب Mentoring Beginning Teachers, Second Edition: Guiding, Reflecting, Coaching

دانلود کتاب Psychologische Begutachtung im Strafverfahren: Indikationen, Methoden, Qualitätsstandards

دانلود کتاب Hypnosis for Chronic Pain Management: Therapist Guide

کتاب های تاریخی

دانلود کتاب Russian T-34 Battle Tank.

دانلود کتاب U.S. Fighters: Army-Air Force 1925 to 1980s

دانلود کتاب Pfalz D.IIIA (Windsock Datafile 21)

دانلود کتاب Wars of National Liberation

دانلود کتاب Konoe Fumimaro: a political biography

کتاب های زیست شناسی

دانلود کتاب The Molecules of Life: DNA, RNA, and proteins (Genetics and Evolution)

دانلود کتاب Genetic Transformation

دانلود کتاب Advances in Environmental Research, Volume 13

دانلود کتاب Biointerface Characterization by Advanced IR Spectroscopy

دانلود کتاب Multivariable Analysis: A Practical Guide for Clinicians and Public Health Researchers

کتاب های اقتصاد

دانلود کتاب International Management

دانلود کتاب Merlin PR Spitfires

دانلود کتاب Essentials of Strategic Management

دانلود کتاب Contemporary Marketing

دانلود کتاب

کتاب های آموزشی

دانلود کتاب Innovation in Architecture: A Path to the Future

دانلود کتاب The Bird Book

دانلود کتاب Teach Yourself Visually Knitting Design: Working from a Master Pattern to Fashion Your Own Knits

دانلود کتاب I Want to be a Gymnast (DK Readers, Level 2)

دانلود کتاب Ester Formation and Hydrolysis and Related Reactions

کتاب های حقوق

دانلود کتاب American Frontier Lawmen 1850 -1930

دانلود کتاب Intellectual Property on Campus: Students' Rights and Responsibilities

دانلود کتاب Human Rights And Capitalism: A Multidisciplinary Perspective on Globalisation (Corporations, Globalisation and the Law Series)

دانلود کتاب Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers

دانلود کتاب Hyperbolic Conservation Laws and the Compensated Compactness Method

کتاب های علوم انسانی

دانلود کتاب Inside Out Advanced: Workbook with Key

دانلود کتاب Culture and Customs of Laos (Culture and Customs of Asia)

دانلود کتاب The Politics of Inequality in Russia

دانلود کتاب Children's Folklore: A Source Book

دانلود کتاب Analysing Muslim Traditions (Islamic History and Civilization)