دانلود کتاب 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 تومان

خلاصه کتاب به فارسی (ترجمه خودکار و سیستمی) و خارجی:
تولد اولین معجزه زندگی است که در هیبت و رمز و راز پوشیده شده است. با این حال ، مرگ ، فیل ضرب المثل در اتاق است - واقعی و گنگ ، اما نادیده گرفته شده است. مرگ سزاوار اعتبار بیشتری از آن است که دریافت می کند. همراه با تولد ، مرگ ظرفی را تشکیل می دهد که زندگی ما را شکل می دهد. اگر تصدیق کنیم ، مرگ چارچوبی برای بررسی زندگی و زندگی آگاهانه ، معنادار و با محبت تر ارائه می دهد.

خلاصه کتاب به زبان اصلی :

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.

فهرست :



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




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

دانلود کتاب Angry White Pyjamas

دانلود کتاب Anatomy of the Ship - Essex

دانلود کتاب Repetitorium Schmerztherapie: Zur Vorbereitung auf die Prüfung "Spezielle Schmerztherapie"

دانلود کتاب Basic clinical neuroscience

دانلود کتاب Fundamentals of Body CT (3rd Edition)

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

دانلود کتاب Prolog Programming in Depth

دانلود کتاب Drupal For Dummies

دانلود کتاب Learn IPhone 5 and IPad 2 Cocos2D Game Development

دانلود کتاب The Cambridge Handbook of Intelligence

دانلود کتاب Oracle E-Business Suite 12 Financials Cookbook

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

دانلود کتاب Latent Variable Models: An Introduction to Factor, Path, and Structural Equation Analysis

دانلود کتاب Computation Structures

دانلود کتاب Decisions and Elections: Explaining the Unexpected

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

دانلود کتاب Algebra: Form and Function

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

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

دانلود کتاب Fundamentals of Superconducting Nanoelectronics

دانلود کتاب Innovation and Nanotechnology: Converging Technologies and the End of Intellectual Property

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

دانلود کتاب Fundamentals of Fusion Welding Technology

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

دانلود کتاب Jesus and the Spirit: A Study of the Religious and Charismatic Experience of Jesus and the First Christians as Reflected in the New Testamen: A Study ... Christians as Reflected in the New Testament

دانلود کتاب Hebrews: Contemporary Methods - New Insights (Biblical Interpretation)

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

دانلود کتاب Heart of Islam, The: Enduring Values for Humanity

دانلود کتاب Buddhism

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

دانلود کتاب Basic Statistics for the Behavioral Sciences, 6th Edition

دانلود کتاب MAT: Power Practice

دانلود کتاب Thinking, Fast and Slow

دانلود کتاب The Body Myth: Adult Women and the Pressure to be Perfect

دانلود کتاب How We Know What Isn't So: The Fallibility of Human Reason in Everyday Life

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

دانلود کتاب US Army Infantry Divisions 1944-45

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

دانلود کتاب History of Warfare: War In The Air 1914-45

دانلود کتاب Paras Versus the Reich: Canada's Paratroopers at War, 1942-45

دانلود کتاب Algeria Since 1989: Between Terror and Democracy (Global History of the Present)

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

دانلود کتاب Great Fruit & Vegetable Guide

دانلود کتاب Discovery and Explanation in Biology and Medicine (Science and Its Conceptual Foundations series)

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

دانلود کتاب Reviews of Physiology, Biochemistry and Pharmacology

دانلود کتاب Textbook of veterinary physiology

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

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

دانلود کتاب The Economist - 18 August 2001

دانلود کتاب Analog Integrated Circuits-Power management Signal conditioning and ASSP

دانلود کتاب Resonate: Present Visual Stories that Transform Audiences

دانلود کتاب Accounting: Tools for Business Decision Makers

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

دانلود کتاب Teach Yourself VISUALLY Quilting

دانلود کتاب How To Be A Lady Killer - Forbidden Secrets For Guys

دانلود کتاب Workbook Beginner. Enterprise 1

دانلود کتاب Teach Yourself to Make Angels and Fairies: Simple Techniques and Patterns for Dolls and Their Clothes

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

کتاب های حقوق

دانلود کتاب British Government and the Constitution: Text and Materials (Law in Context)

دانلود کتاب The Philosophy of Law: An Encyclopedia (Garland Reference Library of the Humanities) (2 Volumes)

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

دانلود کتاب Sentencing and criminal justice

دانلود کتاب The Killer Book of True Crime: Incredible Stories, Facts and Trivia from the World of Murder and Mayhem

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

دانلود کتاب Postmodernism, or, The cultural logic of late capitalism

دانلود کتاب Manufacturing Consent: The Political Economy of the Mass Media

دانلود کتاب Philosophy of Music: An Introduction

دانلود کتاب Modern American Literature A-G

دانلود کتاب TITANIC A Screenplay By James Cameron