本期生词 · 81
reverse culture shock
phr.
0:00
反向文化冲击（回到本国后反而不适应）
feat
/fiːt/
n.
0:00
壮举，艰难的成就
entity
/ˈentəti/
n.
1:44
实体，独立存在物
primitives
/ˈprɪmətɪvz/
n.
2:23
基本元素，原始单元（逻辑/计算术语）
shunting
/ˈʃʌntɪŋ/
n.
4:17
搬移，调动（symbol shunting 指机械地搬弄符号）
self-reference
/ˌselfˈrefərəns/
n.
4:17
自指，自我指涉
incompleteness
/ˌɪnkəmˈpliːtnəs/
n.
4:49
不完备性（哥德尔不完备性定理）
rigorously
/ˈrɪɡərəsli/
adv.
4:49
严格地，严密地
isomorphism
/ˌaɪsəˈmɔːrfɪzəm/
n.
4:49
同构（结构间保持对应关系的映射）
tall order
phr.
5:42
艰巨的任务，过高的要求
pertinent
/ˈpɜːrtnənt/
adj.
5:42
密切相关的，切题的
condense
/kənˈdens/
v.
6:21
压缩，精简（内容）
inverse
/ˌɪnˈvɜːrs/
n.
8:55
逆，逆映射
homomorphism
/ˌhoʊməˈmɔːrfɪzəm/
n.
10:11
同态（允许丢失细节的结构映射）
recursion
/rɪˈkɜːrʒən/
n.
10:55
递归（以自身定义自身的过程）
whirl
/wɜːrl/
v.
10:55
旋转，搅动
fractals
/ˈfræktlz/
n.
12:20
分形（维数可为分数的自相似图形）
gasket
/ˈɡæskɪt/
n.
12:20
垫片（Sierpinski gasket 谢尔宾斯基垫片/三角）
mosaic
/moʊˈzeɪɪk/
n.
13:06
马赛克，镶嵌图案
digression
/daɪˈɡreʃn/
n.
13:06
离题，跑题的插话
coined
/kɔɪnd/
v.
13:06
创造（新词）；coin a term 造一个术语
mind-bending
/ˈmaɪndˌbendɪŋ/
adj.
13:06
烧脑的，令人费解的
perceptive
/pərˈseptɪv/
adj.
15:08
敏锐的，观察力强的
logarithm
/ˈlɔːɡərɪðəm/
n.
15:50
对数
veridical
/vəˈrɪdɪkl/
adj.
17:31
真实的，与事实相符的（veridical paradox 真实性悖论）
courtesy of
phr.
17:31
承蒙…提供，来自…（表来源致谢）
falsidical
/fɔːlˈsɪdɪkl/
adj.
18:20
谬误性的（结论假、推理藏有错误的悖论）
antinomies
/ænˈtɪnəmiz/
n.
18:20
二律背反，真正的逻辑悖论
paradoxical
/ˌpærəˈdɑːksɪkl/
adj.
19:43
自相矛盾的，悖论式的
negation
/nɪˈɡeɪʃn/
n.
21:40
否定（逻辑术语）
law of the excluded middle
phr.
21:40
排中律（命题非真即假，无第三种可能）
hounds
/haʊndz/
v.
22:36
纠缠，穷追不舍地困扰
intimately
/ˈɪntɪmətli/
adv.
22:36
密切地（intimately linked 紧密关联）
abides by
phr. v.
23:29
遵守，恪守（规则）
variant
/ˈveriənt/
n.
26:16
变体，变种
diagonalization
/daɪˌæɡənələˈzeɪʃn/
n.
27:00
对角线法（康托尔证明实数不可数的方法）
takes his sweet, sweet time
phr.
27:00
慢条斯理，不紧不慢地做（含轻微不耐烦意味）
typographical
/ˌtaɪpəˈɡræfɪkl/
adj.
27:47
排版上的；此处指只涉及符号形状、不涉含义的
tack
/tæk/
v.
28:37
附加（tack on 在末尾加上）
axiom
/ˈæksiəm/
n.
30:10
公理，推理的起点
derive
/dɪˈraɪv/
v.
30:10
推导出，导出
reduces to
phr. v.
33:33
归结为，简化为
successor
/səkˈsesər/
n.
34:48
后继，后继数（皮亚诺算术术语）
derivation
/ˌderəˈveɪʃn/
n.
35:38
推导，推导过程（形式化证明）
congruent
/ˈkɑːŋɡruənt/
adj.
36:00
全等的（几何术语）
rules of inference
phr.
36:00
推理规则
renegade
/ˈrenɪɡeɪd/
adj.
37:35
叛逆的，离经叛道的
scrambling
/ˈskræmblɪŋ/
v.
37:35
手忙脚乱地抢做，争抢
cranking through
phr. v.
38:05
机械地大量做完（乏味的工作）
syllabus
/ˈsɪləbəs/
n.
39:34
教学大纲，课程提纲
perceive
/pərˈsiːv/
v.
39:34
察觉，看出
oppressing
/əˈpresɪŋ/
v.
40:21
压迫
pamphlets
/ˈpæmfləts/
n.
40:21
小册子，政论传单
overthrow
/ˌoʊvərˈθroʊ/
v.
40:21
推翻（政权）
obscure
/əbˈskjʊr/
v.
41:12
遮蔽，使模糊（此处作动词）
opiate
/ˈoʊpiət/
n.
41:12
鸦片剂；使人麻木之物（the opiate of the masses 人民的鸦片）
induction
/ɪnˈdʌkʃn/
n.
43:00
归纳法（由个例推出一般结论）
hyphens
/ˈhaɪfnz/
n.
45:07
连字符
shorthand
/ˈʃɔːrthænd/
n.
47:27
速记，简写记法
inferring
/ɪnˈfɜːrɪŋ/
v.
47:27
推断，推知
well-formed formula
phr.
49:22
合式公式（符合形式系统语法规则的符号串）
Tacit
/ˈtæsɪt/
adj.
52:58
心照不宣的，未言明的（tacit assumption 隐含假设）
elementary particles
phr.
52:58
基本粒子
velocities
/vəˈlɑːsətiz/
n.
53:27
速度（物理术语，含方向）
configurations
/kənˌfɪɡjəˈreɪʃnz/
n.
53:27
构型，排布方式
grandiose
/ˈɡrændioʊs/
adj.
54:01
宏大的，浮夸的
deterministically
/dɪˌtɜːrmɪˈnɪstɪkli/
adv.
54:01
决定论地（由初始条件唯一决定后续）
creep into
phr. v.
54:31
悄悄潜入，不知不觉进入
hyperdimensional
/ˌhaɪpərdaɪˈmenʃənl/
adj.
55:10
超维的，高维的
hacking away
phr. v.
55:10
埋头苦干（此处指不停地写代码）
bias
/ˈbaɪəs/
n.
56:19
偏好，倾向性
hit home
phr.
56:19
讲透，使人切实领会
alluding to
/əˈluːdɪŋ/
phr. v.
57:12
暗指，间接提及
anecdote
/ˈænɪkdoʊt/
n.
57:56
轶事，趣闻
stalk
/stɔːk/
v.
57:56
潜行，悄然游荡
auditory
/ˈɔːdətɔːri/
adj.
57:56
听觉的
fugue
/fjuːɡ/
n.
58:27
赋格曲（同一主题在多声部中模仿追逐的复调音乐）
inverted
/ɪnˈvɜːrtɪd/
adj.
58:27
倒置的，倒影的（音乐中指旋律上下翻转）
prefaces
/ˈprefəsɪz/
v.
60:40
为…作序，在…之前加引子
consistent
/kənˈsɪstənt/
adj.
61:14
一致的（逻辑术语：推不出矛盾的）
acrostics
/əˈkrɔːstɪks/
n.
61:50
藏头诗（首字母拼出隐藏信息的文字游戏）