پروفسور دکتر گئورگ کلاوس
پروفسور دکتر ولفگانگ سگت
برگردان
۴
گوتفرید ویلهلم لایب نیتس
(۱۶۴۶ ـ ۱۷۱۶)
فیلسوف، دانشمند، ریاضی دان، دیپلومات، فیزیکدان، مورخ، سیاستمدار، کتاب شناس و دکتر در حقوق دنیوی و اخروی (کلیسائی)
ایدئالیست عینی
روح یونیورسال زمانه خویش
· تاریخ نوین مفهوم تخمین با لایب نیتس آغاز می شود که به کشف الزامات تعیین کننده هر تخمین نایل آمده است.
· مراجعه کنید به خواص یونیورسال (عام)
۵
· بعدها جورج بول (۱۸۱۵ ـ ۱۸۶۴) به توسعه مفهوم تخمین خدمات بزرگی ادا کرده است.
۶
گوتلوب فرگه
(۱۸۴۸ ـ ۱۹۲۵)
فیلسوف، ریاضی دان و منطق دان آلمانی
توسعه دهنده زبان فرمال و دلایل فرمال که بنیانی برای فن کومپیوتر و انفرماتیک کنونی اند.
برتراند راسل و لودویگ ویتگن اشتاین متأثر از او بوده اند.
آثار:
فونکسیون و مفهوم
مفهوم و شیئ
فونکسیون به چه معنی است؟
· گوتلوب فرگه در اثر خود موسوم به «مفهومنوشته» (۱۸۷۹) اولین تخمین منطق مدرن را پدید د آورد.
۷
· مفهوم عام تخمین (که به ویژه توسط شولتس و شروتر تدوین یافته و برای پژوهش مقدمات ریاضی مورد تدقیق جدی قرار گرفته) از چنان وسعتی برخوردار است که می تواند کلیه تئوری های ریاضی «فرمالیزه شده» و تخمین های دیگر را در بر گیرد.
۸
· اگرچه نشان دادن تئوری های مختلف ریاضی و غیره در هیئت تخمین ها اصولا امکان پذیر است، ولی تخمین فقط برای این کار، بیهوده و زاید خواهد بود.
۹
· تخمین زمانی معنای درخور کسب می کند (و این امر بسیار مهم و ضرور است) که به بررسی مسائل بنیادی (مقدماتی) چنین تئوری هائی بپردازد:
· مثلا به بررسی مسئله رهائی آنها از تناقض منطقی بپردازد.
· مراجعه کنید به تخمین منطقی، زبان فرمالیزه شده
پایان
هیچ نظری موجود نیست:
ارسال یک نظر