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

Özet

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. Kanıt, yalnızca bir sonucun doğruluğunu garanti altına almak için değil, aynı zamanda düşünce sürecindeki mantıksal yolculuğu aktarmak için de kullanılır. Bu sebeple matematik ve mantığı birbirinden tamamen ayırmak imkansızdır. B