17. yüzyılda eğitim, bilim, kültür, sanat ve siyaset sahaları bakımından zikredilmesi gereken en önemli şahsiyeti olarak kabul edilen, Avrupalıların Hacı Halife lakabıyla tanıdıkları, yazdığı eserler, ilim öğrenme merakı, tercih ettiği ilmî yöntemler ve oluşturduğu kütüphanesiyle şöhret bulan bilim insanı aşağıdakilerden hangisidir?