网页
资讯
视频
图片
知道
文库
贴吧
地图
采购
进入贴吧
全吧搜索
吧内搜索
搜贴
搜人
进吧
搜标签
日
一
二
三
四
五
六
签到排名:今日本吧第
个签到,
本吧因你更精彩,明天继续来努力!
本吧签到人数:0
一键签到
可签
7
级以上的吧
50
个
一键签到
本月漏签
0
次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行
补签
。
连续签到:
天 累计签到:
天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
09月21日
漏签
0
天
数学吧
关注:
870,138
贴子:
8,672,833
看贴
图片
吧主推荐
视频
游戏
0
回复贴,共
1
页
<返回数学吧
>0< 加载中...
按这种思路
只看楼主
收藏
回复
陈彼方
知名人士
11
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
公理化集合论就是寻找逻辑空间的正则基的努力(所以Goedel和Cohen证明了连续统假设与ZFC公理的逻辑无关性,ZFC集合论并不能通过其公理有限生成),而机器证明或许就是...在某个子空间中按照正则基分解一个命题当然无穷维(不可能在有限步内构造的公理)的形式系统很可能和不可重整的QFT模型一样毫无预测能力,但是我们可以继续类比EFT:就scale来说EFT表现某种局部性质,而公理化形式系统则是逻辑空间(所有命题构成的空间)的局部坐标化,,
送TA礼物
IP属地:江苏
来自
Android客户端
1楼
2023-07-02 16:56
回复
登录百度账号
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频!
贴吧热议榜
1
S14总决赛参赛队伍出炉
2558220
2
吧友采访杨奇黑口罩本体
2075501
3
KPL年总大名单公布
1915004
4
如何评价叶县强拆果园一事
1472931
5
华为三折叠秒售罄
1279954
6
战神诸神黄昏Steam褒贬不一
1158475
7
《赛博朋克》新动画官宣
1008624
8
iPhone16 Pro测评
886811
9
将逐步恢复日本进口水产品
723118
10
海贼王1127话全图公布
564627
贴吧页面意见反馈
违规贴吧举报反馈通道
贴吧违规信息处理公示