愛丁堡大學AI教授
① 計算機「人工智慧之父」是誰
圖靈
阿蘭·麥席森·圖靈（Alan Mathison Turing，1912.6.23—1954.6.7），英國數學家、邏輯學家，被稱為人工智慧之父。 1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。
阿蘭·麥席森·圖靈，1912年生於英國倫敦，1954年死於英國的曼徹斯特，他是計算機邏輯的奠基者，許多人工智慧的重要方法也源自於這位偉大的科學家。他對計算機的重要貢獻在於他提出的有限狀態自動機也就是圖靈機的概念，對於人工智慧，它提出了重要的衡量標准「圖靈測試」，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機，和人沒有區別了。他傑出的貢獻使他成為計算機界的第一人，現在人們為了紀念這位偉大的科學家將計算機界的最高獎定名為「圖靈獎」。上中學時，他在科學方面的才能就已經顯示出來，這種才能僅僅限於非文科的學科上，他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就，但是都沒有太大的建樹。少年圖靈感興趣的是數學等學科。在加拿大他開始了他的職業數學生涯，在大學期間這位學生似乎對前人現成的理論並不感興趣，什麼東西都要自己來一次。大學畢業後，他前往美國普林斯頓大學也正是在那裡，他製造出了以後稱之為圖靈機的東西。圖靈機被公認為現代計算機的原型，這台機器可以讀入一系列的零和一，這些數字代表了解決某一問題所需要的步驟，按這個步驟走下去，就可以解決某一特定的問題。這種觀念在當時是具有革命性意義的，因為即使在50年代的時候，大部分的計算機還只能解決某一特定問題，不是通用的，而圖靈機從理論上卻是通用機。在圖靈看來，這台機器只用保留一些最簡單的指令，一個復雜的工作只用把它分解為這幾個最簡單的操作就可以實現了，在當時他能夠具有這樣的思想確實是很了不起的。他相信有一個演算法可以解決大部分問題，而困難的部分則是如何確定最簡單的指令集，怎麼樣的指令集才是最少的，而且又能頂用，還有一個難點是如何將復雜問題分解為這些指令的問題。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為「論數字計算在決斷難題中的應用」。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算裝置，用來計算所有能想像得到的可計算函數。「圖靈機」與「馮·諾伊曼機」齊名，被永遠載入計算機的發展史中。1950年10月，圖靈又發表了另一篇題為「機器能思考嗎」的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了「人工智慧之父」的桂冠。
【英文簡述】
Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.
Turing is often considered to be the father of modern computer science. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church–Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the Turing test, he made a significant and characteristically provocative contribution to the debate regarding artificial intelligence: whether it will ever be possible to say that a machine is conscious and can think. He later worked at the National Physical Laboratory, creating one of the first designs for a stored-program computer, although it was never actually built. In 1948 he moved to the University of Manchester to work, largely on software, on the Manchester Mark I, then emerging as one of the world's earliest true computers.
During the Second World War Turing worked at Bletchley Park, Britain's codebreaking centre, and was for a time head of Hut 8, the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine that could find settings for the Enigma machine.
In 1952, Turing was convicted of "acts of gross indecency" after admitting to a sexual relationship with a man in Manchester. He was placed on probation and required to undergo hormone therapy. Turing died after eating an apple laced with cyanide in 1954. His death was ruled a suicide.
【生平】
◆故事從謎開始
英國現代計算機的起步是從德國的密碼電報機——Enigma(謎)開始的，而解開這個謎的不是別人，正是阿蘭·圖靈，一個在計算機界響當當的人物，可與美國的馮·諾依曼相媲美的電腦天才。在他短暫的生涯中，圖靈在量子力學、數理邏輯、生物學、化學方面都有深入的研究，在晚年還開創了一門新學科—— 非線性力學。
圖靈英年早逝。在他42年的人生歷程中，他的創造力是豐富多彩的，他是天才的數學家和計算機理論專家。24歲提出圖靈機理論，31歲參與COLOSSUS的研製，33歲設想模擬系統，35歲提出自動程序設計概念，38歲設計「圖靈測驗」。這一朵朵靈感浪花無不閃耀著他在計算機發展史上的預見性。特別是在60年代後當然，圖靈最高的成就還是在電腦和人工智慧方面，他是這一領域開天闢地的大師。為表彰他的貢獻，專門設有一個一年一度的「圖靈獎」，頒發給最優秀的電腦科學家。這枚獎章就像「諾貝爾獎」一樣，為計算機界的獲獎者帶來至高無上的榮譽。而阿蘭·圖靈本人，更被人們推崇為人工智慧之父，在計算機業十倍速變化的歷史畫卷中永遠佔有一席之地。他的驚世才華和盛年夭折，也給他的個人生活塗上了謎一樣的傳奇色彩。
◆神童圖靈
圖靈1912年6月23日出生於英國倫敦。其祖父曾獲得劍橋大學數學榮譽學位，但他父親的數學才能平平。因此，圖靈的家庭教育，對他以後在數學及計算機方面的成就並沒有多少幫助。小時候的圖靈生性活潑好動，很早就表現出對科學的探索精神。據他母親回憶，3歲時，小圖靈就進行了他的首次實驗，嘗試把一個玩具木頭人的小胳膊、小腿掰下來栽到花園里，等待長出更多的木頭人。到了8歲，他更開始嘗試寫一部科學著作，題目為《關於一種顯微鏡》。在這部很短的書中，天才兒童圖靈拼錯了很多單詞，句法也有些問題，但寫得還能讓人看懂，很像那麼一回事兒。在書的開頭和結尾，他都用同一句話「首先你必須知道光是直的」作前後呼應， 但中間的內容卻很短，短得破了科學著作的記錄。圖靈曾說 ：「我似乎總想從最普通的東西中弄出些名堂。」就連和小朋友們玩足球，他也能放棄當前鋒進球這樣出風頭的事，只喜歡在場外巡邊，因為這樣能有機會去計算球飛出邊界的角度。他的老師認為 ：「圖靈的頭腦思維可以像袋鼠一樣進行跳躍。」圖靈是個天才。他16歲就開始研究愛因斯坦的相對論。1931年，圖靈考入劍橋大學國王學院，開始他的數學生涯，研究量子力學、概率論和邏輯學。在校期間，圖靈還是現代語言哲學大師維特根斯坦班上最出色的學生。他對由劍橋大學的羅素和懷特海創立的數理邏輯很感興趣。數理邏輯的創建，主要源於古希臘克里特島上有個叫愛皮梅尼特的「智者」，他說 ：「所有的克里特島人都說謊」。我們可以把它簡化為：「我說的這句話是假話」。這就出現一種兩面都無法自圓的怪圈：如果他沒有說謊，那他這句話是錯的，他是在說謊；如果他真的在說謊，那他說自己在說謊是對的，所以他又沒有說謊。羅素和懷特海把它從邏輯、集合論以及數論中驅逐出去，最後又想盡辦法歸入《數學原理》之中。
圖靈一上大學，就迷上了《數學原理》。在1931年，著名的「哥德爾定理」出現後(該定理認為沒有一種公理系統可以導出數論中所有的真實命題，除非這種系統本身就有悖論)，天才的圖靈在數理邏輯大本營的劍橋大學提出一個設想：能否有這樣一台機器，通過某種一般的機械步驟，能在原則上一個接一個地解決所有的數學問題。大學畢業後，圖靈去美國普林斯頓大學攻讀博士學位，還順手發明過一個解碼器。在那裡，他遇見了馮·諾依曼，後者對他的論文擊節贊賞，並隨後由此提出了「存儲程序」概念。圖靈學成後又回到他的母校任教。在短短的時間里，圖靈就發表了幾篇很有份量的數學論文，為他贏得了很大的聲譽。
◆怪才圖靈
在劍橋，圖靈可稱得上是一個怪才，一舉一動常常出人意料。他是個單身漢和長跑運動員。在他的同事和學生中間，這位衣著隨便、不打領帶的著名教授，不善言辭，有些木訥、害羞，常咬指甲，但他更多地以自己傑出的才智贏得了人們的敬意。圖靈每天騎自行車上班，因為患過敏性鼻炎，一遇到花粉，就會鼻涕不止，大打噴嚏。於是，他就常常在上班途中戴防毒面具，招搖過市，這早已成為劍橋的一大奇觀。圖靈的自行車經常半路掉鏈子，但他就是不肯去車鋪修理。每次騎車時，他總是嘴裡念念有詞，在心裡細細計算，這鏈條也怪，總是轉到一定的圈數就滑落了，而圖靈竟然能夠做到在鏈條下滑前一剎那停車，讓旁觀者佩服不已，以為圖靈在玩雜技。後來圖靈又居然在腳踏車旁裝了一個小巧的機械記數器，到圈數時就停，歇口氣換換腦子，再重新運動起來。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算機裝置，用來計算所有能想像得到的可計算函數。裝置由一個控制器和一根假設兩端無界的工作帶(起存儲器的作用)組成。工作帶被劃分為大小相同的方格，每一格上可書寫一個給定字母表上的符號。控制器可以在帶上左右移動，它帶有一個讀寫出一個你期待的結果。外行人看了會墜入雲里霧里，而內行人則稱它是「闡明現代電腦原理的開山之作」，並冠以「理想計算機」的名稱。這篇論文在紙上談了一把兵，創造出一個「圖靈機」來。但現代通用電腦確實是用相應的程序來完成任何設定好的任務。這一理論奠定了整個現代計算機的理論基礎。「圖靈機」更在電腦史上與「馮·諾依曼機」齊名，被永遠載入計算機的發展史中。
圖靈機理論不僅解決了純數學基礎理論問題，一個巨大的「意外」收獲則是，理論上證明了研製通用數字計算機的可行性。雖然早在100年前的1834年，巴貝奇(Chark Babbage，1792～1871)就設計製造了「分析機」以說明具體的數字計算，但他的失敗之處是沒能證明「必然可行」。圖靈機理論不僅證明了研製「通用機」的可行性，而且比世界上第一台由德國人朱斯(K·Zuze)於1941年製造的通用程序控制計算機Z-3整整早5年。這不得不使人驚嘆這一理論的深刻意義。
◆謎語圖靈
正當圖靈的理論研究工作進一步深入時，戰爭爆發了。他被派往布雷契萊庄園承擔「超級機密」研究。當時的布雷契萊庄園是一所「政府密碼學校」，即戰時的英國情報破譯中心。在這座幽靜的維多利亞式建築里，表面上鳥語花香、人跡罕見，其實每天都有12000多名志願者在這里夜以繼日地工作，截獲、整理、破譯德國的軍事情報，有些結果甚至直達丘吉爾首相本人手中。在這里，圖靈被人們稱為「教授」，沒有人知道他的真名。當時德國有一個名為「Enigma」（謎）的通信密碼機，破譯高手們絞盡腦汁也難以破解。這個難題交到了圖靈手中，他率領著大約200多名精幹人員進行密碼分析，其中甚至還包括象棋冠軍亞歷山大。分析和計算工作非常復雜，26個字母在「Enigma」機中能替代8萬億個謎文字母。如果改動接線，變化會超過2.5千萬億億。最後多虧波蘭同行們提供了一台真正的「Enigma」，圖靈才憑借著他的天才設想設計出一種破譯機。這台機器主要由繼電器構成，還用了80個電子管，由光電閱讀器直接讀入密碼，每秒可讀字元2000個，運行起來咔嚓咔嚓直響。它被圖靈戲稱為「羅賓遜」，至今沒人能搞懂圖靈究竟如何指揮它工作。但"羅賓遜"的確神通廣大，在它的密報下，德國飛機一再落入圈套，死無葬身之地。
1945年，圖靈帶著大英帝國授予的榮譽勛章，來到英國國家物理研究所擔任高級研究員。兩年後，圖靈寫了一份內部報告，提出了"自動程序"的概念，但由於英國政府嚴密、死板的保密法令，這份報告一直不見天日。1969年，美國的瓦丁格(Woldingger)發表了同樣成果，英國才連忙亮出壓在箱底的寶貝，終於在1970年給圖靈的報告「解密」。圖靈的這份報告後來收入愛丁堡大學編的《機器智能》論文集中。由於有了布雷契萊的經驗，圖靈提交了一份「自動計算機」的設計方案，領導一批優秀的電子工程師，著手製造一種名叫ACE的新型電腦。它大約用了800 個電子管，成本約為4萬英鎊。1950年，ACE電腦就橫空出世，開始公開露面，為感興趣的人們玩一些「小把戲」，贏得陣陣喝彩。圖靈在介紹ACE的內存裝置時說：「它可以很容易把一本書的10頁內容記住。」顯然，ACE是當時世界上最快、最強勁的電子計算機之一。
1946年，在紐曼博士的動議下，皇家學會成立電腦實驗室。紐曼博士是皇家學會會員，又是當年破譯小組的成員，正是他對「赫斯·魯賓遜」的製造起了關鍵作用。皇家學會的這一新實驗室不在倫敦，而是設在曼徹斯特大學，由紐曼博士牽頭負責。1946年7月，研製基金到位，紐曼博士開始招募人選。阿蘭·圖靈也在次年9月加盟電腦實驗室。一時間，曼徹斯特大學群英會萃。實驗室設在一幢維多利亞時代的老房子里，條件十分簡陋，但因圖靈他們的到來，也算是蓬蓽生輝了。在1948年6月，這里造出了一台小的模型機，大家都愛叫它「嬰兒」(Baby)。這台模型機用陰極射線管來解決存儲問題，能存儲32個字，每一字有32位字長。這是第一台能完全執行存儲程序的電子計算機的模型。
◆大師圖靈
到了1949年10月，各項改進工作都已展開，夾在兩層存儲器之間的自動控制系統已正常運轉，並能在程序的控制下，實現磁鼓和陰極射線管存儲單元間信息交互。圖靈設計出一些協同電路來做輸入和輸出的外設。有關電動打字設備也是圖靈通過老關系從他戰時供職的外交部通信部門弄過來的，其中甚至包括一個戰後從德國人那裡收繳來的穿孔紙帶鍵盤。這樣，整個模型機已大功告成。在整個試驗階段，大家忙上忙下。1949年底，模型機交付給曼徹斯特當地的一家叫弗蘭尼蒂(Ferranti)的電子公司，開始正式建造。1951年2月完工，通稱「邁可1型」。它有4000個電子管，72000個電阻器，2500個電容器，能在0.1秒內開平方根、求對數和三角函數的運算。比起先前的模型機，「邁可1型」功能更為齊全，靜電存儲器的內存容量已翻倍，能存256個40位字長字，分別存在8個陰極射線管中，而磁鼓的容量能擴容到16384個字，真是一項了不起的工程。
與馮·諾依曼同時代的富蘭克爾(Frankel，馮氏同事)在回憶中說：馮·諾依曼沒有說過"存儲程序"型計算機的概念是他的發明，卻不止一次地說過，圖靈是現代計算機設計思想的創始人。當有人將"電子計算機之父"的頭銜戴在馮·諾依曼頭上時，他謙遜地說，真正的計算機之父應該是圖靈。當然，馮·諾依曼問之無愧，而圖靈也有「人工智慧之父」的桂冠。他倆是計算機歷史浩瀚星空中相互映照的兩顆巨星。
早在1945年，圖靈就提出「模擬系統」的思想，並有一份詳細的報告，想建造一台沒有固定指令系統的電腦。它能夠模擬其他不同指令系統的電腦的功能， 但這份報告直到1972年才公布。這說明圖靈在二戰結束後就開始了後來被稱 為「人工智慧」領域的探索，他開始關注人的神經網路和電腦計算之間的關聯。
1950年，圖靈又來到曼徹斯特大學任教，同時還擔任該大學自動計算機項目的負責人。就在這一年的十月，他又發表了另一篇題為《機器能思考嗎？》的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了一頂桂冠——「人工智慧之父」。在這篇論文里，圖靈第一次提出「機器思維」的概念。他逐條反駁了機器不能思維的論調，做出了肯定的回答。他還對智能問題從行為主義的角度給出了定義，由此提出一假想：即一個人在不接觸對方的情況下，通過一種特殊的方式，和對方進行一系列的問答，如果在相當長時間內，他無法根據這些問題判斷對方是人還是計算機，那麼，就可以認為這個計算機具有同人相當的智力，即這台計算機是能思維的。這就是著名的「圖靈測試」(Turing Testing)。當時全世界只有幾台電腦，根本無法通過這一測試。但圖靈預言，在本世紀末，一定會有電腦通過「圖靈測試」。終於他的預言在IBM的「深藍」身上得到徹底實現。當然，卡斯帕羅夫和「深藍」之間不是猜謎式的泛泛而談，而是你輸我贏的彼此較量。
◆故事以謎結束
1951年，圖靈以他傑出的貢獻被當選為英國皇家學會會員。就在他事業步入輝煌之際，災難降臨了。1952年，圖靈遭到警方拘捕，原因是他是一個同性戀者。與其他一些智慧超群的人物一樣，圖靈在個人生活方式上也「與眾不同」。當時，人們對同性戀還沒有像現在這樣寬容，而是把這種行為當作一樁傷風敗俗的罪孽。事情的敗露是這樣的，當時有一位叫瓊·克拉克(Joan Clarke)的姑娘愛上了圖靈，圖靈也對對方很有好感，並向對方求婚，瓊欣然接受。但不久，圖靈自己退縮了，告訴瓊，他是同性戀者。在1948年，圖靈就由於同性戀傾向，離開了當時屬於高度保密的英國國家物理實驗室(NPL)。但也有人說，圖靈是被英國軍事情報部門「開除」出去的，對於這位天才的離去，許多人悵惜不已。
1952年3月31日，圖靈更因為和曼徹斯特當地一位青年有染，被警方逮捕。在法庭上，圖靈既不否認，也不為自己辨解。在庄嚴的法庭上，他鄭重其事地告訴人們：他的行為沒有錯，結果被判有罪。在入獄和治療兩者中間，圖靈選擇了注射激素，來治療所謂的「性慾倒錯」。此後圖靈開始研究生物學、化學，還和一位心理醫生有很深的交往。那時，他的脾氣已變得躁怒不安，性格更為陰沉怪僻。1953年3月，他因為接待過一位被英國警方注意的挪威客人，成為警方的目標，甚至去希臘度假時也被跟蹤。
1954年6月8日，圖靈42歲，正逢進入他生命中最輝煌的創造頂峰。一天早晨，女管家走進他的卧室，發現台燈還亮著，床頭上還有個蘋果，只咬了一小半，圖靈沉睡在床上，一切都和往常一樣。但這一次，圖靈是永遠地睡著了，不會再醒來……經過解剖，法醫斷定是劇毒氰化物致死，那個蘋果是在氰化物溶液中浸泡過的。圖靈的母親則說他是在做化學實驗時，不小心沾上的，她的"艾倫"從小就有咬指甲的習慣。但外界的說法是服毒自殺，一代天才就這樣走完了人生。
今天，蘋果電腦公司以那個咬了一口的蘋果作為其商標圖案，就是為紀念這位偉大的人工智慧領域的先驅者——圖靈。
【大事年表】
1912年6月23日，出生於英國倫敦。
1931年-1934年，在英國劍橋大學國王學院（King's College）學習。
1932年-1935年，主要研究量子力學、概率論和邏輯學。
1935年，年僅23歲的圖靈，被選為劍橋大學國王學院院士。
1936年，主要研究可計算理論，並提出「圖靈機」的構想。
1936年-1938年，主要在美國普林斯頓大學做博士研究，涉及邏輯學、代數和數論等領域。
1938-1939年，返回劍橋從事研究工作，並應邀加入英國政府破譯二戰德軍密碼的工作。
1940年-1942年，作為主要參與者和貢獻者之一，在破譯納粹德國通訊密碼的工作上成就傑出，並成功破譯了德軍U-潛艇密碼，為扭轉二戰盟軍的大西洋戰場戰局立下汗馬功勞。
1943年-1945年，擔任英美密碼破譯部門的總顧問。
1945年，應邀在英國國家物理實驗室從事計算機理論研究工作。
1946年，這個時候，圖靈在計算機和程序設計原始理論上的構思和成果，已經確定了他的理論開創者的地位。由於圖靈的傑出貢獻，年輕的他被英國皇室授予OBE爵士勛銜。
1947年-1948年，主要從事計算機程序理論的研究，並同時在神經網路和人工智慧領域做出開創性的理論研究。
1948年，應邀加入英國曼徹斯特大學從事研究工作，擔任曼徹斯特大學計算實驗室副主任。
1949年，成為世界上第一位把計算機實際用於數學研究的科學家。
1950年，發表論文「計算機器與智能」，為後來的人工智慧科學提供了開創性的構思。提出著名的「圖靈測試」理論。
1951年，從事生物的非線性理論研究。年僅39歲的圖林，被選為英國皇家學會會員。
1952年，在當年保守愚昧和冷戰的時代，當警察得知圖靈與同性朋友密切交往的消息之後，同性戀傾向的圖靈被逮捕入獄。在法庭審判過程中，圖靈明確告知人們，他認為自己沒有做錯什麼事。在那個觀念落後的年代，為了避免被判刑入獄，圖靈被迫選擇了為期一年的雌性激素注射的所謂「治療」，才得以重新返回研究工作。
1953年-1954年，繼續在生物和物理學等方面的研究。被迫承受的對同性戀傾向的「治療」，致使原本熱愛體育運動的圖靈在身心上受到極大的傷害。
1954年6月7日，圖靈被發現死於家中的床上。死因是氰化物中毒，警方調查結論是自殺。一代英靈，就此過早離去，成為人類科學史上的一大遺憾。
② 愛丁堡大學名人有哪些
愛丁堡大學（The University of Edinburgh），簡稱愛大，全球20強頂尖名校。位於英國蘇格蘭首府愛丁堡市，創建於1583年，是英語國家中第六古老的大學。
校友名人：
阿瑟·柯南·道爾
阿瑟·柯南·道爾（Arthur Conan Doyle），著名作家、《福爾摩斯探案集》著者。
J·K·羅琳
J·K·羅琳（J.K.Rowling），著名作家、《哈利·波特》著者。
查爾斯·羅伯特·達爾文
查爾斯·羅伯特·達爾文（Charles Robert Darwin），自然主義者、《物種起源》作者、「進化論」奠基人，1825至1827年在愛丁堡大學學習醫學。
亞歷山大·貝爾
亞歷山大·貝爾（Alexander Graham Bell），著名發明家、企業家、電話發明者。
托馬斯·貝葉斯
托馬斯·貝葉斯（Thomas Bayes），神學家、數學家、數理統計學家和哲學家、概率論理論創始人、貝葉斯統計的創立者。
張曼玉
中國著名電影表演藝術家、聯合國兒童基金會中國大使，2007年被《紐約時報》評入年度世界影壇22位偉大演員之一，2011年被授予愛丁堡大學榮譽博士學位。
羅伯特·路易斯·史蒂文森
著名小說家、英國文學新浪漫主義的代表之一，被稱為19世紀最偉大的作家之一，代表作有《金銀島》等，也是愛丁堡大學校報創始人。
羅伯特·愛德華茲
試管嬰兒之父、2010年諾貝爾醫學或生理學獎得主，於1955年在愛丁堡大學獲博士學位。
羅賓·米爾納
著名英國計算機科學家，1991年獲得世界計算機領域最高獎「圖靈獎」，開發了自動定理證明工具LCF。
③ 彼得·希格斯的個人經歷
1946年，進入倫敦市立中學就讀，專研數學。彼得·希格斯後來獲得倫敦國王學院物理學位，並成為愛丁堡大學研究員，也曾在倫敦帝國學院及倫敦大學學院任職。
希格斯在1960年返回愛丁堡大學擔任講師，然後在1980年成為愛丁堡大學教授。
他在1983年成為英國皇家學會會員，並在1984年獲得盧瑟福獎。
希格斯在1991年成為英國物理學會會員，然後在1996年退休成為愛丁堡大學榮譽教授。
他在2008年成為斯旺西大學榮譽教授。
④ 中國唯一的圖靈獎獲得者姚期智，在清華開設的有哪些 ai 名徒
姚期智姚期智（AndrewChi-ChihYao，1946年12月24日-），美籍華人，世界著名計算機科學家，2000年圖靈獎得主，目前是清華大學教授。潘雲鶴（1946年11月4日—），中國人工智慧和計算機圖形學專家，出生於浙江省杭州，現任浙江大學校長，浙江大學人工智慧研究所所長。主要成果潘雲鶴是中國智能CAD領域的開拓者，用人工智慧技術解決了構圖、色彩等多類知識表達問題，實現藝術圖案設計自動推理。在真實感圖形描繪、光照模型和空間感色彩模型等方面均有創新。這些成果主要應用於紡織印染設計，甚至被用於敦煌藝術的復原和保護。李未(1943年6月8日-)，計算機專家，中國科學院院士，2002年開始任北京航空航天大學校長。1966年畢業於北京大學數學與力學系，1983年在英國愛丁堡大學計算機科學系獲博士學位，曾任英國科學與工程委員會、紐卡瑟大學和愛丁堡大學計算機系高級研究員，歐洲共同體發展信息戰略計劃(ESPRIT)及德國不萊梅大學教授級研究員，德國薩爾大學(Zuse)客座教授。1986年任教授,並被批准為博士導師，1997年當選為中國科學院院士。他主要從事計算機軟體與科學理論以及網際網路應用研究，研究領域包括並發程序設計語言語義理論、軟體開發方法、人工智慧基礎及超大規模集成電路輔助設計技術。王安(1920年2月7日-1990年3月24日)，計算機專家，出生於上海;13歲考取了極負盛名的省立上海中學；16歲又以入學考試第一名的成績，走進了交通大學。他在磁芯存儲器領域的發明專利共有34項之多，並成立自己的公司。夏培肅（1923年7月28日—）中國計算機科學的先行者，主持研製了中國第一台電子計算機。1923年7月28日生於四川重慶，原籍四川江津。1941年考入中央大學（1949年更名為南京大學）工學院電機系。1945年畢業後赴美留學，1950年獲英國愛丁堡大學博士學位。回國後，任中國科學院計算技術研究所研究員。從1952年開始從事電子計算機的研究、設計和試制，是中國最早從事電子計算機的科研人員。她編寫了中國第一本電子計算機原理書，為中國計算機科技界培養了大批人才。1950年代設計試製成功中國第一台自行設計的通用電子數字計算機。1960年代開始在高速計算機的研究和設計方面做出了系統的創造性的成果。曾經創《計算機學報》，並創國際性期刊《》（計算機科技雜志），擔任第一任主編。1991年當選為中國科學院院士。她和丈夫楊立銘為一對院士夫婦；楊立銘，理論物理學家，畢業於中央大學工學院機械繫，中國核物理學會理事長。袁亞湘，男，1960年1月出生於中國湖南資興。袁亞湘十八歲考上湘潭大學,四年後考上中國科學院計算中心研究生,師從馮康教授。1982年11月起在劍橋大學應用數學與理論物理系攻讀博士,師從M.J.D.POWELL教授。1986年獲博士學位。1985年10月至1988年9月在劍橋大學菲茨威廉姆學院工作(Rutherfordresearchfellow),1988年回到中國在中國科學院計算中心工作。現任中國科學院數學與系統科學研究院副院長。袁亞湘的專業:計算數學、應用數學、運籌學。研究方向:最優化計算方法。陳仕元計算機科學家、宇航研究專家。1948年畢業於中央大學（1949年更名為南京大學）。後赴美學，獲俄亥俄州立大學博士學位。曾任西雅圖大學教授、蘭德公司研究員、波音公司太空飛行研究中心總裁。徐家福（1925年11月18日—）中國計算機軟體學先驅，中國計算機科學奠基人之一。江蘇南京人。1948年畢業於中央大學（1949年更名為南京大學），1957年至1959年去蘇聯莫斯科大學進修，1981年起任南京大學計算機系教授、博士生導師，培養出中國第一位計算機軟體學博士。現任南京大學計算機軟體新技術國家重點實驗室名譽主任、中國計算機學會副理事長。
⑤ 愛丁堡大學ai碩士和哥倫比亞大學ai碩士那個好
個人認為哥倫比亞大學的AI碩士要比愛丁堡大學的AI碩士更好，畢竟哥倫比亞大學在世界上的排名和名氣要比愛丁堡大學高出很多。
⑥ 愛丁堡大學的傑出校友
日本承子女王（Princess Tsuguko）
德國第十二世圖恩-塔克西斯親王（Albert Thurn and Taxis）
約旦公主（Raiyah）
羅馬尼亞瑪格麗特公主（Princess Margarita）
日本真子公主（Princess Mako）：日本明仁天皇長孫女 約翰·羅素：英國首相、第一代羅素伯爵
亨利·坦普爾：英國首相、第三代巴麥尊子爵
戈登·布朗：英國首相
羅伯特·芬雷：第一代芬雷子爵、大不列顛大法官
詹姆斯·麥凱：克萊什芬男爵、大不列顛大法官
約翰·威瑟斯龐：美國《獨立宣言》簽署者、美國政治家、教育家與革命領袖
本傑明·拉什：美國《獨立宣言》簽署者、美國政治家、醫學家、化學家、教育家與革命領袖
約翰·安德遜：第一代威弗利子爵、英國財政大臣、內務大臣、樞密院議長
亨利·鄧達思：第一代梅爾維爾子爵、英國戰爭大臣
亨利·佩蒂：第三代朗士當侯爵、英國財政大臣、內務大臣、樞密院議長
珍妮·李：阿斯瑞奇女男爵、英國人文藝術大臣、公共建築與勞動部大臣、Open大學創立者
馬爾科姆·雷夫金德：英國國防大臣、外交大臣、蘇格蘭國務秘書
查爾斯·亨得利：英國能源與氣候變化大臣
大衛·斯蒂爾： 英國自由民主黨黨魁、蘇格蘭議會主持官
吉姆·華萊士：坦克內斯男爵、 蘇格蘭自由民主黨黨魁、蘇格蘭總檢察長、蘇格蘭代理首席大臣
特薩·卓威爾：英國文化、媒體與體育大臣
大衛·麥克萊切：蘇格蘭保守黨黨魁
查爾斯·塔珀：加拿大總理
朱利葉斯·尼雷爾：坦尚尼亞第一位總統
尹潽善：韓國總統
張澤相：韓國總理
海斯廷斯·卡穆祖·班達（Hastings Kamuzu Banda）：非洲獨立運動領導人，1966至1994年間任馬拉維總統
威廉·沃克：尼加拉瓜總統
馬拉拉·優素福·扎伊（Malala Yousafzai）：2014年諾貝爾和平獎得主、諾貝爾和平獎最年輕得主
約瑟夫·羅特布拉特（Joseph Rotblat）：諾貝爾和平獎（1995年）
Gabi Hegerl：諾貝爾和平獎 （2007年）
Mark Rounsevell：諾貝爾和平獎 （2007年） 查爾斯·羅伯特·達爾文（Charles Robert Darwin）：自然主義者、《物種起源》作者、「進化論」奠基人，1825至1827年在愛丁堡大學學習醫學
詹姆斯·克拉克·麥克斯韋（James Clerk Maxwell）：物理學家、數學家、電磁學之父、統計物理學奠基人，1850年在愛丁堡大學獲得數學學士
彼得·希格斯（Peter Higgs）：物理學家、希格斯玻色子（又稱「上帝粒子」）之父、2013年諾貝爾物理學獎獲得者
馬克斯·玻恩（Max Born）：量子力學創始人、1954年諾貝爾物理學獎得主，1936年至1953年在愛丁堡大學任教
亞歷山大·貝爾（Alexander Graham Bell）：著名發明家、企業家、電話發明者
托馬斯·貝葉斯（Thomas Bayes）：神學家、數學家、數理統計學家和哲學家、概率論理論創始人、貝葉斯統計的創立者
詹姆斯·赫頓（James Hutton）：近代地質學之父、英國偉大的地質學家、經典地質學的奠基人、地質學「火成論」的創始人，1740年14歲時進入愛丁堡大學攻讀人文科學，1744至1747年在愛丁堡大學攻讀醫學
約瑟夫·貝爾（Joseph Bell）：醫學家、夏洛克·福爾摩斯原型，曾任英國皇家科學院院士
麥克勞林（Colin Maclaurin）：著名蘇格蘭數學家、18世紀英國最具有影響的數學家之一
羅伯特·愛德華茲（Robert G. Edwards）：試管嬰兒之父、2010年諾貝爾醫學或生理學獎得主，於1955年在愛丁堡大學獲博士學位
羅賓·米爾納（Robin Milner）：著名英國計算機科學家，1991年獲得世界計算機領域最高獎「圖靈獎」，開發了自動定理證明工具LCF
約瑟夫·李斯特（Joseph Lister）：著名醫學家、第一代李斯特男爵、外科消毒法的創始人及推廣者。外科手術消毒技術的發明者和推廣者，1895至1900年任英國皇家學會會長，1893年被封為男爵，是首位獲此殊榮英國醫生
奧古斯都·德·摩根（Augustus De Morgan）：英國著名數學家、邏輯學家，德·摩根定律的創始人
普萊費爾（John Playfair）：英國著名數學家、物理學家，普萊費爾公理（Playfair Axiom）創始人
理查德·歐文（Richard Owen）：英國動物學家、古生物學家，代表作有《論脊椎動物解剖學》
詹姆斯·杜瓦（Sir James Dewar）：蘇格蘭物理學家、化學家、發明家
詹姆斯·莫里斯（James A.Mirrlees）：1996年諾貝爾經濟學獎得主，1957年在愛丁堡大學獲數學碩士學位
查理斯·葛羅弗·巴克拉（Charles Glover Barkla）：1917年諾貝爾物理學獎獲得者
愛德華·維克多·阿普爾頓（Edward Victor Appleton）：1947年諾貝爾物理學獎得主，於1949至1965年任愛丁堡大學校長
亞歷山大·托德（LordAlexander R. Todd）：1957年諾貝爾化學獎得主，於1933年至1938年在愛丁堡大學任教
伊戈爾·塔姆（Igor Tamm）：1958年諾貝爾物理學獎得主，1913至1914年在愛丁堡大學學習
彼得·米切爾（Peter D. Mitchell）：1978年諾貝爾化學獎得主，於1955至1963年在愛丁堡大學任教
彼得·多爾蒂（Peter Doherty）：1996年諾貝爾醫學或生理學獎得主，於1970年在愛丁堡大學獲博士學位
特里·巴克（Terry Barker）：2007年諾貝爾和平獎得主，於愛丁堡大學獲得學士學位
約瑟·布拉克：物理家和化學家
大衛·布儒斯特：物理學家
湯姆·基博爾：物理學家
Archibald Geikie：地質學家
James Hector：地質學家
Robin Hochstrasser：化學家
Archie Howie：物理家.
Robert Jameson：自然主義者和礦物學家
George Kelly：心理學者
John Leslie：數學家和物理家
David MacRitchie：考古學家
Roger Mercer：考古學家
Alexander Munro III：解剖學家
Robert Sibbald：醫學教授
Peter Guthrie Tait：物理家
Stephen Tweedie：計算機科學家
John Walker：自然主義者
Edmund Whittaker：數學家
William Withering：醫師、洋地黃的發現者
愛德華·M·薩仁（Edward M. Southern）：生物學家，發明了印跡雜交（Southern Blot）DNA圖譜研究基本技術，在遺傳病診斷、DNA圖譜分析及PCR產物分析等方面有重要價值
Professor Vincent Vigneaud：諾貝爾化學獎（1955年）
Professor Kurt Wuthrich：諾貝爾化學獎（2002年）
Sir Alexander Fleming：諾貝爾生理學或醫學獎（1945年）
Professor Hermann Muller：諾貝爾生理學或醫學獎（1946年）
Sir Paul Nurse：諾貝爾生理學或醫學獎（2001年）
Sir Robert G. Edwards：諾貝爾生理學或醫學獎（2010年）
Professor May-Britt Moser：諾貝爾生理學或醫學獎（2014年）
Professor Edvard Moser：諾貝爾生理學或醫學獎（2014年） 大衛·休謨（David Hume）：著名哲學家、經濟學家和歷史學家、蘇格蘭啟蒙運動以及西方哲學史中最重要的人物之一、《人性論》著者
亞當·斯密（Adam Smith）：經濟學之父、《國富論》著者
亞當·弗格森（Adam Ferguson）：哲學家、歷史學家、蘇格蘭啟蒙運動的主要思想家
阿瑟·柯南·道爾（Arthur Conan Doyle）：著名作家、《福爾摩斯探案集》著者
詹姆斯·馬修·巴利（James Matthew Barrie）：蘇格蘭著名小說家、劇作家、《彼得·潘》著者
J·K·羅琳（J.K.Rowling）：著名作家、《哈利·波特》著者
羅伯特·路易斯·史蒂文森（Robert Louis Stevenson）：著名小說家、英國文學新浪漫主義的代表之一，被稱為19世紀最偉大的作家之一，代表作有《金銀島》等，也是愛丁堡大學校報創始人
沃爾特·司各特（Walter Scott）：英國著名作家和詩人，代表作有《艾凡赫》
詹姆斯·穆勒（James Mill）：19世紀著名蘇格蘭歷史學家、經濟學家、政治理論家、哲學家、功利主義倫理學家和功利主義教育思想家，與大衛·李嘉圖一同是古典經濟學的創始人
溫斯頓·丘吉爾（Sir Winston Churchill）：《第二次世界大戰回憶錄》獲1953年諾貝爾文學獎，曾任愛丁堡大學院長（Rector）
奧利弗·哥德史密斯（Oliver Goldsmith）：18世紀著名的英國劇作家，代表作有《善性之人》（The Good-Natur'd Man）及《屈身求愛》（She Stoops to Conquer）
羅伯特·亞當（Robert Adam）：著名建築學家，愛丁堡大學老學院（Old College）就出自其手
Elizabeth Blackadder： 藝術家
Thomas Brown：哲學家
Thomas Carlyle：評論家和歷史學家
Robert Garioch：詩人和翻譯家
Margaret Iversen：藝術史學家
Sorley Maclean：蓋爾語詩人
Keith Moxey：藝術史學家
Peter Roget：the first Thesaurus作者
Dugald Stewart：哲學家
Kerry Stewart：藝術家
Richard Murphy：著名建築師
Robert Lorimer：著名建築師 John Aikin：醫師和作家
John Brown|：醫師和作家
曲燕（Q·Y）：緬甸知名商界人士
George Chalmers：古文物研究者和政治作家
Henry Thomas Cockburn：法官
Daisy Donovan：演員、播音員
庄士頓（Reginald Fleming Johnston）：中國末代皇帝「愛新覺羅·溥儀」的外交官和教師，著有《儒家與近代中國》、《佛教中國》、《紫禁城的黃昏》等書
Ian Rankin：作家
Benjamin Constant：作家和政治家
James Africanus Horton：第一位在英國獲得大學畢業的非洲人
Allan Little：BBC駐外記者
A.S. Neill：教育家
Gregory Neilson：出版家和著名的羅馬天主教徒
Mark O'Neil：慈善家
George Newlands：神學家
Lord Playfair：科學家和國會議員
Stella Rimington：MI5前領袖
Piers Sellers：宇航員
Samuel Smiles：作家和改革家
霍嘉治（Sandy Flockhart）：著名英國銀行家，曾任匯豐集團（HSBC）執行董事，1973年取得愛丁堡大學法律學士學位（LLB） 辜鴻銘：號稱「清末怪傑」，精通英、法、德、拉丁、希臘、馬來亞等9種語言，獲13個博士學位，是滿清時代精通西洋科學、語言兼及東方華學的中國第一人
黃寬：醫學家、教育家、中國第一批出國留學生之一、第一位留英學習西醫並獲得醫學博士學位的中國人，1860年成功進行中國首例胚胎截開術
朱光潛：中國現當代著名美學家、文藝理論家、教育家、翻譯家，代表作有《悲劇心理學》等
張曼玉（Maggie Cheung）：中國著名電影表演藝術家、聯合國兒童基金會中國大使，2007年被《紐約時報》評入年度世界影壇22位偉大演員之一，2011年被授予愛丁堡大學榮譽博士學位
鍾南山：中國著名醫學家、中國工程院院士、2003年中國抗擊「非典」的領軍人物，2007年獲得英國愛丁堡大學榮譽博士學位
樊文飛：世界著名計算機科學家、國際著名資料庫專家、愛丁堡皇家學會院士、美國計算機協會院士、現任英國愛丁堡大學信息學院首席教授
程開甲：中國核武器研究的開創者之一，開創、規劃領導了抗輻射加固技術新領域研究，2013年獲國家最高科學技術獎，1948年在愛丁堡大學獲博士學位
⑦ 如何選擇AI專業的學校
聖安德魯斯大學這所坐落在蘇格蘭東海岸古鎮聖安德魯斯，作為蘇格蘭地區歷史最悠久的頂尖名校，聖安德魯斯大學的規模不大，但確是擁有著最頂級科研和教學實力的英國大學之一。計算機學院的教學質量在各大排行榜都位於前10，實施小班教學，學生和老師之間可以有更好的互動交流。任教的許多教授在國際上都有很高的知名度。課程專業：MSc Artificial Intelligence申請要求：2.1學位，計算機或相關專業如信息系統、信息工程，需要有豐富的高級語言編程經驗，如 Java、C#或C，雅思7分。愛丁堡大學綜合性的研究型大學，在計算機科學方面成就很高。愛丁堡大學的人工智慧研究有著悠久的歷史和廣泛的知名度，在1983年的時候可以頒發碩士學位，如今依然在人工智慧領域的研究處於世界領先地位。該專業開設於信息學院。愛丁堡的計算機與信息研究領域在最近兩次RAE研究中均位列第一。課程專業：Artificial Intelligence MSc申請要求：2.1學位。計算機，人工智慧等專業可以申請，需要有計算機編程經驗，雅思6.5，單項不低於6。南安普頓大學一直以來都以先進的計算機科學相關專業在全英享有盛名。該校的人工智慧課程開設於電子與計算機學院(Electronics and Computer Science)。自上世紀80年代開始學院開設計算機專業，全球排名前百。留學生們所熟知的維網(world wide web)的創始人Tim Berners-Lee就在ECS任教。課程專業：MSc Artificial Intelligence申請要求：2等1學位，計算機專業或計算機聯合學位(含至少50%計算機課程)，雅思6.5，單項5.5。曼徹斯特大學悠久的歷史里，無數的新科學，新發現在這里誕生。1824年建校，著名紅磚大學之一，第一台現代計算機、電子的發現、石墨材料的研究都誕生於此。課程專業：Advanced Computer Science: Artificial Intelligence MSc申請要求：2等1學位，計算機專業或計算機聯合學位(含至少50%計算機課程) ，雅思6.5，單項5.5。帝國理工學院 世界頂尖的專攻理工領域的研究型大學，英國羅素大學集團成員，又與劍橋大學、牛津大學、倫敦大學學院、倫敦政治經濟學院並稱為「G5超級精英大學」，研究平被公認為英國大學的五強之列，尤其以工程專業而著名。這個專業課程的重點是人工智慧和知識工程，以及復雜的認知和社會行為的計算和工程模型的發展。目的是針對那些沒有學過計算機專業，但已經對計算機有相當多了解的學生。專業側重於人工智慧和知識工程，以及復雜認知和社會行為的計算和工程模型的發展。研究領域包括：認知機器人學，復雜性，復雜系統，計算金融，計算機網路和分布式系統。課程專業：MSc Computing (Artificial Intelligence)申請要求：2等1學位，雅思6.5，單項6。
⑧ 愛丁堡大學的人工智慧到底怎麼樣都說很牛，那麼牛在何處，還有就是有哪些牛導師呢
不錯 啊 挺好的學校啊
⑨ 愛丁堡大學商學院教授姓名，求前輩回答
樓下回答好水，樓主問的主要是FM，不是IBEM (International Business and Emerging Markets)，問教授不是問專業。我是商學院的，內愛大商院就是同一個專業，容選課不同教授也不同。
給樓主最新教FM的所有教授或講師的名字，另外我不是FM專業，不知道有名的是哪幾位，樓主自己用谷歌搜搜他們的資料吧，資料牛叉自然就有名：Seth Armitage, Hou Wenxue, Liu Yue, Maria Michou, Galina Andreeva, Peter Moles, Simon Clark, William Rees, Iris Bosa, Jens Hagendorff, Paolo Quattrone, Kristina Potocnik.
再給樓主一個建議：去微博搜索愛大FM等關鍵詞，進愛大論壇，進愛大往屆生QQ群問，那一定是最准確的資料。