懵懵燈燈的BLOG

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

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

general strike - 大罷工
demanding - 過分苛求的 adj.
athlete - 運動員 n.
schooling - 學(xué)校教育 n.
incomprehensible - 不可理解的 adj.
premonition - 前兆 n.
shattering - 粉碎性的 adj.
proposition - 命題 n.
pacifism - 和平主義 n.
decidability - 可判定性 n.
incompleteness - 不完全性 n.
Entscheidungs problem - 判定問題
Turing machine - 圖靈機
paradox - 悖論 n.
supervision - 指導(dǎo)，管理 n.
ordinal - 序數(shù) n.
approximate - 逼近 vt.
investigate - 研究 vt.
hypothesis - 假說 n.
personnel - 人員 n. 人事部門 n.
inventiveness - 創(chuàng)造能力 n.
congenial - 意氣相投 adj.
enigma - 迷， 不可思議的東西 n.
liaise - 保持聯(lián)絡(luò) vi.
secrecy - 保密 秘密 n.
prospectus - 內(nèi)容說明書，樣張 n.
neurology - 神經(jīng)學(xué) n.
physiology - 生理學(xué) 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 - 形態(tài)發(fā)生 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.

senior - 老的，高級的 adj
lecture on sth- 講授
singular - 奇特的，與眾不同的 adj.
solitary - 孤獨的 adj.
introverted - 內(nèi)向的 adj. [反] extroverted
affection - 愛 n.
attic - 閣樓 n.
enthusiastically - 熱切地 adv.
genius - 天才人物 n.
show off - 炫耀
tedious - 單調(diào)冗長乏味的 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 - 發(fā)脾氣 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 - 數(shù)學(xué)精英 E T Bell
Nash equilibrium - 納什均衡
equilibrium (pl. euqilibria) - 平衡，均勢 n.
ingenious - 有獨創(chuàng)性的，有才干的 adj.
Kriegspiel - [德](用作盤上戰(zhàn)術(shù)指揮訓(xùn)練的)軍棋游戲 n.

bearing - 舉止，風(fēng)度，行為方式 n.
aloof - 避開，遠離 adv. 孤單，冷淡 adj.
aloofness - 超然態(tài)度 n.

spooky - 怪異的，神經(jīng)質(zhì)的 adj.
discount - 打折扣 vt.
diplomatic - 外交的 adj.
RAND Corporation - 蘭登公司
post - 職位

aggressive - 好斗的，有闖勁的 adj.
Riemannian manifold - 黎曼流形
Euclidean space - 歐幾里得空間
colloquium - 討論會 n.
conceited - 自負的，狂妄的，自大的 adj.
hasty - 匆忙的，草率的 adj.
keen - 熱心，渴望的 adj.
unorthodox - 非正統(tǒng)的，離經(jīng)叛道的 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 - 驅(qū)逐 vt.
nonsensical - 無意義的，荒謬的 adj.
stoically - 堅忍地 adv.
numerology - 數(shù)字命理學(xué) n.
despondent - 失望的 adj.
endure - 忍受 vt.
divorce - 離婚 vt.
cryto-communist - 秘密的共產(chǎn)主義者 n.
delirium - 精神狂亂 n.
maniacal - 發(fā)狂的 adj.
seminal - 原創(chuàng)的 adj.
schizophrenia - 精神分裂 n.