BlogJava-懵懵灯灯的BLOG-最新评论http://www.blogjava.net/mmmyddd/CommentsRSS.aspx<font color="olive">寒夜孤灯点点星</color>zh-cnWed, 14 May 2008 12:41:37 GMTWed, 14 May 2008 12:41:37 GMTcnblogsre: [E文摘] 阿隆佐&#183;邱奇http://www.blogjava.net/mmmyddd/archive/2007/12/27/170829.html#170848懵懵灯灯懵懵灯灯Thu, 27 Dec 2007 04:45:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/27/170829.html#170848calculability - 可计算性 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.




懵懵灯灯 2007-12-27 12:45 发表评论
]]>re: [E文摘] 库尔特&#183;哥德尔http://www.blogjava.net/mmmyddd/archive/2007/12/26/170533.html#170568懵懵灯灯懵懵灯灯Wed, 26 Dec 2007 05:40:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/26/170533.html#170568timid - 胆小害羞的 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.










懵懵灯灯 2007-12-26 13:40 发表评论
]]>re: [E文摘] 阿兰&#183;图灵简介http://www.blogjava.net/mmmyddd/archive/2007/12/24/170023.html#170091懵懵灯灯懵懵灯灯Mon, 24 Dec 2007 08:16:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/24/170023.html#170091demanding - 过分苛求的 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.





懵懵灯灯 2007-12-24 16:16 发表评论
]]>re: [E文摘] 约翰&#183;纳什简介http://www.blogjava.net/mmmyddd/archive/2007/12/24/169892.html#169903懵懵灯灯懵懵灯灯Sun, 23 Dec 2007 16:58:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/24/169892.html#169903lecture 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.

懵懵灯灯 2007-12-24 00:58 发表评论
]]>re: SD2.0, 请继续防忽悠http://www.blogjava.net/mmmyddd/archive/2007/12/03/164434.html#164775Alexander.YuAlexander.YuMon, 03 Dec 2007 01:51:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/03/164434.html#164775

Alexander.Yu 2007-12-03 09:51 发表评论
]]>re: SD2.0, 请继续防忽悠http://www.blogjava.net/mmmyddd/archive/2007/12/02/164434.html#164722对象辅导员对象辅导员Sun, 02 Dec 2007 14:39:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/12/02/164434.html#164722

对象辅导员 2007-12-02 22:39 发表评论
]]>re: RIA, rarely do I like.http://www.blogjava.net/mmmyddd/archive/2007/11/19/161425.html#161492Matthew ChenMatthew ChenMon, 19 Nov 2007 00:15:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/11/19/161425.html#161492

Matthew Chen 2007-11-19 08:15 发表评论
]]>re: 软件2.0概念全图，Java如何面对？http://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158912sitinspringsitinspringWed, 07 Nov 2007 11:08:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158912

sitinspring 2007-11-07 19:08 发表评论
]]>re: 软件2.0概念全图，Java如何面对？http://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158902坏男孩坏男孩Wed, 07 Nov 2007 10:33:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158902

坏男孩 2007-11-07 18:33 发表评论
]]>re: 软件2.0概念全图，Java如何面对？[未登录]http://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158903aaaaaaWed, 07 Nov 2007 10:33:00 GMThttp://www.blogjava.net/mmmyddd/archive/2007/11/07/158883.html#158903

aaa 2007-11-07 18:33 发表评论
]]>