18 ilişkiler: Alan Turing, Amerika Birleşik Devletleri, Church-Turing tezi, Dana Scott, Hudson, Ohio, John G. Kemeny, Kaliforniya Üniversitesi, Los Angeles, Lamda kalkülüs, Mantık, Matematik, Michael O. Rabin, Princeton Üniversitesi, Raymond Smullyan, Washington, Washington, DC, 14 Haziran, 1903, 1995.
Alan Turing
Alan Mathison Turing (23 Haziran 1912 – 7 Haziran 1954), İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog.
Yeni!!: Alonzo Church ve Alan Turing · Daha fazla Gör »
Amerika Birleşik Devletleri
Amerika Birleşik Devletleri (kısaca ABD) (İngilizce: United States of America (USA), ayrıca Birleşik Devletler olarak da bilinir), elli eyalet ve bir federal bölgeden oluşan bir federal anayasal cumhuriyettir.
Yeni!!: Alonzo Church ve Amerika Birleşik Devletleri · Daha fazla Gör »
Church-Turing tezi
Not: Bu sayfadakiler C-T hipotezi değil, Turing testini anlatmaktadır. Turing testinde, A odasında (dışarıda) oturan sorgulayıcı, B ve C odalarına çeşitli sorular yöneltir.
Yeni!!: Alonzo Church ve Church-Turing tezi · Daha fazla Gör »
Dana Scott
Dana Stewart Scott (d. 11 Ekim 1932), Amerikalı bilgisayar bilimcisi.
Yeni!!: Alonzo Church ve Dana Scott · Daha fazla Gör »
Hudson, Ohio
Hudson, Amerika Birleşik Devletleri'nin Ohio eyaletinde yer alan ve Summit ilçesinde yer alan bir şehirdir.
Yeni!!: Alonzo Church ve Hudson, Ohio · Daha fazla Gör »
John G. Kemeny
John George Kemeny (Kemény János György; 31 Mayıs 1926 – 26 Aralık 1992), Macar asıllı ABD'li matematikçi, bilgisayar bilimcisi ve eğitmen.
Yeni!!: Alonzo Church ve John G. Kemeny · Daha fazla Gör »
Kaliforniya Üniversitesi, Los Angeles
University of California, Los Angeles Kaliforniya Üniversitesi, Los Angeles (genellikle UCLA olarak bilinir) ABD'nin Kaliforniya eyâletinde, Los Angeles şehrinde kurulu bir araştırma üniversitesidir.
Yeni!!: Alonzo Church ve Kaliforniya Üniversitesi, Los Angeles · Daha fazla Gör »
Lamda kalkülüs
Lamda kalkülüs, herhangi bir tek bantlı Turing makinesini simule edebilen evrensel bir hesaplama modelidir.
Yeni!!: Alonzo Church ve Lamda kalkülüs · Daha fazla Gör »
Mantık
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir.
Yeni!!: Alonzo Church ve Mantık · Daha fazla Gör »
Matematik
Abaküs antik çağlardan beri kullanılan bir hesaplama aygıtı. Maya numaraları Matematik, (Yunanca μάθημα matema, "bilgi, çalışma, öğrenme") nicelik, yapı, uzay ve değişim gibi konularla ilgilenir.
Yeni!!: Alonzo Church ve Matematik · Daha fazla Gör »
Michael O. Rabin
Michael Oser Rabin (מִיכָאֵל עוזר רַבִּין; d. 1 Eylül 1931), İsrailli bilgisayar bilimcisi.
Yeni!!: Alonzo Church ve Michael O. Rabin · Daha fazla Gör »
Princeton Üniversitesi
Princeton Üniversitesi, New Jersey'de yer alan özel bir üniversitedir.
Yeni!!: Alonzo Church ve Princeton Üniversitesi · Daha fazla Gör »
Raymond Smullyan
Raymond Merrill Smullyan (25 Mayıs 1919 - 6 Şubat 2017), Amerikalı matematikçi, konser piyanisti, mantıkçı, filozof ve hokkabaz.
Yeni!!: Alonzo Church ve Raymond Smullyan · Daha fazla Gör »
Washington
Washington (Vaşington) şu anlamlara gelebilir.
Yeni!!: Alonzo Church ve Washington · Daha fazla Gör »
Washington, DC
Washington, DC, Amerika Birleşik Devletleri'nin başkentidir.
Yeni!!: Alonzo Church ve Washington, DC · Daha fazla Gör »
14 Haziran
Açıklama yok.
Yeni!!: Alonzo Church ve 14 Haziran · Daha fazla Gör »
1903
Açıklama yok.
Yeni!!: Alonzo Church ve 1903 · Daha fazla Gör »
1995
Açıklama yok.
Yeni!!: Alonzo Church ve 1995 · Daha fazla Gör »