Ντέινα Σκοτ

 Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. Μπορείτε να βοηθήσετε προσθέτοντας την κατάλληλη τεκμηρίωση. Υλικό που είναι ατεκμηρίωτο μπορεί να αμφισβητηθεί και να αφαιρεθεί.
Η σήμανση τοποθετήθηκε στις 02/10/2015.
Ντέινα Σκοτ
Γενικές πληροφορίες
Όνομα στη
μητρική γλώσσα		Dana Stewart Scott (Αγγλικά)
Γέννηση11  Οκτωβρίου 1932
Μπέρκλι
Χώρα πολιτογράφησηςΗνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
Ομιλούμενες γλώσσεςΑγγλικά[1]
Εκπαίδευσηδιδάκτωρ φιλοσοφίας
ΣπουδέςΠανεπιστήμιο του Πρίνστον
Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πληροφορίες ασχολίας
Ιδιότηταμαθηματικός
επιστήμονας υπολογιστών
μηχανικός
τοπολόγος
διδάσκων πανεπιστημίου
ΕργοδότηςΠανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πανεπιστήμιο του Σικάγου
Πανεπιστήμιο Κάρνεγκι Μέλον[2]
Johannes Kepler University Linz[3]
Οικογένεια
ΣύζυγοςIrene Schreier Scott[4]
ΣυγγενείςΌτο Σράιερ (πεθερός)[4]
Αξιώματα και βραβεύσεις
ΒραβεύσειςΒραβείο Τούρινγκ (1976)[5][6]
Υποτροφία Γκούγκενχαϊμ (1978)[7]
βραβείο Χάρολντ Πέντερ (1990)[8]
Βραβείο Ρολφ Σοκ στην λογική και φιλοσοφία (1997)
Gödel Lecturer (1991)
EATCS award (2007)
βραβείο Λιρόϊ Π. Στιλ (1972)[9]
Βραβείο Σοκ (1997)
ACM Fellow (1994)[10]
honorary doctor of the University of Utrecht
επίτιμος διδάκτωρ του Πανεπιστημίου του Εδιμβούργου
εταίρος της Αμερικανικής Μαθηματικής Εταιρίας (2013)[11][12]
Ιστότοπος
www.cs.cmu.edu/~scott
Commons page Σχετικά πολυμέσα
δεδομένα

Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.

Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών.

Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ.

Δείτε ακόμη

Παραπομπές

  1. ↑ Τσεχική Εθνική Βάση Δεδομένων Καθιερωμένων Όρων. xx0267847. Ανακτήθηκε στις 1  Μαρτίου 2022.
  2. ↑ Ανακτήθηκε στις 3  Ιουλίου 2019.
  3. ↑ Ανακτήθηκε στις 4  Ιουλίου 2019.
  4. ↑ 4,0 4,1 MacTutor History of Mathematics archive. mathshistory.st-andrews.ac.uk/Biographies/Schreier/.
  5. ↑ amturing.acm.org/award_winners/scott_1193622.cfm.
  6. ↑ awards.acm.org/award_winners/scott_1193622#140.
  7. ↑ dana-s-scott.
  8. ↑ events.seas.upenn.edu/distinguished-lectures/pender-lecture/.
  9. ↑ www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.
  10. ↑ awards.acm.org/award_winners/scott_1193622#158.
  11. ↑ www.ams.org/fellows_by_year.cgi?year=2013. Ανακτήθηκε στις 24  Νοεμβρίου 2022.
  12. ↑ www.ams.org/news?news_id=1680. Ανακτήθηκε στις 24  Νοεμβρίου 2022.

Εξωτερικοί σύνδεσμοι

Read other articles:

Norris (Illinois)

Cet article est une ébauche concernant une localité de l’Illinois. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Pour les articles homonymes, voir Norris. Norris Administration Pays États-Unis État Illinois Comté Fulton Type de localité Village Code ZIP 61520 Code FIPS 17-53390 GNIS 414554 Indicatif(s) téléphonique(s) local (locaux) 309 Démographie Population 213 hab. (2010) Densité 292 ha...

 

لجنة تكريم شهداء الحركة الإسلامية العالمية

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (مارس 2022) لجنة تكريم شهداء الحركة الإسلامية العالمية أو اللجنة العالمية لتكريم شهداء النهضة الإسلامية هي مؤسسة في إيران. استطاعت اللجنة جمع توقيعات 60 ألف متطوع لعلميات

 

Aurions-Idernes

Aurions-Idernes Aurions-Idernes (Frankreich) Staat Frankreich Region Nouvelle-Aquitaine Département (Nr.) Pyrénées-Atlantiques (64) Arrondissement Pau Kanton Terres des Luys et Coteaux du Vic-Bilh Gemeindeverband Nord Est Béarn Koordinaten 43° 32′ N, 0° 8′ W43.5389-0.137222222222Koordinaten: 43° 32′ N, 0° 8′ W Höhe 136–284 m Fläche 6,32 km² Einwohner 101 (1. Januar 2020) Bevölkerungsdichte 16 Einw./km² Postleitzahl ...

Портрет молодого чоловіка

Портрет молодого чоловіка «Портрет молодого чоловіка» (англ. Portrait of a Young Man) — портрет, написаний 1521 року німецьким художником Альбрехтом Дюрером під час перебування у Нідерландах. Опис твору Цей розділ може містити оригінальне дослідження. Будь ласка, удоскональте йог

 

ألكسندر يوفانوفيتش (سياسي)

  لمعانٍ أخرى، طالع ألكسندر يوفانوفيتش (توضيح). هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (ديسمبر 2020) ألكسندر يوفانوفيتش معلومات شخصية الميلاد 4 يونيو 1976 (47 سنة)  مواطنة صربيا  الحياة العملية المهنة سي...

 

1971 Pacific typhoon season

Typhoon season in the Pacific Ocean 1971 Pacific typhoon seasonSeason summary mapSeasonal boundariesFirst system formedJanuary 7, 1971Last system dissipatedDecember 29, 1971Strongest stormNameIrma • Maximum winds285 km/h (180 mph)(1-minute sustained) • Lowest pressure884 hPa (mbar) Seasonal statisticsTotal depressions70Total storms35Typhoons24Super typhoons6 (unofficial)Total fatalitiesAt least 617 totalTotal damage$57.7 million (1971 USD)Related articles 1971 Atlantic...

List of United States Navy aircraft wings

This is a list of United States Navy aircraft wings. The U.S. Navy operates Carrier Air Wings which are operational units made up of squadrons of different types of aircraft that deploy aboard aircraft carriers. In addition to its Carrier Air Wings the Navy operates various land based wings. These land based wings are organized either to perform a specific function (Functional Wings) or around a specific aircraft type/model (Type Wings). Patrol and Reconnaissance Wings, Test Wings and Trainin...

 

Abaco (web browser)

Discontinued Plan 9 web browser This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Abaco web browser – news · newspapers · books · scholar · JSTOR (March 2011) (Learn how and when to remove this template message) AbacoScreenshot of Plan 9 homepage viewed in AbacoInitial release[data missing]Stable ...

 

Selgovae

Mapa de ubicación del pueblo Selgovae. Los Selgovae eran un pueblo del sudoeste de Escocia, vecinos de los Novantae. Habitaban al norte del Muro de Adriano, en la actual Galloway, en la península Novantae. Probablemente eran una tribu celta pero muy influida por los Pictos. El nombre significaría los cazadores (del irlandés selg, cazador). Historia Hay una referencia de Claudio Ptolomeo en su Geografía y en su Mapa de Britania.[1]​ Menciona cuatro asentamientos Carbantorigum, Uxell...

إن إيه-11 (كوهستان)

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (نوفمبر 2019) إم إيه-11البلد  باكستان المقاطعة كوهستانالمنطقة خيبر بختونخواجمهور الناخبين 154,620الدائرة الانتخابيةتأسست في 3 مايو 2018 تعديل - تعديل مصدري - تعديل ويكي بيانا

 

Bắn súng tại Đại hội Thể thao châu Á 2018

Bắn súng tại Đại hội Thể thao châu Á 2018Địa điểmDãy bắn súng quốc tế JakabaringCác ngày18–27 tháng 8← 20142022 → Bắn súng tại Đại hội Thể thao châu Á 2018 sẽ được tổ chức tại Dãy bắn súng quốc tế Jakabaring, Palembang, Indonesia từ ngày 18 đến ngày 27 tháng 8.[1] Lịch thi đấu Tất cả thời gian là giờ chuẩn Tây Indonesia địa phương (UTC+7). Các quốc gia đang tham d...

 

阪神301形電車

阪神301形電車（はんしん301がたでんしゃ）は、かつて阪神電気鉄道が保有していた鉄道車両で、大正中期に製造された高床式の木造車である。このグループには301形のほか311形・321形・331形の各形式及び1形の総括制御車の車体を331形と同一のものに更新した291形が存在するが、本項ではこれらの車両についても併せて紹介する。 336 高速電車への移行 日本初の本格的なイ

Ala Vaikunthapurramuloo (soundtrack)

2020 soundtrack album by Thaman S Ala VaikunthapurramulooSoundtrack album by Thaman SReleased17 January 2020 (2020-01-17)Recorded2019GenreFeature film soundtrackLength21:56LanguageTeluguLabelAditya MusicProducerThaman SThaman S chronology Prati Roju Pandage(2019) Ala Vaikunthapurramuloo(2020) Disco Raja(2020) External audio Official Audio Jukebox on YouTube Singles from Ala Vaikunthapurramuloo Samajavaragamana (Male version)Released: 27 September 2019 Ramuloo RamulaaRelease...

 

Renca

City and Commune in Santiago Metro., ChileRencaCity and Commune FlagCoat of armsMap of Renca commune within Greater SantiagoRencaLocation in ChileCoordinates (city): 33°24′S 70°43′W / 33.400°S 70.717°W / -33.400; -70.717CountryChileRegionSantiago Metro.ProvinceSantiagoFounded19 March 2000Government[1] [2] • TypeMunicipality • AlcaldeClaudio Castro ([Independent])Area[3] • Total24.2 km2 (9.3...

 

Frente da Esquerda Revolucionária

Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. Ajude a melhorar este artigo inserindo citações no corpo do artigo. (Janeiro de 2018) Frente da Esquerda RevolucionáriaLiga Socialista dos Trabalhadores Frente da Esquerda Revolucionária Presidente Gil Garcia Fundação 23 de fevereiro de 1983 Dissolução 16 de novembro de 2005 Sede...

Longitude

Geographic coordinate that specifies the east-west position of a point on the Earth's surface For other uses, see Longitude (disambiguation). A graticule on the Earth as a sphere or an ellipsoid. The lines from pole to pole are lines of constant longitude, or meridians. The circles parallel to the Equator are circles of constant latitude, or parallels. The graticule shows the latitude and longitude of points on the surface. In this example, meridians are spaced at 6° intervals and parallels ...

 

Auf Wiedersehen My Pet

British TV series or programme Auf Wiedersehen My PetGenreFactual entertainmentNarrated byRuth RogersCountry of originUnited KingdomOriginal languageEnglishNo. of series1No. of episodes20 (list of episodes)ProductionProduction locationUnited KingdomRunning time60 minutes (including adverts)Production companyShine LimitedOriginal releaseNetworkITVRelease17 March 2014 (2014-03-17) –present Auf Wiedersehen My Pet is a British television series that began airing on ITV on 17...

 

Expressway S6 (Poland)

Road in Poland Expressway S6Droga ekspresowa S6Route information Part of E28 Length217.2 km (135.0 mi)147.7 km (92 mi) under constructionMajor junctionsWest end A6 near Szczecin-Goleniów Solidarność AirportMajor intersections S11 near Kołobrzeg (planned) S7 near GdańskEast end A1 south of Gdańsk LocationCountryPolandMajor citiesSzczecin, Gdynia, Gdańsk Highway system National roads in Poland Voivodeship roads ← S 5→ S 7 Expressway S6 (in Polish dr...

Dispersión de los propágulos

Semilla de diente de león(Taraxacum) dispersada por el viento. En botánica se llama dispersión de los propágulos a las diversas estrategias en relación con los medios físicos que emplean los vegetales como transporte para la dispersión de las semillas. Hay varias formas de promover el alejamiento de los propágulos, que permiten distinguir sobre todo la anemocoria (dispersión por el viento) y la zoocoria (mediante animales). Anemocoria Artículo principal: AnemocoriaDispersión d...

 

Project Aces

Project AcesLogo resmi Project Aces dalam Ace Combat 7: Skies UnknownNama asliプロジェクト・エイセスNama latinPurojekuto eisesuSebelumnyaThe AC04 Project (2001–2002)JenisTim Pengembangan InternalIndustriIndustri permainan videoDidirikan2001; 21 tahun lalu (2001)PendiriKazutoki KonoKantorpusatJepangTokohkunciKazutoki Kono (Kepala)Tetsukazu Nakanishi (Komposer)Project Aces (プロジェクト・エイセス Purojekuto eisesu)[1] adalah sebuah tim pengembangan internal ...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!