Sistem "F" ve Sistem "T" adlarının nereden geldiğini bilen var mı? Bu isimleri kimin tanıttığını sormuyorum (Girard System F ve Gödel System T), ancak "F" ve "T" nin ne anlama geldiğini.
Sistem "F" ve Sistem "T" adlarının nereden geldiğini bilen var mı? Bu isimleri kimin tanıttığını sormuyorum (Girard System F ve Gödel System T), ancak "F" ve "T" nin ne anlama geldiğini.
Yanıtlar:
Bunu TYPES için yayınladım, ama muhtemelen burada da kopyalamaya değer:
"On beş yıl sonra değişken tip F sistemi" nde Girard, F isminin özel bir nedeni olmadığını belirtiyor:
Bununla birlikte, [3] 'te tesadüfen F olarak adlandırılan bu sistem için açık dönüşüm kurallarının yakınsak olduğu gösterilmiştir.
Tezinde başka bir açıklama olabilir, ancak maalesef Fransızca akıcı olmadığım için okumadım.
Ancak, Almanca yarı-okur yazarlığımdan beri, Sistem T'nin (ve bunun için Diyalektik yorumunun) tanıtıldığı Gödel'in "Über eine noch nicht benüzte Erweiterung des finiten Standpunktes" adlı makalesine bir göz attım. Bu sistemi parantez içinde ayırır:
Das heisst die Axiome ölür Sistemleri (es werde T genannt) sind resmi hızlı dizel wie die der primitiv rekursiven Zahlentheorie [...] [1]
Bununla birlikte, bir önceki sayfa ve bir buçuk sistem T'nin tip yapısı hakkında konuşmak için harcanmıştır, bu nedenle T'nin "tipler" anlamına geldiğini tahmin etmek mantıklıdır. Ancak yazılı olarak açık bir neden yoktur.
[1] "Bu, bu sistemin (D olarak adlandırılan T) aksiyomlarının, ilkel özyinelemeli sayı teorisi ile neredeyse aynı olduğu anlamına gelir [...]"