关于命题演算形式系统PC中定理的证明
usrbin吧
全部回复
仅看楼主
level 1
兔子和小强
楼主
在PC中，如果一个公式是定理，那么最长多少步一定可以证明出它，即找出函数f，使得对于任意公式A，如果A在PC中成立，那么它存在长度不超过f(A)的证明。
2013年12月31日 03点12分
1
level 11
温馨又通亮丶榜首0o
感觉这样的f不可计算吧。。
2014年01月04日 10点01分
2
level 9
kmsmg2004
怎么感觉有点lambda演算的味道（摔）
2014年01月15日 12点01分
3
1
