《我看OO的哲学》是canonical刚写的一篇blog。我们在思考共同的问题,因此想法有很多可以相互参考和借鉴之处。
简要评价如下:
数学会需要逻辑学做基础,而逻辑学又实际上必然以哲学为基础,这是逃不掉的。
仅仅以同义反复为基础的逻辑命题,自然可以摆脱哲学。
但是要解决现实中的问题,只怕还是不得不和哲学打一定的交道,这也是新提出领域描述语言(DSL)的实际处境。
《我看OO的哲学》是canonical刚写的一篇blog。我们在思考共同的问题,因此想法有很多可以相互参考和借鉴之处。
简要评价如下:
数学会需要逻辑学做基础,而逻辑学又实际上必然以哲学为基础,这是逃不掉的。
仅仅以同义反复为基础的逻辑命题,自然可以摆脱哲学。
但是要解决现实中的问题,只怕还是不得不和哲学打一定的交道,这也是新提出领域描述语言(DSL)的实际处境。