最近正在读 2 本与逻辑学有关的书,一本是 The Calculus of Computation,另一本是《面向计算机科学的数理逻辑》(最近出了中文版,但我还是用的影印版)。前者强调 semantics,而后者第一章全是 natural deduction。我没有搞明白两者的异同,但《数学哲学讲义》内证明的哥德尔完备性定理解决了我的疑惑 https://t.co/qNkhoroXwa
@PandaTalk8 刻意制作的免费内容,只是把销售前置了。 从推特拿到第一个商单,我突然就明白了,之前无意间写的那些帖子,原来都如此,甚至可以专业地被称为“勾子” 之后再看其他道友的帖子,我无意识地会分拆四步分析: 1/ 帖子面对的人群是谁 2/ 作者在带什么货 3/ 作者下了什么“勾子” 4/ 交付路径是什么
值得试试,挺有价值的,让 Codex 帮你分析电脑操作习惯+Codex任务执行情况,给出具体的对工作习惯上的优化建议。 注意:Chronicle 是一款用于记录和分析用户电脑操作轨迹的追踪软件或系统级功能 在 Codex 上输入: > 根据 Chronicle
https://t.co/cGEIGdlY8t
https://t.co/oukOoCFKWY
https://t.co/84slfIzgSz