随便看看
数学意义上的「真」和「可证」是两个不重叠的概念。
是否存在「可证明」的对于世界的解释? - oldgoat的回答 - 知乎
一般来说,仅根据经验事实就可以确认某个判断为真,这就叫做“证实”(verify),具有这种特征的判断就叫做可证实(verifiability)的。
如何简单清晰地解释哥德尔不完备定理? - 叶青杰的回答 - 知乎
哥德尔数与不动点。
如何简单清晰地解释哥德尔不完备定理? - LLLBK的回答 - 知乎
他认为自己的不完全性定理表明,存在一些确实为真的东西是人为构造的逻辑系统无法达到的,这些确实为真的东西就是数学的理念世界,它们跟人无关,它们有自己确定的真值,不论人有没有去研究它。
Paradox at the heart of mathematics makes physics problem unanswerable
凝聚态计算spectral gap,当模型为无限大小的2D平面时,无法预测计算是否能结束,即spectral gap是否存在。
如何看待南京一中高考成绩令部分家长不满,家长要求「校长下课」? - 不想上吊王承恩的回答 - 知乎
任何东西都是拥有了才有资格不在乎。像我这种工贼太多了,所以全世界的鸡蛋联合不起来,石头也不允许鸡蛋联合起来。
如何看待杭州某物业私自将业主别墅出租给《我和我的儿女们》剧组拍摄,业主看剧才发现是自己家这件事? - stan的回答 - 知乎
法律常识学习:侵权还是违约?无权代理还是无权处分?合同效力?剧组是否应当承担责任?
为什么金属乐迷大多热衷于将金属从摇滚中独立出来? - 远古邪恶小人物的回答 - 知乎
摇滚乐是一场人类文化运动;类型文化总是具有原教旨倾向。
如何看待美国防长 7 月 21 日谈中美关系时,称「我们不是要寻找冲突」? - 王子君的回答 - 知乎
华盛顿的态度是:我们又不是到摊牌的地步,你们为什么反应这么激烈嘛;北京的态度是:你们不能老是把你们国情的代价转移给我们。
就目前(2017年)的国际局势来看,美国的联俄制中政策会取得成功吗? - 王子君的回答 - 知乎
之所以折腾到今天,美俄还是冷眼互看,主要是内外都有阻力:外部反对;内部阻力。
如何评价睡前消息第147期? - 离离图总裂夫的回答 - 知乎
一个没有核心价值的威权主义组织,有两个问题:第一,领袖稍微不行就一堆破事,组织开始涣散。从商周到罗马以色列,再到俄罗斯台湾全都是这样;第二,没有产生合格领袖的机制。
纲不举的结果,就是目不张。
新加坡其实适合走西方议会制路线的。因为英、美的制度设计,本质就是一种精英寡头政治。西方议会政治建立在社会中产以上有着强共识,而且统治集团人数很少,和中产没有根本利益冲突的前提下。这种制度下,一旦社会出现分裂,立马就混不下去。
要说西方真对我们有什么贡献的话,就是让中国人明白,有时候还是得放下过去。(避免路线依赖)
如何看待「香港或被踢出 SWIFT 银行结算系统」的消息?如果属实,将会造成什么样的影响? - Mason Wu的回答 - 知乎
什么是SWIFT?为什么会有这个谣言?
计算机相关
O’Reilly eBook: Apache Pulsar Versus Apache Kafka - MemSQL
只有33页的新书,各方面对比了一下Pulsar和Kafka,不是特别有新意。
为什么有线网络可以全双工,而无线网络只能半双工呢? - 甜草莓的回答 - 知乎
同时同频(In-band)的无线全双工存在自干扰问题;解决方案收益不大且成本高(增加天线或增加隔离度)。
deno fmt 从 prettier 切换到 dprint,性能提升 10+ 倍 - justjavac的文章 - 知乎
Rust降维打击;wasm性能损耗不低。