جوان ۲۴ ساله‌ای که رویای قطعی‌بودن ریاضیات را نابود کرد

به گزارش تیترستان؛ ریاضی‌دانان در اوایل قرن بیستم به دنبال ساختن نظامی کامل و بدون نقص بودند که بتواند همه حقایق ریاضی را اثبات کند، اما کورت گودل، نابغه ۲۴ ساله اتریشی، با قضایای ناتمامیت خود نشان داد چنین آرزویی دست‌نیافتنی است. او ثابت کرد در هر نظام سازگار و به‌اندازه کافی قدرتمند، گزاره‌هایی وجود دارند که درست‌اند اما نمی‌توان درون همان نظام اثباتشان کرد. این کشف، بنیان‌های خوش‌بینی ریاضی قرن بیستم را لرزاند و مرزی تازه میان حقیقت و اثبات‌پذیری ترسیم کرد؛ مرزی که تا امروز بر منطق، فلسفه و علوم رایانه سایه افکنده است.