首页 > 霍格沃兹爆恐分子的综漫日常 > 133.我在裤裆里藏，不对！是数学题里藏了主线
题目：换另一扇门会否增加参赛者博得汽车的机率？如果增加，增加的概率是多少？（本题25分）
（3）参赛者挑汽车，主持人挑羊一号。转换将失利”和“参赛者挑汽车，主持人挑羊二号。转换将失利。”
接下来第三问：
俄然之间西莫先生感觉本身的思路就像是被翻开了。
另有两题，最起码要能做出一道啊！要不然本身都不美意义向死妹控开口！
更简朴一点的解释是：（1）肆意一个包含一阶谓词逻辑与初等数论的情势体系，都存在一个命题，它在这个体系中既不能被证明为真，也不能被证明为否。（2）如果体系S含有初等数论，当S无冲突时，它的无冲突性不成能在S内证明。
拿着只要四道题目标卷子，已经筹办放弃三道的西莫先生现在的确笑得比哭还丢脸啊！
哈哈哈，好不好笑？好不好笑？
第二问：当参赛者转向另一扇门而不是保持本来的挑选时，博得汽车的机遇将会更加。
第四问：
固然之前黉舍测验的时候，西莫先生都是靠作弊或者炸死监考教员来过关的，但是好不轻易下定决计要好好尽力一把，他如何能够就如许放弃！
题目：求DO的体积是多少？
“为甚么俄然好想吃章鱼烧呢？”
在每个立方体中，有一个别心原子和八个顶点原子。但每个顶点原子分属于八个立方体，以是每个顶点原籽实际上只算1/8个。
西莫先生差点就叫出声来，并不是因为题目有多难，与前面的几道题比拟，这道题未免太轻易了一点，当然也不是因为轻易，才让西莫先生感觉惊奇。
哥德尔通过这必然理证了然任何一个情势体系，只要包含了简朴的初等数论描述，并且是自洽的，它必然包含某些体系内所答应的体例既不能证明真也不能证伪的命题。
当参赛者选定了一扇门，但未去开启它的时候，节目主持人开启剩下两扇门的此中一扇，暴露此中一只山羊。主持人厥后会问参赛者要不要换另一扇仍然关上的门。
此中第三种环境，其失利的能够性为(1/3)*(1/2)+(1/3)*(1/2)=(1/3)，也就是说，如果转换，那么参赛者将会有(2/3)的概率博得汽车！
这一题西莫先生第一眼看去感觉是会增加概率，因为从独立反复尝试的角度来看，第一次三道门，选中的概率是三分之一；第二次两道门，选中的概率是二分之一；
而是因为，西莫总感觉本身仿佛在那里看过这道题啊？
第三问：在国际象棋中，你永久没法在法则下让王逃到某一个最安然的位置！
西莫先生已经将近被数学给虐哭了！他真的好想要向高坂死妹控求救啊！救救他的数学！
奥天时裔布列塔尼亚闻名数学家库尔特·哥德尔，在1931年提出不完整性定理。这一实际使数学根本研讨产生了划期间的窜改，更是当代逻辑史上很首要的一座里程碑。该定理与塔尔斯基的情势说话的真谛论，图灵机和鉴定题目，被赞誉为当代逻辑科学在哲学方面的三大服从。
一阶谓词逻辑？初等数论？无冲突性？
第二问：
在一场比赛上，参赛者会瞥见三扇封闭了的门，此中一扇的前面有一辆汽车，选中前面有车的那扇门可博得该汽车，别的两扇门前面则各藏有一只山羊。