Belki de bu yüzden yalnızca cesurların işidir kanıt

Özet

İngiliz Matematikçi Sir Michael Francis Atiyah’ın (1929-2019) sözleriyle,
“Kanıt, matematiği bir arada tutan yapıştırıcıdır.”
Bu ifadeyle Atiyah, etkileyici bir metafor yapmanın ötesinde, matematiğin en önemli yapıtaşının kanıt olduğuna işaret ediyordu. Elbette bu demek değil ki matematik yalnızca kanıttan ibarettir ya da bir matematikçi gününün her saatini önerme kanıtlayarak geçirir. Neticede matematik, teknik hesaplamalar yapmaktan karşıt örnekler oluşturmaya, algoritmalar bulmaktan özel durumlar incelemeye ya da modellemeler yapmaya kadar çok çeşitli uğraşlar da barındıran bir disiplindir. Yine de matematiği diğer disiplinlerden ayıran temel unsur, kanıta ve mantıksal gerekçelendirmeye sıkı sıkıya bağlı olmasıdır.