دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Horská. Anna
سری: SpringerBriefs in philosophy
ISBN (شابک) : 9783319021713, 3319021710
ناشر: Springer
سال نشر: 2014
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب نقطه گودل در کجا پنهان شده است: اثبات سازگاری جنتزن در سال 1936 و نمایش او از ترتیبات سازنده: منطق، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نقطه گودل در کجا پنهان شده است: اثبات سازگاری جنتزن در سال 1936 و نمایش او از ترتیبات سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب اولین اثبات سازگاری منتشر شده PA را توضیح می دهد. این
شامل اثبات اصلی Gentzen است، اما از اصطلاحات و مثالهای مدرن
برای نشان دادن مفاهیم اساسی استفاده میکند. نویسنده در مورد
مراحل Gentzen اظهار نظر می کند که با محاسبات دقیق و بخش هایی از
مشتقات رسمی تکمیل می شود. یکی از جنبه های قابل توجه اثبات،
نمایش اعداد ترتیبی است که توسط Gentzen ایجاد شد. این نمایش
تجزیه و تحلیل می
شود و اتصال به نمایش نظری مجموعه ای پیدا می شود، یعنی الگوریتمی
برای ترجمه نماد گنتزن به شکل عادی کانتور. این موضوع باید به
پژوهشگران و دانشجویانی علاقه مند باشد که روی نظریه اثبات،
تاریخچه نظریه اثبات یا برنامه هیلبرت کار می کنند و از خواندن
متون ریاضی ایرادی ندارند. بیشتر
بخوانید...
چکیده: این کتاب اولین اثبات سازگاری PA را توضیح می دهد. این
شامل اثبات اصلی Gentzen است، اما از اصطلاحات و مثالهای مدرن
برای نشان دادن مفاهیم اساسی استفاده میکند. نویسنده در مورد
مراحل Gentzen اظهار نظر می کند که با محاسبات دقیق و بخش هایی از
مشتقات رسمی تکمیل می شود. یکی از جنبه های قابل توجه اثبات،
نمایش اعداد ترتیبی است که توسط Gentzen ایجاد شد. این نمایش
تحلیل میشود و ارتباط با نمایش نظری مجموعه پیدا میشود، یعنی
الگوریتمی برای ترجمه نماد گنتزن به فرم عادی کانتور. این موضوع
باید به محققان و دانشآموزانی علاقهمند باشد که روی نظریه
اثبات، تاریخچه نظریه اثبات یا برنامه هیلبرت کار میکنند و از
خواندن متون ریاضی اهمیتی نمیدهند.
This book explains the first published consistency proof of PA.
It contains the original Gentzen's proof, but it uses modern
terminology and examples to illustrate the essential notions.
The author comments on Gentzen's steps which are supplemented
with exact calculations and parts of formal derivations. A
notable aspect of the proof is the representation of ordinal
numbers that was developed by Gentzen. This representation is analysed and
connection to set-theoretical representation is found, namely
an algorithm for translating Gentzen's notation into Cantor
normal form. The topic should interest researchers and students
who work on proof theory, history of proof theory or Hilbert's
program and who do not mind reading mathematical texts.
Read
more...
Abstract: This book explains the first published consistency
proof of PA. It contains the original Gentzen's proof, but it
uses modern terminology and examples to illustrate the
essential notions. The author comments on Gentzen's steps which
are supplemented with exact calculations and parts of formal
derivations. A notable aspect of the proof is the
representation of ordinal numbers that was developed by
Gentzen. This representation is analysed and connection to
set-theoretical representation is found, namely an algorithm
for translating Gentzen's notation into Cantor normal form. The
topic should interest researchers and students who work on
proof theory, history of proof theory or Hilbert's program and
who do not mind reading mathematical texts
Front Matter....Pages i-ix
Introduction....Pages 1-9
Preliminaries....Pages 11-28
Ordinal Numbers....Pages 29-40
Consistency Proof....Pages 41-69
Back Matter....Pages 71-77