老徐的书  · · · · · ·  ( 56本在读 · 436本想读 · 140本读过 )

在读
  • 未来简史
  • 心理学
  • 巨人的陨落
  • 清教徒的礼物
  • 管理成就生活
想读
  • 全球通史(第7版 上册)
  • 世界的凛冬
  • 新名字的故事
  • 指匠
  • 创造自然

老徐常去的小组(72)  · · · · · ·  ( 全部 )

诗
(2)
我总觉得自己就是一个傻逼
我总觉得自己就是一个傻逼 (1257799)
MacBook+Pro+Air
MacBook+Pro+Air (67616)
PolyML
PolyML (2)
prolog
prolog (658)
斯坦福大学机器学习导论
斯坦福大学机器学习导论 (3295)
Emacs
Emacs (5061)
LISP
LISP (5541)
计算机科学 Computer Science
计算机科学 Computer S... (25049)
青春版牡丹亭
青春版牡丹亭 (401)
scheme
scheme (1425)
元音大雅
元音大雅 (13705)
Haskell
Haskell (2348)
Go Programming Language
Go Programming Language (1972)

老徐的电影  · · · · · ·  ( 92部想看 · 271部看过 )

老徐的日记  · · · · · ·  ( 全部 )

图灵机
2015-09-01 16:46:33
"我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。" ------- 图灵 图灵,冯洛伊曼的图灵机模型来自于莱布尼茨的灵感延续的。莱布尼茨第一次提出了通用机:“一种强大的符号语言来表达和计算所有的事情”。......
佛语
2014-07-07 21:11:17
佛语 ——顾城 我穷 没有一个地方 可以痛哭 我的职业是固定的 固定的坐 坐一千年 来学习那种最富有的笑容 还要微妙地伸出手去 好象把什么交给了人类 我不知道能给什么 甚至也不想得到什么 我只想保存自己的泪水 保存到工作结束 深绿色的檀香全都枯萎 干燥的红星星 全都脱落    (1回应)

老徐的评论  · · · · · · · · · ·  ( 评论1 )

  • 莱布尼茨之梦与图灵机
  • 逻辑的引擎
  • 老徐  评论: 逻辑的引擎
    用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ ...

老徐的相册  · · · · · ·  ( 创建3 · 关注1 )

瞬间
2013-03-16更新
flower
2012-09-26更新
waer
2012-01-17更新

老徐的舞台剧  · · · · · ·  ( 2部想看 · 1部看过 )

想看
  • 牡丹亭(大师版)
  • 牡丹亭
看过
  • 青春版牡丹亭
all about symbols.

老徐的广播  · · · · · ·  ( 全部 )

老徐的关注  · · · · · ·  ( 成员103 )

kozz
kozz
白先勇
白先勇
无言
无言
Fenng
Fenng
云山雾村
云山雾村
小玄儿
小玄儿
申夏
申夏
猫饼干
猫饼干

老徐的豆列  · · · · · ·  ( 全部14 )

老徐的音乐  · · · · · ·  ( 1张在听 · 2张想听 )

在听
想听

老徐的同城活动  · · · · · ·  ( 11个参加 · 11个感兴趣 )

老徐的线上活动  · · · · · ·  ( 全部 )


本页永久链接: http://www.douban.com/people/xulao/

订阅老徐的收藏:
feed: rss 2.0