懵懵灯灯的BLOG

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.

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.

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.

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.