形式化与本质性

2008-09-04

  • 形式化与本质性恐怕是一个很深奥的哲学问题,但是不知道有没有这两个词,兴许我的表述是有问题的,姑且这么说吧。像我这样没有受过系统哲学教育,也没有仔细读过哲学著作的,估计也只有望文生义的份儿。
  • 上编译原理课的时候,突然间发现这么一个事实:把一个形式化事物,尤其是一个抽象的事物形式化是一个很伟大的事情,它能促进思维的进一步发展和深化,怪不得数学是研究形式的,也难怪形式逻辑这么厉害;还有一点,什么事情(多是推理以外的事情),一旦过于形式化,极其容易僵化,反倒使得当事人摸不着本质了!多少人致力于将伟大的想法形式化、数学化,为人类的思维、语言、文明作出了巨大贡献;可又多少人热衷于搞形式化,偏离了主题,浪费了资源!
  • 到底是先有形式呢,还是先有本质呢?实质是如何隐蔽在形式之下的?如何有效的形式化?如何简单的形式化?恐怕这不止是一个数学问题。其中还有很多做事情、想问题的思维习惯和行事风格在里面。训练强悍的建模能力,同时培养直达本质的洞察力和摆脱繁文缛节的作风当是努力的方向。

原创声明,本文系作者授权云+社区-专栏发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

编辑于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏大数据文摘

数据科学家可能成为2015年最热门职业

2138
来自专栏人工智能头条

Lorenzo Alvisi:构建可信赖系统的挑战永无止境

1439
来自专栏华章科技

高效能码农的自我修养:5本书教你怎样科学学习,拒绝无用功

导读:作为一枚苦逼的码农,你需要学习很多东西。但在开始的开始,你学会学习了吗?科学、高效的学习方法,会让你事半功倍。今天书单姐推荐5本书,为你带来26种黄金学习...

752
来自专栏机器之心

报名 | UAI人工智能成长系列课程:AI 成长社

很多想学人工智能的人会有一个疑问,就是我该怎么学?是自学还是跟着老师学,如果是跟着老师学,我该跟着哪位老师学? 一直以来,人工智能界都存在两个现象,一方面有一些...

2638
来自专栏悦思悦读

【脑洞】假如AlphaGo能够学习人类价值观

Google的机器人AlphaGo赢了人类围棋高手李世石,朋友圈又开始开脑洞,大致上是暗黑版科幻小说走向,机器人机器学习自我复制自我强化,无论智力体能都远超人类...

3326
来自专栏AI科技评论

观点 | 来自UCL实验室大佬的学术生涯避雷指南

回顾实验室建立近三年来的种种,Stephen Fleming 感慨良多。他把自己的感受、反思以及对后来者的建议写成了博客。

782
来自专栏机器人网

你服不?76岁退休老人自学机器人,8年自制30多个机器人

将一组机械手戴在手上,发送指令之后,另一组机械手便会模仿人手做动作,夹乒乓球、纸巾等都不在话下。这是佛山一中退休物理老师谢云昉最钟爱的一个作品。退休8年来,他迷...

2845
来自专栏企鹅号快讯

人工智能取代不了什么?

人工智能取代不了什么? 2017年12月31日,有一场思想跨年的晚会吸引了我的眼球。有一个环节讨论的是人工智能,其中一个嘉宾说,跟人打交道的工作是需要了解人的表...

1787
来自专栏量子位

专访DeepMind CEO:阿法狗让我震惊,要用AI理解宇宙 | 万字长文

国庆 李林 编译整理 量子位 报道 | 公众号 QbitAI ? 哈萨比斯,DeepMind创始人兼CEO。 DeepMind开发出人工智能围棋程序AlphaG...

34116
来自专栏人工智能快报

美大学推出人工智能助教

2016年5月9日,美国乔治亚理工学院发布消息称,该校推出了人工智能助教。 该校计算学院的教授Ashok Goel每学期都开设基于知识的人工智能(KBAI)课程...

2756

扫码关注云+社区