联系:
- 163邮箱: BanQ 163.com
- Github
简介:
- Java起步于:Jive,2004年出版:《Java实用系统开发指南》
- 创建自己的开源项目:Jdon框架和本站开源JiveJdon
- 2010年以后研究DDD领域驱动设计:DDD建模开发演示视频
- 2020年出版:《复杂软件设计之道:领域驱动设计全面解析与实战》
- 2021年自创的 “三体”建模法:
- 经验总结:上下文Context为王
- 经常阅读黑客新闻等科技媒体,常转摘于本博,做一些学习笔记
Thinking in Context:
逻辑三个要点:
- 悖论:罗素悖论
- 类型:类型解决了悖论,类型避免了自指矛盾。(量化、分类、物以类分、class、集合等)
- 形式:类型是一种形式。(数学、编程语言是形式逻辑;语文、物理是内容逻辑。抽象两种方法:上下文与类型)
认知两个陷阱:
- 房间里大象:房间内有头大象(问题),竟然没有人发现?灯下黑、身在庐山不识庐山真面目
- 盲人摸象:发现了问题再去探索解决方案,每个人是“摸象”陷阱中的盲人。
上下文为王:
- Context是道,道生一、一生二、二生三、三生万物 ,万物计算
- 符号逻辑 = 计算
逻辑之道 培训咨询