懵懵燈燈的BLOG

          寒夜孤燈點點星

            BlogJava :: 首頁 :: 新隨筆 :: 聯系 :: 聚合  :: 管理 ::
            56 隨筆 :: 10 文章 :: 22 評論 :: 0 Trackbacks

          我的評論

          re: [E文摘] 阿隆佐·邱奇 懵懵燈燈 2007-12-27 12:45  
          assistant professor - 助理教授
          calculability - 可計算性 n.
          associate professor - 副教授 n.
          mathematical logic - 數理邏輯 n.
          resursion theory - 遞歸理論 n.
          irredundant - 無冗余 adj.
          postulate -假設,命題 n.
          differential equation - 差分方程
          conversion - 變換,轉換 n.
          polished - 精簡的,優美的 adj.
          first order logic - 一階邏輯
          symbol logic - 符號邏輯
          Church's Theorem / Thesis - 邱奇命題/假設
          number theory - 數論
          recursive function - 遞歸函數
          random sequence - 隨機序列
          editorial - 編輯上的 adj.
          testify - 證明 vi.
          unflagging - 不屈不撓的 adj.
          meticulous - 小心翼翼的 adj.
          readily - 方便的,容易的 adj.
          duality - 對偶 n.
          tautology - 重言式,同義反復 n.
          antinomy - 自相矛盾,悖論 n.
          partial differential equation - 偏微分方程 n.
          formulation - 形式化 n.
          intensional semantics - 內涵語義學
          naive set theory - 樸素集合論 n.
          honorary - 榮譽的 adj.


          re: [E文摘] 庫爾特·哥德爾 懵懵燈燈 2007-12-26 13:40  
          textile - 紡織品 n.
          timid - 膽小害羞的 adj.
          rheumatic - 風濕性 adj. rheumatism n.
          complication - 并發癥 n.
          one-sided - 偏向,片面,不平衡 adj.
          gymnasium - 健身房,高級中學 n.
          specialise - 專門研究 vi.
          paralysed - 癱瘓 adj.
          stick with - 堅持做
          dissertation - 論文 n.
          logical positivism - 邏輯實證主義
          radiologist - 放射學家 n.
          Gödel's Incompleteness Theorems - 哥德爾不完全定理
          axiomatic system - 公理系統
          consistency - 一致性 n.
          Principia Mathematics - 數學原理 羅素/懷特海 合著
          formalism - 形式主義 n.
          envisage - 想象,構想 vt.
          comprehensive - 全面的,廣泛的 adj.
          privatdozen - (日耳曼語國家中報酬直接來自學生學費的)無薪大學教師 n.
          psychiatrist - 精神病醫生 n.
          sanatorium - 療養院 n.
          National Socialist - 國家社會主義者(納粹) n.
          Guest Professorship - 客座教授身份 n.
          conscripted - 征募 vt.
          regime - 政體 n.
          infuriate - 激怒 vt.
          villa - 別墅 n.
          treaty - 條約 n.
          Czech - 捷克人 n.
          Austrian - 奧地利人 n.
          masterpiece - 杰作 n.
          classic - 經典,杰作 n.
          continuum-hypothesis - 連續性假說 n.
          duodenal ulcer - 十二指腸潰瘍
          stroke - 中風 n.
          fastidious - 苛求的,挑剔的 adj.
          incisive - 深刻的,尖銳的 adj.
          immortality - 不朽 n.








          re: [E文摘] 阿蘭·圖靈簡介 懵懵燈燈 2007-12-24 16:16  
          general strike - 大罷工
          demanding - 過分苛求的 adj.
          athlete - 運動員 n.
          schooling - 學校教育 n.
          incomprehensible - 不可理解的 adj.
          premonition - 前兆 n.
          shattering - 粉碎性的 adj.
          proposition - 命題 n.
          pacifism - 和平主義 n.
          decidability - 可判定性 n.
          incompleteness - 不完全性 n.
          Entscheidungs problem - 判定問題
          Turing machine - 圖靈機
          paradox - 悖論 n.
          supervision - 指導,管理 n.
          ordinal - 序數 n.
          approximate - 逼近 vt.
          investigate - 研究 vt.
          hypothesis - 假說 n.
          personnel - 人員 n. 人事部門 n.
          inventiveness - 創造能力 n.
          congenial - 意氣相投 adj.
          enigma - 迷, 不可思議的東西 n.
          liaise - 保持聯絡 vi.
          secrecy - 保密 秘密 n.
          prospectus - 內容說明書,樣張 n.
          neurology - 神經學 n.
          physiology - 生理學 n.
          athletics - 運動 n.
          readership - 高級講師職位 n.
          standardise - 標準化 vt.
          intentive - 專心的,集中的 adj.
          Turing test - 圖靈測試
          wit - 智慧,才智 n.
          group - 群 n.
          identity - 恒等變換 n.
          seminar - 研討會,討論班 n.
          insoluble - 不能解決的 adj.
          cancellative - ?
          statute - 法令,條例 n.
          blackmail - 恐嚇信 n.
          oestrogen - 雌性激素 n.
          morphogenesis - 形態發生 n.
          elementary particles - 基本粒子
          spinor - 旋量,旋子 n.
          sexuality - 性特征 n.
          conviction - 宣布有罪 n.
          clearance - 辭職申請 n.
          GCHQ - Government Communications Headquarters
          consternation - 恐慌,慌亂 n.
          inquest - 審問,驗尸報告 n.
          self-administered - 自行實施 vt.
          electrolysis - 電解 n.
          potassium - 鉀 n.
          cyanide - 氰化物 n.



          re: [E文摘] 約翰·納什簡介 懵懵燈燈 2007-12-24 00:58  
          senior - 老的,高級的 adj
          lecture on sth- 講授
          singular - 奇特的,與眾不同的 adj.
          solitary - 孤獨的 adj.
          introverted - 內向的 adj. [反] extroverted
          affection - 愛 n.
          attic - 閣樓 n.
          enthusiastically - 熱切地 adv.
          genius - 天才人物 n.
          show off - 炫耀
          tedious - 單調冗長乏味的 adj.
          distraction - 分心之物 n.
          torture - 拷打,折磨 vt.
          peculiar - 奇特的,特殊的 adj.
          aspire - 熱望 立志 vi.
          eccentric - 古怪的 adj. 古怪之人 n.
          explosive - 爆炸物 n.
          doctorate - 博士頭銜 n.
          caricature - 諷刺 vt. 諷刺畫 n.
          tensor - 張量 n.
          relativity - 相對論 n.
          bully - 威嚇,威逼 vt.
          tantrum - 發脾氣 n.
          unsophisticated - 不懂世事的,單純的 adj.
          castoff - 丟棄的 adj.
          homosexual tendency - 同性戀趨勢
          melt - 融化 vi
          torment - 折磨 vt. 痛苦 n.
          obnoxious - 不愉快的,討厭的 adj.
          prank - 玩笑,惡作劇 n.
          prestigious - 聲望很高的 adj.
          E T Bell's Men of mathematics - 數學精英 E T Bell
          Nash equilibrium - 納什均衡
          equilibrium (pl. euqilibria) - 平衡,均勢 n.
          ingenious - 有獨創性的,有才干的 adj.
          Kriegspiel - [德](用作盤上戰術指揮訓練的)軍棋游戲 n.

          bearing - 舉止,風度,行為方式 n.
          aloof - 避開,遠離 adv. 孤單,冷淡 adj.
          aloofness - 超然態度 n.

          spooky - 怪異的,神經質的 adj.
          discount - 打折扣 vt.
          diplomatic - 外交的 adj.
          RAND Corporation - 蘭登公司
          post - 職位

          aggressive - 好斗的,有闖勁的 adj.
          Riemannian manifold - 黎曼流形
          Euclidean space - 歐幾里得空間
          colloquium - 討論會 n.
          conceited - 自負的,狂妄的,自大的 adj.
          hasty - 匆忙的,草率的 adj.
          keen - 熱心,渴望的 adj.
          unorthodox - 非正統的,離經叛道的 adj.
          obstreperous - 喧囂的,任性的 adj.
          isometric - 等容的 adj.
          parabolic and elliptic - 拋物線的和橢圓的 adj.
          adolescent - 青春期的,少女的 adj.
          baptise - 洗禮 vt.
          prodigy - 天才 n.
          curl up - 卷起
          contension - 競爭,辯論 n.
          contender - 競爭者 n.
          intense - 密切的 adj.
          symptom - 癥狀 n.
          hospitalise - 住院治療 vt.
          abruptly - 突然 adv.
          pension - 退休金 n.
          resign - 退休 vi.
          renounce - 放棄,斷絕 vt.
          deport - 驅逐 vt.
          nonsensical - 無意義的,荒謬的 adj.
          stoically - 堅忍地 adv.
          numerology - 數字命理學 n.
          despondent - 失望的 adj.
          endure - 忍受 vt.
          divorce - 離婚 vt.
          cryto-communist - 秘密的共產主義者 n.
          delirium - 精神狂亂 n.
          maniacal - 發狂的 adj.
          seminal - 原創的 adj.
          schizophrenia - 精神分裂 n.
          主站蜘蛛池模板: 镇巴县| 米林县| 乌审旗| 惠水县| 抚州市| 灯塔市| 青田县| 民和| 平昌县| 宣汉县| 垫江县| 文安县| 房山区| 麦盖提县| 香格里拉县| 德阳市| 博爱县| 广饶县| 万全县| 天峨县| 望江县| 山东省| 额敏县| 青州市| 遵义市| 班玛县| 高安市| 长宁县| 渝北区| 六枝特区| 大庆市| 钟祥市| 凯里市| 札达县| 中卫市| 正定县| 徐水县| 启东市| 泰来县| 阜城县| 唐海县|