منطق ریاضی
From Wikipedia, the free encyclopedia
برای کتاب محمد اردشیر با همین عنوان، منطق ریاضی (کتاب) را ببینید.
منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخهای از ریاضیات است که به پیوند ریاضی و منطق میپردازد.[1]
ریشههای پیدایش این منطق به کارهای جوزپه پئانو ریاضیدان ایتالیایی و پیش از او لایب نیتز و لامبرت میرسد.
در سالهای پایانی سدهٔ نوزدهم میلادی، با کارهای آگوستوس دمورگان، جرج بول، گوتلوب فرگه، برتراند راسل، دیوید هیلبرت و دیگران این علم به پیشرفت چشمگیری دست یافت.