當前位置:首頁 » 教授導師 » 麻省理工大學教授出了一道難題

麻省理工大學教授出了一道難題

發布時間: 2022-02-23 03:19:42

Ⅰ 世界上最難的邏輯題!

《補充說明》:
相對該文章「幾年前」,邏輯學家和難題製作大師Raymond Smullyan製作了一道就該文章作者所知無人挑戰的邏輯難題,叫迄今最難的邏輯題。
而有人還進一步加大該題的難度;計算機科學家 John McCarthy 將該題「扭」得更難:精靈的語言中哪個詞表示「是」,哪個詞表示「否」是未知的。

1.第一問可以同時問3個精靈:「你們都認為『Da』代表『對』,是嗎?」
回答必然是有兩精靈答案一致,而另外那個不一致。這是因為不論是怎樣的一個是非命題,三人的回答必有兩人保持一致,而另外一人不一致。
分析那個回答不一致的精靈的答案,可能是「Da」,也可能是「Ja」。
如果是「Da」就代表此精靈為說真話的精靈,分析如下:如果「Da」在精靈語如果代表「對」,那麼第一個問題的結論就是正確,而由於「Da」=「對」,此精靈回答為「Da」,說明此精靈說了真話;如果「Da」代表「錯」,那麼第一個問題的結論就為錯誤,而由於「Da」代表「錯誤」,此時精靈的回答為「Da」,仍然說明他說了真話。
同理若該精靈回答為「Ja」,那麼他必然是說假話的精靈。

2.第二問可以問第一問中回答同其他精靈不一樣的那個精靈:「你是精靈,對嗎?」
分兩種情況分析:
1)該精靈為說真話的精靈,那麼他回答「Da」(或「Ja」),則「Da」(或「Ja」)就代表「對」,而「Ja」(或「Da」)代表「錯」。
2)該精靈為說假話的精靈,那麼他回答「Da」(或「Ja」),則「Da」(或「Ja」)就代表「錯」,而「Ja」(或「Da」)代表「對」。
通過此問,我們可以判定是「Da」代表「對」,還是「Ja」代表「對」。
另外可以提一下,此處的問題只要是一個真命題即可,例如:「太陽會發光,對嗎?」等等。

3.第三問可以指著第一問里兩個回答一樣的精靈中的一個,來問第二問中那個精靈:「他是只說假話的那個精靈,對嗎?」
不論答題的精靈是說真話的精靈還是說假話的精靈,都可以通過第二問的判定很方便地得出他的發音和「對」「錯」的對應關系,從而確定被指精靈的身份,最終得到所有精靈的身份。

George Boolos 是麻省理工學院哲學教授和「Provability Logic」的創始人之一,《The Logic of Provability》一書的作者。上述文章出現在1996年春的哈佛哲學評論。
文章的內容在Boolos的書《邏輯,邏輯,邏輯》的第29章。(1998年哈佛大學出版社出版)。

Ⅱ 問一部電影的名字!

心靈捕手

心靈捕手 Good Will Hunting
導演:葛斯范桑(Gus Van Sant)
主演:
麥特戴蒙( Matt Damon)
班艾佛列克 ( Ben Affleck)
羅賓威廉斯( Robin Williams)
蜜妮卓芙(Minnie Driver)
籌MDB鏈接:
http://www.imdb.com/title/tt0119217/
籌MDB評分:7.8/10 (66,869 votes)
上映時間:1997
--------------------------------------------------------------------------------
劇情簡介:
本片榮獲奧斯卡最佳男配角及最佳原著劇本兩項大獎
一個麻省理工學院的數學教授,在他繫上的公布欄寫下一道他覺得十分困難的題目,希望他那些傑出的學生能解開答案,可是卻無人能解。結果一個年輕的清潔工(麥特戴蒙飾)卻在下課打掃時,發現了這道數學題並輕易的解開這個難題。數學教授在找不到真正的解題之後,又下了另一道更難的題目,要找出這個數學天才。
原來這個可能是下一世紀的愛因斯坦的年輕人叫威爾杭特,他聰明絕頂卻叛逆不羈,甚至到處打架滋事,並被少年法庭宣判送進少年觀護所。最後經過數學教授的保釋並向法官求情,才讓他免受牢獄之災。雖然教授希望威爾能夠重拾自己的人生目標,而用盡方法希望他打開心結,但是許多被教授請來為威爾做心理轉導的心理學家,卻都被這個毛頭小夥子洞悉心理反被威爾羞辱,紛紛宣告威爾已「無葯可救」。
數學教授在無計可施的情況下,只好求助他的大學同學及好友(羅賓威廉斯飾),希望他來開導這個前途汲汲可危的年輕人。結果兩人不但成為好友,羅賓威廉斯更敞開這位少年的心胸,教導他如何面對愛情與將來。
這是一部很經典的片子,出品於1997年,在當時不論票房、口碑都很不錯的。該片劇本由Matt Damon(馬特-達蒙)和Ben Affleck(本·阿弗萊克)這兩位好友共同編寫,兩人都是演員出身,該作品即是他們兩人在影視圈的轉折點。
一部勵志感人的劇本,就已經是一部電影的成功,該片贏得奧斯卡最佳原作劇本獎、金球獎最佳編劇獎。它很真實地反應出人們內心存在的脆弱一面,就如主角馬特,因舊時的創傷,以防衛的心理將自己的真實情感與外界隔絕,不敢嘗試與人建立親密、信任的關系,但在外人面前又表現得堅強自信。在真情面前,自卑膽怯的心理拒絕了女友的真情付出,又害怕面對自己在感情中的失控,致使他不敢向女友提出第二次約會,破壞在她心目中的印象。
……
"你知道米開朗基羅的很多作品,卻沒有站在斯汀教堂那兒觀賞過天花板;你輕慢地提出有關女人的偏好謬論,但你卻說不出在女人身旁醒來那種幸福的滋味;隨意地引用莎士比亞的詩文來談論戰爭,卻從未參加過戰役,未曾眼見好友躺在自己懷中咽下最後的一口氣;更不了解真正的情感失落,因為從未愛別人勝過自己。"
如果你不踏出第一步,你絕不會有那種關系,因為你只看到負面的事。
影片的片尾曲Miss Misery還曾獲得了奧斯卡最佳原創歌曲的提名,影片中用Elliott Smith的音樂做原聲簡直太合適了——這位早逝的民謠歌手,音樂中總是隱約流露出悲傷和愉悅,歌詞中蘊涵著引人深思的意境。Elliott Smith大家可能不太熟悉....我第一次知道他也是他的自殺...因為個人愛好..所以因為他的自殺...我去找了他的歌來......=_=!....發現他是一個很棒的歌手...只是自己的世界太過於苛求自己...後來居然被自己殺死...誒....

Ⅲ 美國政府起訴並逮捕了麻省理工華人教授陳剛,給出的逮捕理由是什麼

國際傳熱學的領軍人物,美國工程院院士、麻省理工學院華裔教授陳剛,因被控“虛假報稅、未向美國能源部披露與中國合約、任命和獎勵”等理由,被美國司法部門逮捕。

1、事件經過

美國司法部文件顯示,自2012年以來,陳剛在中國擔任了多項職務,目的是通過提供建議和專業知識,促進中國的科技發展,並獲得經濟補償。自2013年以來,他據稱接受了大約2900萬美元的外國資金,包括來自中國南方科技大學的1900萬美元。甚至,美國方面檢查了陳剛的電子郵件。司法部文件強調了他為促進中國科學和經濟發展所做的努力,並披露了諸多細節。此外,陳剛在2018年的納稅申報單中沒有向美國國稅局披露,他2018年在中國有一個超過1萬美元的銀行賬戶。

最後,小編認為,有技術的專家還是早日回國貢獻,以免在美國受不同待遇。

Ⅳ 麻省理工教授陳剛被捕,中方是如何回應的

作為享有“世界理工大學之最”盛譽的一流大學,麻省理工學院已有百餘年歷史,誕生了80多位諾貝爾獎獲得者,其校友所創造的價值可以媲美全球第十大經濟體。 學員們與MIT斯隆管理學院政治經濟和國際管理學教授黃亞生、MIT機械工程系首任華裔系主任兼講席教授陳剛進行了深入交流。在兩位MIT教授看來,MIT的創新秘訣在於其創造了一個非常有利於創新的大環境,而MIT的反潮流和反權威的管理文化正是塑造如此環境的沃土。此外,以科研為本的MIT與中國企業的創新合作空間也非常值得期待。

1月14日,美國司法部官網消息顯示,美國工程院院士、麻省理工學院教授陳剛因未能向美國能源部披露其在中國的工作和獲得的獎勵而被起訴和逮捕。 在15日舉行的外交部例行記者會上,有記者就此事提問稱,美國檢察官宣布,麻省理工學院教授陳剛因為他隱瞞在從事美國政府資助的納米技術期間為中國政府工作的事實,而在周四被逮捕並受到刑事指控。

Ⅳ 一本美國電影,勵志的。記得是一個男孩在麻省理工大學上學。勤工儉學,但是解答出教授出的難題

那不是勤工儉學,是他自願而已,樓下都是正解,心靈捕手,挺好的電影

Ⅵ 一個美國的電影,說一個很厲害的數學天才,好像在某所學校做清潔工……就記得這么多……

該劇是《心靈捕手》。《心靈捕手》是一部勵志劇情電影。影片由格斯·范·桑特執導,羅賓·威廉姆斯,馬特·達蒙等主演。影片講述了一個名叫威爾的麻省理工學院的清潔工的故事。

劇情介紹:麻省理工學院的數學教授藍波在席上公布了一道困難的數學題,卻被年輕的清潔工威爾解了出來。可是威爾卻是個問題少年,成天和好朋友查克等人四處閑逛,打架滋事。當藍波找到這個天才的時候,他正因為打架襲警被法庭宣判送進看守所。藍波向法官求情保釋,才使他免於牢獄之災。

藍波為了讓威爾找到自己的人生目標,不浪費他的數學天賦,請了很多心理學專家為威爾做輔導,但是威爾十分抗拒,專家們都束手無策。無計可施之下,藍波求助於他大學的好友,心理學教授尚恩,希望能夠幫助威爾打開心房。經過藍波和尚恩的不懈努力,威爾漸漸敞開心胸,而好友查克的一席話,更是讓他豁然開朗。


(6)麻省理工大學教授出了一道難題擴展閱讀

《心靈捕手》角色介紹:

1,威爾

麻省理工大學的清潔工,有驚人的數學天分,但是個問題少年。在教授桑恩和朋友查克的幫助下,最終把心靈打開,消除了人際隔閡,並找回了自我和愛情。

2,藍勃

麻省理工大學的數學教授,威爾就是解出了他留在黑板上的難題而被他發現。後來將進了監獄的威爾保釋出來,並幫助他尋找心理醫生治療。

3,桑恩

遍嘗人生甘苦而擁有豐富情感經驗的心理醫生桑恩,由於他的努力不懈,威爾才能敞開心扉。自己也在幫助威爾的工作中重新找到了人生的意義,走出了喪妻的陰影,滿懷信心地准備迎接新的未來。

Ⅶ 你是如何看待美國麻省理工知名華人教授陳剛被捕這件事的

對於美國麻省理工知名華人教授陳剛被捕抓一事,我們首先來了解一下陳剛何許人也?

有句話說得好,“自身強大,就不怕別人招黑”。

Ⅷ 美國麻省理工知名華人教授陳剛被捕,他究竟犯了什麼罪

日前,一則“麻省理工學院知名華人教授被捕”引發關注,當地時間1月14日,美國司法部官網消息顯示,美國工程院院士、麻省理工學院(MIT)教授陳剛因未能向美國能源部披露其在中國的工作和獲得的獎勵而被起訴和逮捕。據美國司法部網站披露的信息,美國對電匯欺詐的指控,最高可判處20年監禁、3年的監督釋放,以及最高25萬美元的罰款。

甚至,美國方面檢查了陳剛的電子郵件。司法部文件強調了他為促進中國科學和經濟發展所做的努力,美國司法部文件還顯示,至少從2017年到2019年,陳剛在中國擔任多個顧問職務,他還申請並獲得了美國能源部的撥款,以資助他在MIT的部分研究。在這個過程中,他沒有按照能源部的要求披露他與中國的關系。

MIT校長L. Rafael Reif給學校師生員工發送郵件,對此表示震驚,並稱陳剛是一位廣受尊敬的學者和教員,他的被捕是令人驚訝、深感痛苦和難以理解的。

Ⅸ 1998年麻省理工兩位教授也是未來學家出了本震撼世界的書,關乎電子傳播的未來,求書名

那個是不是尼葛洛龐帝 的《數字化生存》啊 好像早就出了啊

Ⅹ 麻省理工學院知名華人教授陳剛被捕,你覺得外國華人教授應該回國發展嗎

當地時間1月14日,也就是北京時間1月15日。美國司法部在其官網消息顯示,美國工程院院士、麻省理工學院(MIT)教授陳剛因為未能向美國能源部披露其在中國的工作和獲得的獎勵而被起訴和逮捕。美國司法部指控56歲的陳剛欺詐、未提交外國銀行賬戶報告以及在納稅申報單做虛弄假,沒有提供真實的數據。他於當天在地方法官Donald L。 Cabell面前首次出庭。

近幾年我們都能發現越來越多的外籍華人專家都願意回國發展了,第一點就是中國的科研環境,科研氛圍越來越好了,第二點就是中國對於科技研發的支持力度也是一年一年加強,對於科技的援助也是慢慢提高。最重要一點就是外國對於中國科技的壓制也越來越嚴重,特別是一些發達國家,當地的教授,政府不願意把一些核心知識點教授給外國人。導致回國發展是一個不錯的選擇。

熱點內容
四川農業大學申請考核博士 發布:2025-10-20 08:58:11 瀏覽:981
福田雷沃重工本科生待遇怎麼樣 發布:2025-10-20 08:53:49 瀏覽:575
華為要本科生嗎 發布:2025-10-20 08:25:41 瀏覽:550
2008年青島本科生工資 發布:2025-10-20 08:04:24 瀏覽:444
東北大學藝術考研 發布:2025-10-20 07:38:35 瀏覽:299
我的大學生活txt 發布:2025-10-20 07:35:28 瀏覽:25
人民大學外語系考研 發布:2025-10-20 07:31:12 瀏覽:894
上海交通大學考研輔導班 發布:2025-10-20 07:24:54 瀏覽:420
華中農業大學細胞生物學考研群 發布:2025-10-20 07:09:36 瀏覽:558
南京大學2016考研線 發布:2025-10-20 06:43:12 瀏覽:930