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

خلاصه کتاب به فارسی (ترجمه خودکار و سیستمی) و خارجی:
این مجموعه مقالات از حوزه های مختلف منطق ریاضی، وسعت قابل توجه و غنای این میدان را نشان می دهد. نویسندگان ارشد نشان می دهد که چگونه نتایج فنی فنی معطوف به سوالات پایه در مورد ماهیت ریاضیات است. نکات برجسته این جلد عبارتند از: تاریخ قضیه تننباوم در حسابرسی؛ تعدادی از مقالات در مورد پدیده Tennenbaum در آرایتفت ضعیف و همچنین در سایر جنبه های آرایتفتیس، مانند تفسیرپذیری؛ رونوشت از گفتگوهای 1977-1975 منتشر شده با گلدن گلدن گلوب، با همراهی کورتیز فرانکس، و همچنین قدردانی کریستیز فرانکس؛ مقاله هیو وودین استدلال می کند که علیه نمای کلی چندجملهای است؛ تاریخچه تئوریک آنتونی ترولاسترا از سال 1991؛ و تاریخ Aki Kanamori از مشکل Suslin در نظریه مجموعه. این کتاب یک درمان تاریخی و فلسفی از قضیه های خاص را در نظریه حساب و نظریه مجموعه ارائه می دهد و برای دانش پژوهان و فارغ التحصیلان در منطق ریاضی و فلسفه ریاضیات ایده آل است.

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

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




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

دانلود کتاب Obstetric and Gynecologic Dermatology, Third Edition

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

دانلود کتاب Interpretation of canine and feline urinalysis

دانلود کتاب Quick Reference Dictionary of Eyecare Terminology

دانلود کتاب Pocket Atlas of Sectional Anatomy, Computed Tomography and Magnetic Resonance Imaging: Thorax, Heart, Abdomen, and Pelvis

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

دانلود کتاب Metasploit: The Penetration Tester's Guide

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

دانلود کتاب C# Programming: From Problem Analysis to Program Design, 3rd Edition

دانلود کتاب IPhone SDK 3 Programming: Advanced Mobile Development for Apple IPhone and IPod Touch

دانلود کتاب The Korn Shell: Unix & Linux Programming Manual

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

دانلود کتاب Fundamentals of Digital Logic and Microcomputer Design

دانلود کتاب The Laplace Transformation (Lectures on applied mathematics volume 1)

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

دانلود کتاب Multirate systems and filter banks

دانلود کتاب Beyond ANOVA: Basics of Applied Statistics (Wiley Series in Probability and Statistics)

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

دانلود کتاب Composite Reinforcements for Optimum Performance

دانلود کتاب Popular Woodworking - Complete Book of Tips, Tricks & Techniques

دانلود کتاب Industrial Sprays and Atomization: Design, Analysis and Applications

دانلود کتاب Upgrading and Repairing PCs, w. CD-ROM

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

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

دانلود کتاب Religion and Society in Roman Palestine: Old Questions, New Approaches

دانلود کتاب He Chose the Nails: What God Did to Win Your Heart

دانلود کتاب Mother Teresa: A Biography (Greenwood Biographies)

دانلود کتاب Syriac Idiosyncrasies (Jerusalem Studies in Religion and Culture)

دانلود کتاب Exodus Through the Centuries (Blackwell Bible Commentaries)

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

دانلود کتاب The Ultimate Teaching Manual: A Route to Success for Beginning Teachers

دانلود کتاب Psychologie und Psychotherapie für Schule und Studium: Ein praxisbezogenes Wörterbuch

دانلود کتاب Kompendium Praktische Psychiatrie

دانلود کتاب Kama Sutra 365

دانلود کتاب Psychiatrie: einschließlich Psychotherapie (Springer-Lehrbuch)

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

دانلود کتاب The Nazi Germany Sourcebook: An Anthology of Texts

دانلود کتاب World War I: People, Politics, and Power

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

دانلود کتاب The Romanian Army of Warld War 2

دانلود کتاب Warfare in the Seventeenth Century

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

دانلود کتاب Life: The Science of Biology, 9th Edition

دانلود کتاب Elite Cultures: Anthropological Perspectives

دانلود کتاب Ecology: Global Insights and Investigations

دانلود کتاب Ami yarn plants. Crocheted Accessories

دانلود کتاب F-16I Sufa in IAF Service

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

دانلود کتاب Just-in-Time Logistics

دانلود کتاب Advanced Accounting, 11th Edition

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

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

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

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

دانلود کتاب Teach Yourself Visually Sock Knitting

دانلود کتاب Research Design and Methods: A Process Approach, 8th Edition

دانلود کتاب How to Draw Manga: Giant Robots

دانلود کتاب Planning in the USA: Policies, Issues and Processes

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

کتاب های حقوق

دانلود کتاب Smith and Keenan's Company Law, 14th Edition

دانلود کتاب McMafia: a journey through the global criminal underworld

دانلود کتاب Inventing the Criminal: A History of German Criminology, 1880-1945

دانلود کتاب Inside Gitmo: The True Story Behind the Myths of Guantanamo Bay

دانلود کتاب Unsolved Crimes (Criminal Investigations)

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

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

دانلود کتاب CULTURAL POPULISM CL

دانلود کتاب Sociological Theory (8th Edition)

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

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