由於帶走後進行的是私密聊天，一些打擦邊球的呻吟、文愛甚至私下的裸聊也存在於語音房中。

他們隻需拿出鉛筆放在石板上，然後向對方說（如果想要的話，可以請一位朋友作為證人）：‘我們開始算吧。’這些哲學家已經開始明確提出形式符號係統的假設，而這一假設將成為研究的指導思想。

在20世紀，數理邏輯研究上的突破使得人工智能好像呼之欲出。這方麵的基礎著作包括布爾的《思維的定律》與弗雷格的《概念文字》。基於弗雷格的係統，羅素和懷特海在他們於1913年出版的巨著《數學原理》中對數學的基礎給出了形式化描述。

這一成就激勵了希爾伯特，後者向20世紀20年代和30年代的數學家提出了一個基礎性的難題：能否將所有的數學推理形式化?這個問題的最終回答由哥德爾不完備定理，圖靈機和的λ演算給出。他們的答案令人震驚：首先，他們證明了數理邏輯的局限性；其次（這一點對更重要），他們的工作隱含了任何形式的數學推理都能在這些限製之下機械化的可能性。

邱奇-圖靈論題暗示，一台僅能處理0和1這樣簡單二元符號的機械設備能夠模擬任意數學推理過程。

這裏最關鍵的靈感是圖靈機：這一看似簡單的理論構造抓住了抽象符號處理的本質。雖然經常感覺到難以排解的壓抑，可小日子不知道比以前好了多少倍。

剛畢業的前三年，他找不到工作，靠朋友救濟，漂了好多地方。租住在廣州的城中村，開窗不見光，手伸出窗外可以摸到對麵建築的牆壁。

一次又一次求職失敗，找不到一個正經工作，甚至看到求職網站都能害怕地發抖……阿遙深深地記得，嚴重的時候每天他都不願意醒來，天亮是他最害怕的事，特別期盼每一個黑夜到來，能夠減輕一事無成的罪惡感。如今在上海，阿遙特意租了一個朝南的房間，陽光能照進來那種。

（作者：錦州外圍招聘）