Gödel Ödülü European Association for Theoretical Computer Science ve Association for Computing Machinery'nin her yıl birlikte belirlediği ve teorik bilgisayar bilimi alanındaki en seçkin makalelerin yazarlarına verilen bir ödüldür.
Ödül, P-NP problemini ilk kez dile getiren Kurt Gödel'in adıyla anılmaktadır.
Gödel Ödülü sahipleri | |
|---|---|
| 1990'lar |
|
| 2000'ler |
|
| 2010'lar |
|
| 2020'ler |
|
Eksiklik Teoremi, Kurt Gödel'in 1931 yılında doktorasında yer verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin tutarlı olması dahilinde eksik olması gerektiğini bildirir.
Kurt Gödel, Avusturyalı-Amerikalı mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel'in Eksiklik Teoremi ile tanınır. Aristoteles'ten bu yana en büyük mantıkçılardan biri olarak kabul edilir.
Douglas Richard Hofstadter, Amerikalı bir bilim insanıdır. Yaygın olarak 1979'da yayınlanan Gödel, Escher, Bach: An Eternal Golden Braid kitabı ile tanınır. 1980 yılında kurgu dışı alanda Pulitzer Ödülünü kazanan bu kitap, binlerce öğrencinin bilgisayar bilimleri ve yapay zekâ konusunda meslekler seçmelerine önayak olmuştur.
Martin Luciano Scorsese, Akademi Ödülü, BAFTA ve Altın Küre sahibi Amerikalı film yönetmeni, senarist ve yapımcıdır. 1997 Amerikan Film Enstitüsü tarafından verilen AFİ Yaşam Boyu Başarı Ödülü'ne layık görülmüştür. 2007'de Köstebek isimli filmiyle, En İyi Yönetmen dalında Oscar ödülünün sahibi olmuştur.
Gödel, Kastamonu ilinin merkez ilçesine bağlı bir köydür.
Bu sayfada Sinema dalında En İyi Yönetmen Altın Küre Ödülünü kazanmış veya ödüle aday gösterilmiş kişiler listelenmektedir.
En İyi Sinema Filmi Altın Küre Ödülü - Müzikal veya Komedi kazananların ve adayların listesi;
Sinema Dalında En İyi Aktör Altın Küre Ödülü - Müzikal veya Komedi kazananların ve adayların listesi;
Claire Catherine Danes, üç Emmy Ödülü, dört Altın Küre Ödülü ve iki SAG Ödülü sahibi Amerikalı oyuncudur. Şu anda 2011 yılından beridir Homeland dizisinde CIA ajanı rolünü oynamaktadır. Ayrıca rol gereği gerçek hayatta Amerikalı politikacı ve CIA kökenli Marie Harf'i canlandırdığı konuşulmaktadır.
En İyi Senaryo Altın Küre Ödülü Hollywood Foreign Press Association tarafından her yıl sinema filmlerine verilen ödüllerden birisidir.
William Ramsay, İskoç kimyagerdir. Asal gazları keşfetmiş ve bu buluşu ona 1904'te Nobel Kimya Ödülü'nü kazandırmıştır. Neon ve kripton elementlerini bulmuştur.
Hollywood Yabancı Basın Birliği ya da kısaca HFPA, İngiliz gazetesi Daily Mail'de çalışan bir muhabir tarafından 1943 yılında kurulmuştur. Amerikan film endüstrisini Amerika dışında faaliyet gösteren basın kuruluşları için takip eden gazeteciler tarafından oluşturulmuş organizasyondur. Organizasyon her yıl düzenli olarak verilen Altın Küre Ödülleri ile tanınır.
Fred Astaire, , Amerikalı dansçı, koreograf, şarkıcı ve oyuncu.
Futbol Yazarları Derneği Yılın Futbolcusu Ödülü İngiliz futbolunda sezonun en iyi oyuncusu olarak kararlaştırılan futbolcuya verilen ödüldür. Ödül töreni, Blackpool'un kanat forvet oyuncusu Stanley Matthews'ün kazandığı 1947-48 sezonundan beri düzenlenmektedir. 2008-09 sezonu itibarıyla ödülün son kazananı Liverpoollu Steven Gerrard'dır. Sekiz oyuncu ödülü iki kereden fazla kazanmıştır. Bunların sonuncusu ikinci ödülünü 2007-08 sezonunda kazanan Ronaldo olmuştur.
Kümeler teorisi, matematiğin, matematiksel nesneler olan kümeleri inceleyen dalıdır. Neredeyse bütün matematik kümeler kuramının kendi dilinde ifade edilebilir. Alman matematikçi Georg Cantor tarafından 1874 ile 1895 yılları arasında geliştirilen ve daha sonrasında, Ernst Zermelo, Kurt Gödel gibi 20. yüzyılın oldukça tanınmış matematikçileri tarafından aksiyomatikleştirilen teoridir.
Melissa Ann McCarthy, Amerikalı aktris, komedyen ve senarist.
Uluslararası müzik endüstrisinin tipik ödülleri olan sertifikalar, kayıtların satışları esas alınılarak dağıtılır. Bu ödüllerin kriterleri dünya çapında çeşitli ülke ve bölgelerin müzik endüstrisini temsil eden çeşitli sertifika kuruluşları tarafından belirlenir. Verilen standart sertifikalar satışların artışına göre sırasıyla Altın, Platin ve bazen Elmas sertifikalardır; bunun yanı sıra Birleşik Krallık'ta en düşük sertifika olarak Altın'dan önce verilen Gümüş sertifika vardır. Platin ve Elmas sertifika alma kriterlerinin üstünde bir satışla karşılaşılması durumunda "Çoklu-Platin" ve "Çoklu-Elmas" sertifikaları verilir.
Silvio Micali, Massachusetts Teknoloji Enstitüsü'nde profesör olarak çalışan İtalyan bilgisayar bilimcisi. Şifrebilim ve bilgi güvenliği konulu çalışmalarıyla tanınmıştır.
Shafrira Goldwasser, Amerikalı-İsrailli bilgisayar bilimcisi. Massachusetts Teknoloji Enstitüsü ve Weizmann Enstitüsü'nde profesör olarak çalışmaktadır.
Avi Wigderson, İsrailli matematikçi ve bilgisayar bilimcidir. Princeton, New Jersey'deki Institute for Advanced Study'nin matematik fakültesinde Herbert H. Maass Profesörüdür. Araştırma alanları arasında karmaşıklık teorisi, paralel algoritmalar, grafik teorisi, kriptografi, dağıtılmış bilgi işlem ve sinir ağları bulunmaktadır. Çalışmaları nedeniyle 2021 yılında Abel Ödülü'nü aldı.