关于 BanQ

联系:

  • 163邮箱: BanQ 163.com
  • Github

简介:

Thinking in Context:

《逻辑》三要点:
  1. 悖论罗素悖论
  2. 类型:类型解决了悖论,类型避免了自指矛盾。(量化、分类、物以类分、class、集合等)
  3. 形式:类型是一种形式。(数学、编程语言是形式逻辑;语文、物理是内容逻辑。抽象两种方法:上下文与类型
《上下文为王》是大语言模型与搜索引擎本质区别:
  1. 大模型能根据你问题的上下文给出答案,正如地图根据你当前所在位置导航一样。
  2. 搜索引擎只能全局搜索,搜索的结果不一定符合你的当前实际情况。
《逻辑之道》 《培训咨询》
上下文为王 柏拉图洞穴