思想实验：为什么不应该公开“神不存在”的铁证

独孤一山隙

写代码的也未必知道自己写出来的代码的全部行为（例如存在bug的代码，作者未必能预知到bug时的行为）【
但是形式证明可以验证别人的代码的正确性和行为【

炒股初哥春

这种在『一神论』的框架下的讨论我觉得意义不大，本来就是个非黑即白的传教式理论。在西方『god』是主宰世界的造物主的意思，而在中国『神』干脆是『鬼』的一种，『聪明正直，死而为神』。且不说多神和泛神论，佛教直接是『无神（主宰）论』，对于一个逻辑辩论，还不如多讨论讨论佛教，毕竟佛教的因明学是连马克思都无话可说的。

veronica六

拜服

驳论王洪qa

辩论赛有没有视频观看地址？

华胥

论题挺鸡贼的，可以看做是对“上帝能不能造出一块他也举不动的石头”这个逻辑悖论的反击吧。这帮神棍终于出来个能打的哈。