#scholze
Peter Scholze的数学形式化挑战
A mathematical formalisation challenge by Peter Scholze
(xenaproject.wordpress.com)
2020-12-6 21:16
这是Peter Scholze撰写的客座帖子,解释了液体实向量空间数学形式化挑战。有关挑战的pdf版本,请参见此处。有关形式化的注释,请参见第6节。现在转到Peter。 定理1.1(Clausen-S。)让我们成为实数,让它成为一个有限集,并让它成为-Banach空间。设为的度量空间。然后 (这是在www......
#scholze
#空间
#美国
#google
#apple
#谷歌
#程序
#rust
#数据
#warning
#游戏
#代码
#ai
#软件
#linux
#设计
#学习
#web2.0
#google
#设计
#创意
#摄影
#游戏
#图片
#软件
#视频
#手机
#广告
#apple
#iphone
#网站
#免费
#下载
#windows
#微软
#firefox
#苹果
#blog
#音乐
#博客
#wordpress
#恶搞
#艺术
#qq
#web
#谷歌
#工具