كيرت غودل

هو عالم رياضيات نمساوي ولد عام 1906. درس الرياضيات والفلسفة في جامعة فينّا. كان هيلبرت يعتقد بإمكانية برهنة صحة أو خطأ أية دعوى رياضياتية بشرط أن نجد مجموعة مسلمات كاملة. لأن كل نظرية في الرياضيات يبرهن عليها انطلاقاً من مجموعة مسلمات معروفة. ولكن غودل أثبت أنه حتى لو تمكنا من إيجاد كل المسلمات اللازمة فإن هناك حالات لا يمكن القرار فيها، أي لا يمكن تأكيدها ولا نفيها. وسمى نظريته بنظرية "عدم الاكتمال". وكمثال لتبسيط الفكرة: لنتصور أن قبرصياً يقول: إن كل قبرصي هو كذاب! ... فهل يمكن لهذه الدعوى أن تكون صحيحة أو تكون خاطئة؟ إذا افترضنا أنها صحيحة فسنصل إلى عكس ذلك، وإن افترضنا أنها خاطئة فسنصل إلى عكس ذلك أيضاً! ولكن لحسن حظ الرياضيات فإن معظم النظريات لا تقع ضمن دائرة الدعاوى التي لا يمكن نفيها أو تأكيدها. وبدد غودل حلم هيلبرت. هاجر إلى أمريكا وأصبح صديق آينشتاين المقرب. توفي في مصحة نفسية عام 1978.