مشخصات کتاب

New Directions in the Philosophy of Mathematics: An Anthology

دسته بندی: منطق
ویرایش:  
نویسندگان: Thomas Tymoczko  
سری:  
ISBN (شابک) : 0817631631 
ناشر: Birkhauser 
سال نشر: 1986 
تعداد صفحات: 329 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

کلمات کلیدی مربوط به کتاب مسیرهای جدید در فلسفه ریاضیات: گلچینی: ریاضیات، فلسفه ریاضیات، بنیاد ریاضیات، اثبات، فرمالیسم، تجربه گرایی، خطا، صدق، معرفت شناسی، پولیا، قضیه گودل، نظریه اطلاعات، مسئله چهار رنگ، کالج اسمیت، 1979

در صورت تبدیل فایل کتاب New Directions in the Philosophy of Mathematics: An Anthology به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مسیرهای جدید در فلسفه ریاضیات: گلچینی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مسیرهای جدید در فلسفه ریاضیات: گلچینی

"بحث سنتی بین فیلسوفان ریاضیات این است که آیا یک واقعیت ریاضی خارجی وجود دارد، چیزی وجود دارد که باید کشف شود، یا اینکه آیا ریاضیات محصول ذهن انسان است. فراتر از پرسش‌های بنیادگرا می‌رود و آنچه را که «پسامدرن» از فلسفه ریاضیات نامیده می‌شود ارائه می‌کند - ارزیابی‌ای که به مسائلی با اهمیت نظری از نظر تجربه ریاضی می‌پردازد. دانشمندان علوم کامپیوتر، توماس تیموکزکو تلاش های در حال تکاملی را برای توضیح ماهیت ریاضیات در رابطه با سایر فعالیت های انسانی نشان می دهد. این گزارش ها شامل موضوعاتی مانند تاریخچه ریاضیات به عنوان یک رشته مطالعاتی، پیش بینی هایی در مورد اینکه چگونه رایانه ها بر سازمان آینده ریاضیات تأثیر خواهند گذاشت، می شود. و اینکه یک اثبات قبل از اینکه به شکل قابل انتشار برسد، تحت چه فرآیندهایی قرار می گیرد.\" "پس از تقریباً یک قرن که در آن تلاش شد تا فلسفه ریاضیات به نظریه مجموعه ها تقلیل یابد، فیلسوفان شروع به بازنگری در رویکردهای سنتی کرده اند. جلد تیموکزکو مقدمه ای محکم برای این رویکردهای جدید فراهم می کند، که هم خواندنی و هم قابل فهم است. پیشینه منطق رسمی، یا فلسفه سنتی ریاضیات، پیش فرض نیست، زیرا مقالات اساسی وجود دارد که باید خواننده را با اصطلاحات سریع آشنا کند. همچنین لازم نیست برای درک افکار ارائه شده، یک ریاضیدان باشد. ، من فکر نمی کنم هیچ ریاضی دانی از ارائه این کتاب آزرده یا نگران شود. در نهایت، اجماع نهایی ارائه نشده است. در عوض، موضوع با مجموعه‌ای از رویکردهای تازه تقویت می‌شود که تجربه ریاضیات را با تلاش برای تقلیل آن به چیز دیگری جعل نمی‌کنند.»

توضیحاتی درمورد کتاب به خارجی

"The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. This provocative book, now available in a revised and expanded paperback edition, goes beyond foundationalist questions to offer what has been called a "postmodern" assessment of the philosophy of mathematics--one that addresses issues of theoretical importance in terms of mathematical experience. By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for the nature of mathematics in relation to other human activities. These accounts include such topics as the history of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what processes a proof undergoes before it reaches publishable form." "After almost a century in which the attempt was made to reduce philosophy of mathematics to set theory, philosophers have begun to reconsider the traditional approaches. The Tymoczko volume provides a solid intro to these new approaches, that is both readable and insightful. A background in formal logic, or traditional philosophy of mathematics, is not presupposed, as there are basic essays that should get the reader up to speed on the terminology. Nor does one have to be a mathematician to appreciate the thoughts presented. At the same time, I don't believe any mathematician would be offended or alarmed by the presentations of this book. Ultimately, there is no final consensus offered. Rather, the topic is reinvigorated with a collection of fresh approaches that do not falsify the experience of mathematics by trying to reduce it to something else."

فهرست مطالب

- Preface
- Introduction
Part I: Challenging Foundations
- \"Some Proposals for Reviving the Philosophy of Mathematics\", Reuben Hersh
- \"A Renaissance of Empiricism in the Recent Philosophy of Mathematics?\", Imre Lakatos
- \"What Is Mathematical Truth?\", Hilary Putnam
- \"\'Modern\' Mathematics: An Educational and Philosophic Error?\", René Thom
- \"Mathematics as an Objective Science\", Nicholas D. Goodman
Interlude
- \"From the Preface of _Induction and Analogy in Mathematics_\", George Polya
- \"Generalization, Specialization, Analogy\", George Polya
Part II: Mathematical Practice
WHAT IS MATHEMATICAL PRACTICE?
- \"Theory and Practice in Mathematics\", Hao Wang
- \"What Does a Mathematical Proof Prove?\", Imre Lakatos
- \"Fidelity in Mathematical Discourse: Is One and One Really Two?\", Philip J. Davis
- \"The Ideal Mathematician\", Philip J. Davis and Reuben Hersh
THE EVOLUTION OF MATHEMATICAL PRACTICE
- \"The Cultural Basis of Mathematics\" Raymond L. Wilder
- \"Is Mathematical Truth Time-Dependent?\", Judith V. Grabiner
- \"Mathematical Change and Scientific Change\" Philip Kitcher
COMPUTERS AND MATHEMATICAL PRACTICE: A CASE STUDY
- \"The Four-Color Problem and Its Philosophical Significance\", Thomas Tymoczko
- \"Social Processes and Proofs of Theorems and Programs\", Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis
- \"Information-Theoretic Computational Complexity and Gédel’s Theorem and Information\", Gregory Chaitin
- Bibliography

نظرات کاربران

کتاب های مرتبط

دانلود کتاب The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]

دانلود کتاب Agreeable Agreement: An Examination of the Quest for Consensus in Ecumenical Dialogue (Ecclesiological Investigations)

دانلود کتاب Archaeological Surveying and Mapping: Recording and Depicting the Landscape

دانلود کتاب Computation and reasoning. A type theory for computer science

دانلود کتاب The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]

دانلود کتاب Phonological change

دانلود کتاب Touring Gotham's Archaeological Past: 8 Self-Guided Walking Tours through New York City

دانلود کتاب Time's River: Archaeological Syntheses from the Lower Mississippi Valley (A Dan Josselyn Memorial Publication)

دانلود کتاب Gentzen's Centenary, The Quest for Consistency

دانلود کتاب Intermediate Set Theory