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




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

دانلود کتاب Paravasation von Zytostatika: Ein Kompendium für Prävention und Therapie

دانلود کتاب Casarett and Doull's toxicology: the basic science of poisons Sixth Edition

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

دانلود کتاب Biomagnetic Stimulation

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

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

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

دانلود کتاب Practical C programming

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

دانلود کتاب MySQL Cookbook, 2nd Edition

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

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

دانلود کتاب Probability, Statistics, and Random Processes For Electrical Engineering, 3rd Edition

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

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

دانلود کتاب Digital Signal Processing using MATLAB and Wavelets

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

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

دانلود کتاب Handbook of Combustion, Volume 1 (Fundamentals and Safety)

دانلود کتاب Hormones and Reproduction of Vertebrates - Volume 5: Mammals

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

دانلود کتاب Protein-Protein Interactions: A Molecular Cloning Manual, Second Edition

دانلود کتاب Microcontrollers in Practice

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

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

دانلود کتاب Old Testament Theology: 1 (Old Testament Library)

دانلود کتاب The Jacobite Rebellions 1689-1745 (Men-at-Arms)

دانلود کتاب Religions of the World: A Comprehensive Encyclopedia of Beliefs and Practices

دانلود کتاب La pratica esoterica

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

دانلود کتاب Introduction to Psychology , Eighth Edition

دانلود کتاب Desperately Seeking Madonna/Adam Sexton

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

دانلود کتاب Introducing Sport Psychology: A Practical Guide

دانلود کتاب How to Motivate Reluctant Learners (Mastering the Principles of Great Teaching Series)

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

دانلود کتاب Arthur L Bowley: A Pioneer in Modern Statistics and Economics

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

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

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

دانلود کتاب Knives and Swords: A Visual History

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

دانلود کتاب Flora of Kamtchatka and adjacent islands

دانلود کتاب Introduction to Marine Biology

دانلود کتاب From Genesis to Genetics: The Case of Evolution and Creationism

دانلود کتاب Salmonella in Domestic Animals

دانلود کتاب Schaum's Outline of Microbiology, Second Edition

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

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

دانلود کتاب The Economist - 20 January 2001

دانلود کتاب The Handbook of Microfinance

دانلود کتاب The Economist - 27 October 2001

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

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

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

دانلود کتاب Modern naval combat

دانلود کتاب Occupying Architecture

دانلود کتاب Towards a New Architecture

دانلود کتاب Smiley's Workshop for AVR

کتاب های حقوق

دانلود کتاب Analysis of evidence

دانلود کتاب Atiyah's accidents, compensation and the law

دانلود کتاب A criminal history of mankind

دانلود کتاب Crime And Punishment In England: An Introductory History

دانلود کتاب European Union Law

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

دانلود کتاب Human Societies: An Introduction to Macrosociology, Eleventh Edition

دانلود کتاب Time: Histories and Ethnologies (The Comparative Studies in Society and History Book Series)

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

دانلود کتاب The Practice of Everyday Life

دانلود کتاب The paradox of choice: why more is less