烟台网站制作步骤,免费网页游戏在线玩,最新军事动态最新消息视频,wordpress如何cdn优化在研究学习#xff0c;编程语言、编译器、计算机科学、类型论、集合论等多门学科及分支后#xff0c;我貌似隐隐约约地感受到#xff0c;研究学习的过程分为三个阶段#xff0c;我称之为研究学习的三段论#xff0c;其中的段#xff0c;是阶段的意思。对应了#xff0c;… 在研究学习编程语言、编译器、计算机科学、类型论、集合论等多门学科及分支后我貌似隐隐约约地感受到研究学习的过程分为三个阶段我称之为研究学习的三段论其中的段是阶段的意思。对应了武侠小说中研习武术的三个过程即 心法内功外功。 1. 直观感受及核心理念Intuition and Core Idea 2. 核心理念的形式化Formalization 3. 具体应用Application 核心理念就是关于某一领域Problem Domain的想法如微积分中极限的概念贯穿了整个微积分体系编程语言 Bash中Everything is a string即 bash语言中只有 String 一个类型贯穿整个 Bash 的设计与应用等等。 基于核心理念需要把核心理念进行形式化Formalization形成一个形式化系统Formal System这样就可以通过形式化的方式使得核心理念得以验证verify其内在一致性consistence, coherence。即自圆其说。更宏观的方面是也现有的形式化系统兼容Compatible不产生矛盾no contracdition如一阶逻辑等。 有了对应的形式化系统后即可应用Application在对应的领域上解析及解决对应的现象与问题。 因此在研习某一学问时笔者觉得最重要的是把握其核心理念或者叫核心思想。然后再仔细分析其形式化系统认真检验其中每一步的推理是否恰当。这样就能不偏不倚地no more no less掌握其核心理念。最后看已有的应用以及自行应用。 那么对于创造一个学问也可以按同样的方式。也就是通俗说的大胆假设小心求证的过程。当你对某一领域的研究得比较透彻时就会产生疑问或者疑惑然后就会提出自己想法。此时当你换个角度去看问题时那角度的出发点便是核心理念的所在。然后再形成自己的一套形式化系统解析及解决对应的问题。 例如爱因斯坦相对论的核心理念就是所有的物理规律不因时空而变化那么基于这个点时空就变成非绝对的而变得可长可短可弯曲。然后基于这一理念出来形式化Formalize出其相对论。并应用于相关现象及问题。 当然这过程非线性的是递归循环递进的关系逐步修正最终使得所有组成部分达到一致。