计算的本质 (7) 更多

  • 第274页
    动态语义:定义运行时的含义。 静态语义:通过“类型系统”来分析程序是否正确。
  • 第143页
    ”通用图灵机“这样的概念,我以前总是很少在意,因为从记事起,计算机全是”通用的“,而我并没有把计算器理解为计算机——某种意义上,计算器可以看作是专用计算机啊。 “专用计算机”用来执行特定的任务,直接...
  • 第59页
    有限状态机 finite state machine:状态及其切换规则。 正则表达式可以表达为一个有限状态机。
  • 第52页
    指称语义:编译器 操作语义:解释器
  • 第18页
    语义 semantics:程序语言的意义,最终总是要映射到客观实体上的。 语法 syntax:什么样的程序语句是有意义的(不考虑这个意义是什么,那是 semantics)。
  • 第17页
    对于计算机科学,核心永远应该是“如何解决问题”,而不是“这个概念、架构、模型、语言能够做什么”。 就连计算机本身,最初都是为了军事上的目标而被创造出来的。是“应用”(也就是“解决问题”)决定了计算机...
  • 第15页
    我对于“计算”的理解: - 广义的计算,是“变换”的序列。“变换”就是一种在时间维度上的“映射”,类似于“input -> output”。 - 狭义的计算,是一个计算模型(电子计算机、量子计算机)所能执行的操作所...

连接组:造就独一无二的你 (12) 更多

  • 第131页
    改变成年人的连接组,貌似可以对应认知行为疗法。
  • 第127页
    神经类疾病有两种:神经发育疾病;神经退化疾病。
  • 第125页
    突触的随机出现,和弱突触的清理,是同步进行的。
  • 第108页
    短期记忆:自维持电锋 长期记忆:持久连接
  • 第105页
    突触,一直在随机的生成。 被强化的留存,未强化的被回收(主要在睡眠中)。
  • 第80页
    即使是看起来简单的神经网络,所能够编码的对象的数量也是天文数字。
  • 第72页
    神经元的加权投票模型。
  • 第41页
    大脑功能的分化,是在童年时期完成的,所以大脑功能损伤之后,儿童的大脑功能能够得到有效地弥补,但是成年人则会会失去一些功能。
  • 第30页
    工业化国家,6%的人有严重的精神障碍。
  • 第27页
    考虑到大脑的模块化特征,也许它并没有预想的那么复杂。
  • 第19页
    统计意义上,大脑体积越大的人智商就越高。 不过这个规律不能够用在单个个体上,有不少反例。
  • 第11页
    比喻是一种有用的理解新知识的工具。 对待“连接组”这个概念,可以把它类比为“河床”,把“意识”类比为“水流”。河床限制水流,水流改造河床。 连接组决定了意识的大体特征;意识反过来也能缓慢的改造连接组。

简单的逻辑学 (2)

  • 第10页
    观念,是意识空间到观测空间的映射。这是我对于“观念”这个概念的定义。 “意识空间”指的是所有意识中存在的抽象对象:概念,概念之间的关系,关系之间的关系。 “观测空间”指的是所有被感知的具体对象:情绪...
  • 第9页
    事实,是客观的,不应该随着每个人而变化。 事实的存在,包括事物,和事件。这对应着知识的descriptive和imperative两个侧面。数学是描述性的,计算机算法是操作性的。不过,对我来说,它们的共同点就是都不太好...

生命的跃升 (12) 更多

  • 第53页
    生物学家们聪明的猜测都错完了…… 正确的答案一点都不简洁和美哈哈哈。
  • 第43页
    每次人体细胞分裂大概产生三个突变。
  • 第42页
    人体有15万亿个细胞。
  • 第42页
    “非周期性晶体”用来编码生物体,这个想法隐隐的和计算机科学呼应。
  • 第39页
    生命始自海底热泉口的岩石。
  • 第37页
    跨膜的例子梯度,将反应能量的供应化整为零,使得整体上是赚的。(否则就无法积累ATP)
  • 第32页
    催化二氧化碳、氢气合成有机物的酶,核心是一个铁、镍、硫原子簇。
  • 第30页
    三羧酸循环是可以反向进行的。
  • 第16页
    生命作为一个系统,必须要有能量的持续输入。 也就是环境中物质/能量的不平衡。
  • 第7页
    38亿年前生命诞生 34亿年前细菌开始主宰(延续了25亿年)
  • 第10页
    38亿年前,生命刚刚诞生的时候,月球离地球很近,潮水有几十米高…… 也就是像星际穿越里的那个黑洞旁边的星球啊……
  • 第7页
    热泉口细菌,极地细菌,尽管DNA不同,但是却有同样结构的某种酶(同样结构指的是同种高层次模式)。
<前页 1 2 3 4 后页>