|贴子

2024-07-15
写了个解数独程序数独吧
周末闲得蛋疼写了个解数独程序，可以添加各种规则。
• 
• 
2023-12-14
git是怎么判断文件有没有修改的？git吧
git是根据校验和是否相同来判断文件有没有修改吗？但如果是校验和判断的话，如果我修...
2023-11-02
有人知道怎么证明阿克曼函数不是原始递归函数吗？递归论吧
2023-11-02
有人知道怎么证明阿克曼函数不是原始递归函数吗？数理逻辑吧
2023-11-02
有人知道怎么证明阿克曼函数不是原始递归函数吗？离散数学吧
2023-08-23
吞噬星空75集开头的音乐叫啥名字？吞噬星空吧
挺喜欢的。
2023-07-13
怎么证明等于是原始递归谓词？离散数学吧
2023-05-23
pdf怎么转pptx？acrobat吧
adobe acrobat pdf幻灯片能转pptx吗？效果怎么样？
2023-04-13
newcommand命令不能带数字？latex吧
2023-04-11
latex多级编号怎么搞？latex吧
阿拉伯数字多级编号怎么搞？1 1.1 1.1.1 ... 这种，需要所有自然数级编号，用于数学中...
2023-02-12
我要转管科了。民科吧
系统学习管科有大半年了。 管科也好，民科也罢，不过是对事物的不同看法。 相比不严谨...
2022-11-16
1=0的问题，一个个自以为管科却找不到问题的本质。民科吧
这个推理过程在实数域是没有错的，评论却铺天盖地的批评，有些还扯出了复数，需要这么...
• 
• 
2022-10-26
归纳原理与最小数原理不等价。民科吧
2022-10-15
一切皆有可能。我认为这句话是对的。民科吧
我们对所有理论的理解都是人类的感悟，不一定是对的。
2022-09-14
讲一下我对数学公理的理解。民科吧
公理是人类通过实践总结出来的抽象规律。 公理的真实性可以由实践来检验。 公理可以脱...
2022-09-13
民科理论应该得到重视。民科吧
任何可靠的理论的发展都需要经过由雏形到完善的过程。民科理论并非难登大雅之堂，而是...
• 
2022-08-31
集合论要看哪本书？集合论吧
现在看数理逻辑涉及到好多集合论的理论。 有人又说看集合论要先看数理逻辑。。
2022-07-30
现代数学漏洞--趋势民科吧
0.3的3循环应该被定义为一种趋势，而不应是数1/3。 与极限有关的话题都离不开趋势。 ...
2022-07-28
关于理发师悖论我说一下我的看法。民科吧
原题是：理发师一定给不给自己理发的人理发，而且只给不给自己理发的人理发。 我的分...
2022-07-27
集合包含本身问题？民科吧
{x, {x, y}}={u, {u, v}}，怎么推出x=u且y=v？