John W. Addison: Bir Doktora Danışmanının Mirası

Bilgisayar bilimcisi Bill Wadge, doktora danışmanı John W. Addison'ı (1930–2026) anıyor. Addison, 2025 yazında 96 yaşında vefat etti. Wadge, 1966'da UC Berkeley'e geldiğinde ne okuyacağına dair net bir fikri yokken, arkadaşlarının tavsiyesiyle Addison'ın mantık dersine katıldı ve hemen etkilendi. Addison'ı hayatındaki en iyi eğitmen olarak tanımlayan Wadge, onun hassasiyetine, zarif notasyonlarına ve öğretim tarzına hayran kaldı. Dersin zorlu sınavları bile mizah içeriyordu, örneğin "Bu ifade yanlıştır" gibi bir doğru/yanlış sorusuyla öğrencileri düşündürüyordu. Wadge, lisans eğitiminde mantık dersi almamış olmasına rağmen, Addison'ın izniyle dersine katıldı ve Model Theory'ye odaklanan bu dersin mantığa mükemmel bir giriş sağladığını belirtiyor. Daha sonra Addison'ın tanımlanabilirlik seminerine katılan Wadge'a, Baire Space'deki belirli nokta alt kümelerinin tanımlanmasındaki zorluklarla ilgili çözülmemiş bir problem verildi. Addison'ın Hartley Rogers'ın bir makalesini okuma tavsiyesi üzerine, Wadge, sayı teorisindeki paralel bir problemi analogik akıl yürütme kullanarak çözdü. Bu çözüm, Addison'ın sürekli fonksiyonları sürekli çalışan Turing makineleri olarak tanımlamasına dayanıyordu ve Wadge, iki dizi kümesinin göreceli karmaşıklığını sonsuz bir oyun aracılığıyla belirleyebileceğini gösterdi. Bu deneyim, Wadge'ın Addison'dan ne kadar etkilendiğini ortaya koydu: Turing makinesi tabanlı süreklilik karakterizasyonu, analojilerin merkezi rolü ve sonsuz oyunların kullanımı gibi kavramlar onun çalışmalarına yön verdi. Addison'ın, bir projenin kritik aşamalarında ihtiyaç duyulan teknolojiyi, henüz nasıl uygulanacağı netleşmeden önce bile tespit etme yeteneği, Wadge üzerinde derin bir etki bıraktı. Wadge, başlangıçta sonsuz oyununu sadece zor bir problemi çözmek için akıllıca bir numara olarak görse de, Addison onu bu oyunu sistematik olarak incelemeye teşvik etti.