如何证明没有证明？数理逻辑的形式主义 / 开普饭

三角形内角和不等于180度?锐角的一边垂线可以和另一边不相交?两个三角形不可能相似?过已知直线外一点可以做两条与已知直线平行?如果你刚刚学习平面几何,可能觉得刚刚的问题全是胡说,这怎么可能呢?可这些命 ...

大江东去,浪淘尽,千古风流人物.回望19世纪的风风雨雨,一方面是西欧与北美的技术革新.经济发展,推动了自然科学的进步:另一方面是工业国家侵犯他国,倾销商品,破坏文明,各种冲突不断.数学界也是波涛汹涌, ...

哈喽,同学们!秋招已经进入了中期阶段,猛涨的除了面试官邮箱里的简历,还有某宝上有关"实习证明"产品的销量,为了让简历更得面试官的青睐,提高自己的通过率,有的同学发动亲戚朋友伪造实习 ...

取得竣工验收合格证明,就证明工程质量一定合格吗? 作者/ 张海龙彭镇坤郭静(北京云亭律师事务所) ▷阅读提示实践中,房地产项目因办理不动产登记等需要,发包方.承包方均会积极签署竣工验收合格证明, ...

主题: 印刷工序使用的原辅材料VOCs含量(质量比)低于10%,印刷废气能否无组织排放内容: 根据关于印发<重点行业挥发性有机物综合治理方案>的通知(环大气[2019]53号),企业采用 ...

一张"人体经络图",最近在全网火了. 经络,我们都听过,但它究竟是啥?看不见又摸不着,一直没被科学证实. 这一次,研究团队依靠茶叶,号称拍摄到了出了几近完整的人体经络影像. 而且还 ...

央视新闻9月22日消息,当地时间21号,世卫组织举行例行发布会,世卫组织总干事谭德塞表示,全球已有近200种新冠疫苗处于临床或临床前试验阶段,但不是所有疫苗都会研制成功. 世卫组织正开展"新 ...

五官精致.面容姣好的男生已然成为当今世界的"香饽饽",纵使缺失那么点男子气概,也能吃得很开.如果他们穿越回古代,或许可以成为万里挑一的男宠,毕竟一般来说,欣赏一个人最注重的方面还是 ...

在一个方圆几公里都没有居民的"无人区"里,他们做了一个"网暴言论博物馆". 4月29日,北方某地一座光秃秃的山包上,插满了密密麻麻红底白字的横幅,上面印着的全是 ...

华东政法大学法律学院胡学军 I 作者 <河北法学>2021年第3期 I 来源证明责任泛化理论批判--以"物"之争议的举证证明为中心一.疑难案件引发的证明责任分配 ...

如何证明没有证明？数理逻辑的形式主义