我的一张大字报:炮打逻辑王

炮打 , 即摆擂台挑战 。之所以决定摆逻辑擂台挑战“逻辑王” , 只因不想看见全凯全猫开启一种不可思议的论坛风气:让学了一点老旧文科版形式逻辑皮毛且文字颠三倒四的ID自称“逻辑王” , 还可置顶于首页 , 这是对全凯全猫正经知识分子智商的羞辱 , 这种开挂也算开了中国式论坛之先河 。 惟其如此 , 今特向逻辑王提出做题挑战 。 擂台规则如下:1)既然自称逻辑王 , 那么本擂台难度即按当代数理逻辑博士后水准命题;2)题目:《Goedel不可证命题的一阶语法结构》;3)自擂台裁判学术委员会选举产生之日零时起 , 4小时内向裁判长提交研究报告中英文本 , 并公之于众;4)研究报告须以一阶语言进行推理 , 任何结论性命题都应附有数学推导过程 , 不得使用任何鲁式杂文自然语言替代推理;5)研究报告由猫友投票选出的裁判学术委员会评审 , 胜出者冠以逻辑王称号 , 淘汰者或弃赛者自行注销逻辑王昵称 , 四年内不得重返擂台参赛 。特此挑战李楼逻辑局李楼叉格工作领导小组


    推荐阅读