کتاب الکترونیکی

مجموعه آثار A. M. Turing. جلد 4: منطق ریاضی

Collected works of A. M. Turing. Volume 4: Mathematical Logic

دانلود کتاب Collected works of A. M. Turing. Volume 4: Mathematical Logic (به فارسی: مجموعه آثار A. M. Turing. جلد 4: منطق ریاضی) نوشته شده توسط «R.O. Gandy – C.E.M. Yates (eds.)»

اطلاعات کتاب مجموعه آثار A. M. Turing. جلد 4: منطق ریاضی

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Elsevier

نویسنده: R.O. Gandy – C.E.M. Yates (eds.)

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 307

حجم کتاب: 3 مگابایت

کد کتاب: 9780444504234 , 0444504230

توضیحات کتاب مجموعه آثار A. M. Turing. جلد 4: منطق ریاضی

اگرچه مقالات منتشرنشده به وصیت تورینگ به رابین گاندی واگذار شد، اما به نظر می‌رسد که موضوع بررسی احتمال انتشار آنها در وهله اول بر عهده ماکس نیومن بوده است. نیومن در ارزیابی برخی از مقالات منتشر نشده با مشکلاتی روبرو شد و پس از بازنشستگی در سال 1963، کل موضوع را به دست رابین سپرد. در واقع این کار برای یک نفر بسیار بزرگ بود، اما تا سال 1988 که پروفسور فوربانک، مجری تورینگ و ویراستار کلی مجموعه آثار، برای دستیابی به یک ابتکار جدید وارد عمل شد، واقعاً محقق نشد. یک دوره فشرده فعالیت را دنبال کرد که در آن او سه ویراستار دیگر را وارد کرد. آنها کار قابل توجهی انجام دادند و مجلدات آنها در سال 1992 منتشر شد. پس چرا این جلد چهارم اینقدر طولانی شده است؟ اغلب اوقات هیچ دلیل واحدی وجود ندارد، اما برخی از توضیحات به دلیل …

Although the unpublished papers were left to Robin Gandy in Turing’s will, the matter of inquiring into the possibility of their publication seems to have rested in the first instance with Max Newman1. Newman ran into problems with the assessment of some of the unpublished papers, and then on retiring in 1963 he left the whole matter in Robin’s hands. It was in fact far too big a task for one person but that was not truly realised until 1988 when Professor Furbank, Turing’s executor and overall editor of the Collected Works, stepped in to take a new initiative. There followed an intensive period of activity in which he brought in three additional editors. They did a remarkable job and their volumes were published in 1992. So why has this, the fourth volume, taken so much longer? As often there is no single reason, but some explanation is due…

دانلود کتاب «مجموعه آثار A. M. Turing. جلد 4: منطق ریاضی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان