دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: تاریخ ویرایش: 1 نویسندگان: Geraldine Brady (Eds.) سری: Studies in the History and Philosophy of Mathematics 4 ISBN (شابک) : 9780444503343, 044450334X ناشر: North Holland سال نشر: 2000 تعداد صفحات: 467 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب From Peirce to Skolem: A Neglected Chapter in the History of Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب از پیرس تا اسکولم: فصلی غفلت شده در تاریخ منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب گزارشی از تأثیر مهم چارلز اس. پیرس و شاگردش O.H. در توسعه منطق ریاضی است. میچل، از طریق آثار ارنست شرودر، لئوپولد لوونهایم و تورالف اسکولم. تا آنجا که می دانیم، این کتاب اولین اثری است که این خط تأثیر را بر منطق ریاضی مدرن ترسیم می کند.
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic"
Content:
Acknowledgments
Pages vii-viii
Geraldine Brady
Introduction
Pages 1-8
1. The early work of Charles S. Peirce Original Research Article
Pages 9-22
2. Peirce\'s calculus of relatives: 1870 Original Research Article
Pages 23-49
3. Peirce on the algebra of logic: 1880 Original Research Article
Pages 51-74
4. Mitchell on a new algebra of logic: 1883 Original Research Article
Pages 75-94
5. Peirce on the algebra of relatives: 1883 Original Research Article
Pages 95-112
6. Peirce\'s logic of quantifiers: 1885 Original Research Article
Pages 113-142
7. Schröder\'s calculus of relatives Original Research Article
Pages 143-168
8. Löwenheim\'s contribution Original Research Article
Pages 169-196
9. Skolem\'s recasting Original Research Article
Pages 197-205
Appendix 1: Schröder\'s lecture I Original Research Article
Pages 207-221
Appendix 2: Schröder\'s lecture II Original Research Article
Pages 223-249
Appendix 3: Schröder\'s lecture III Original Research Article
Pages 251-256
Appendix 4: Schröder\'s lecture V Original Research Article
Pages 257-294
Appendix 5: Schröder\'s lecture IX Original Research Article
Pages 295-338
Appendix 6: Schröder\'s lecture XI Original Research Article
Pages 339-377
Appendix 7: Schröder\'s lecture XII Original Research Article
Pages 379-427
Appendix 8: Norbert Wiener\'s thesis Original Research Article
Pages 429-444
Bibliography
Pages 445-459
Index
Pages 461-468