形式化与本质性

2008-09-04

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

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

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

编辑于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏PPV课数据科学社区

基于客户行为事件的跨领域统一推荐模型探讨

跨领域深度学习模型一直是近几年推荐系统主要研究方向之一, 本文探讨一种个人客户画像构建的新思路, 并讨论对应的基于个人行为事件的跨领域统一推荐模型。 1、基于个...

35914
来自专栏量子位

吴恩达对话LeCun:神经网络跌宕四十年

最近,这位AI领域的传奇大牛,接受了另一位大牛吴恩达的视频专访。在这次对话中,LeCun回顾了卷积神经网络、反向传播的历史,以及他如何从一个默默无闻的“法国小孩...

992
来自专栏AI科技大本营的专栏

必读 | 六月份不容错过的十大重磅好文,机器学习和数据科学的小伙伴拿走不谢

作者 | Flavian Hautbois 翻译 | AI科技大本营(rgznai100) 参与 | JeyZhang,波波 上个月,我们发了很多文章。但是,机...

2726
来自专栏牛客网

头条一面

2450
来自专栏AI科技评论

【业界】Deepmind 开发可微分神经计算机: 我们离会推理的机器人还有多远

还记得击败世界围棋大师的阿尔法狗 AlphaGo 吗? 它来自谷歌 DeepMind 团队,现在这个人工智能实验室又推出了一项重磅研究——可微分神经计算机的神经...

3607
来自专栏CSDN技术头条

深度学习 vs 概率图模型 vs 逻辑学

【编者按】在上个月发表博客文章《深度学习vs机器学习vs模式识别》之后,CMU博士、MIT博士后及vision.ai联合创始人Tomasz Malisiewi...

1897
来自专栏人工智能头条

语音识别现状与工程师必备技能

3091
来自专栏AI科技评论

活动 | 机器感知、三维点云如何与深度学习擦出火花?

机器人需要在这个过程中学会如何主动感知和控制,深度学习的流行也为探索这一问题提供了一种值得借鉴和学习的方法。

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

机器学习资料整理(欢迎补充)

本博文所整理的机器学习书籍来自于博主平时的积累的一些资料,可能还有一些经典的机器学习书籍为包含其中,欢迎大家留言区补充,分享给大家。(本文所陈列的所有书籍电子...

37110
来自专栏AI科技大本营的专栏

量子计算+人工智能——这才是未来科技的最大热门!

编译 | AI科技大本营 参与 | shawn 编辑 | 明明 90年代初,当卫奇塔州立大学(Wichita State University)的物理学教授El...

4007

扫码关注云+社区