پروفسور دکتر گئورگ کلاوس

پروفسور دکتر ولفگانگ سگت

برگردان

شین میم شین

۴

گوتفرید ویلهلم لایب نیتس

(۱۶۴۶ ـ ۱۷۱۶)

فیلسوف، دانشمند، ریاضی دان، دیپلومات، فیزیکدان، مورخ، سیاستمدار، کتاب شناس و دکتر در حقوق دنیوی و اخروی (کلیسائی)

ایدئالیست عینی

روح یونیورسال زمانه خویش

  • تاریخ نوین مفهوم تخمین با لایب نیتس آغاز می شود که به کشف الزامات تعیین کننده هر تخمین نایل آمده است.

  • مراجعه کنید به خواص یونیورسال (عام)

۵

  • بعدها جورج بول (۱۸۱۵ ـ ۱۸۶۴) به توسعه مفهوم تخمین خدمات بزرگی ادا کرده است.

۶

گوتلوب فرگه

(۱۸۴۸ ـ ۱۹۲۵)

فیلسوف، ریاضی دان و منطق دان آلمانی

توسعه دهنده زبان فرمال و دلایل فرمال که بنیانی برای فن کومپیوتر و انفرماتیک کنونی اند.

برتراند راسل و لودویگ ویتگن اشتاین متأثر از او بوده اند.

آثار:

فونکسیون و مفهوم

مفهوم و شیئ

فونکسیون به چه معنی است؟

  • گوتلوب فرگه در اثر خود موسوم به «مفهومنوشته» (۱۸۷۹) اولین تخمین منطق مدرن را پدید د آورد.

۷

  • مفهوم عام تخمین (که به ویژه توسط شولتس و شروتر تدوین یافته و برای پژوهش مقدمات ریاضی مورد تدقیق جدی قرار گرفته) از چنان وسعتی برخوردار است که می تواند کلیه تئوری های ریاضی «فرمالیزه شده» و تخمین های دیگر را در بر گیرد.

۸

  • اگرچه نشان دادن تئوری های مختلف ریاضی و غیره در هیئت تخمین ها اصولا امکان پذیر است، ولی تخمین فقط برای این کار، بیهوده و زاید خواهد بود.

۹

  • تخمین زمانی معنای درخور کسب می کند (و این امر بسیار مهم و ضرور است) که به بررسی مسائل بنیادی (مقدماتی) چنین تئوری هائی بپردازد:

  • مثلا به بررسی مسئله رهائی آنها از تناقض منطقی بپردازد.

  • مراجعه کنید به تخمین منطقی، زبان فرمالیزه شده

پایان