Kalin–Burkhart makinesi
Daha fazla bilgi
- Yaratıcı
- Theodore Kalin, William Burkhart
- Yıl
- 1947
- Tür
- Mantık makinesi
Boolean ifadelerin doğruluk değerlerini sınayan 1947 tarihli elektrikli mantık makinesi — Harvard’daki iki mantık öğrencisinin yapımı.
Theodore Kalin ve William Burkhart, en fazla on iki değişkenli bir Boolean ifadenin doğruluk tablosunu mekanik olarak adım adım tarayan bir makine kurdu. Mantık piyanosu ve Stanhope gösterici mekanikti; bu ise elektrikle çalışıyordu ve bir ifadenin totoloji mi çelişki mi olduğunu söyleyebiliyordu.
Aritmetik için değil, yalnızca sembolik mantık için yapılmış ilk elektrikli makinelerden biri sayılır. Kalin’in kendi formüllerinden birinin çelişkili olduğunu, makine hiçbir cevap vermeyi reddedince fark ettiği söylenir.