形式化与本质性

2008-09-04

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

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

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

编辑于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏量子位

300万成交!佳士得刚刚拍卖出首款AI画作,同场碾压毕加索

我叫Edmond de Belamy,是这个星球上第一幅参加艺术品拍卖的AI画作。

695
来自专栏量子位

这项技术可以合成以假乱真的奥巴马视频

安妮 编译自 IEEE Spectrum 量子位出品 | 公众号 QbitAI ? △ 奥巴马镇楼 可能奥巴马也要分辨不出自己视频的真假了,这也不能怪他。 一种...

3284
来自专栏机器学习算法与Python学习

特朗普真的是笨蛋吗?至少搜索引擎是这么想的!

咦明明搜索的关键词是笨蛋才对啊,为什么谷歌图片返回的结果全都是美国现任总统川普啊。。

1520
来自专栏玉树芝兰

创新可以教吗?

学院让青年教师参加“创新教练训练营”。我散会后直接找领导说了我的疑惑——在我看来,创新是没办法教的。

812
来自专栏新智元

48小时封镜!这是一部完全由AI制作的科幻电影

1153
来自专栏镁客网

华大是否“癌变”?

目前比较有效、准确、全面的产前检查依旧是“传统产检+基因筛查+高风险人群产前诊断”这一方式。

993
来自专栏量子位

AI通过了艺术创作图灵测试,你根本分不出来作者是不是人

安妮 千平 编译整理 量子位 出品 | 公众号 QbitAI 各位亲爱的文化圈权威,今年不用再看画了:近年来最大的艺术成就已经发生了。 这项艺术成就的诞生地,不...

3817
来自专栏LET

最美的理论(中篇)

1447
来自专栏腾讯高校合作

悦读推荐 :《链接》 复杂网络的基石 大数据时代的开端

《链接》是《爆发》的作者,艾伯特-拉斯洛•巴拉巴西的成名之作,同时也是复杂网络的奠基之作,社交网络的入门之作。巴拉巴西之前,随机网络理论一直主导者我们的网络思维...

3347
来自专栏顶级程序员

这些用excel作的画,我是跪着看完的

源 / 顶级程序员 文 / 水木华章 提起Excel,大家第一时间想到的可能就是表格和数据。但是你知道吗?日本有位七十多岁的老爷爷堀内辰男,居然用exce...

3245

扫码关注云+社区