跳到主要内容
证明助理贝塔
Mike Shulman的用户头像
Mike Shulman的用户头像
Mike Shulman的用户头像
迈克·舒尔曼
  • 的成员2年4个月
  • 上次看到的本周
简况 活动
统计信息
3,190
名声
1.7万
达到
19
答案
12
问题
社区
查看全部
关于

我是圣地亚哥大学的数学副教授。我的研究方向是同伦类型理论和高级范畴理论。

徽章
查看所有徽章
此用户还没有任何金徽章。
6
银质徽章
34
青铜徽章
顶部标签
查看所有标签
80
分数
7
帖子
23
帖子%
52
分数
10
帖子
32
帖子%
22
分数
4
帖子
13
帖子%
21
分数
三
帖子
10
帖子%
18
分数
三
帖子
10
帖子%
17
分数
2
帖子
6
帖子%
顶部立柱
查看全部问题和答案
回答
43
有人用打字机意外地“证明”了一个错误的定理吗？
2022年4月1日
问题
22
Agda的范畴语义
2022年12月11日
回答
18
何时使用共导类型？
2022年2月9日
回答
17
依赖型分类模型的不同变体的动机是什么？
2022年3月18日
回答
16
如何在基于类型理论的证明助手中表示数学部分函数？
2022年2月16日
回答
16
校对助理做一些有用的事情的例子有哪些？
2022年2月8日
问题
14
NbE的教程实现
2022年3月16日
问题
12
相互感应/共感应类型的规则
2022年3月6日
回答
11
什么集合理论定义不容易在类型理论中形式化？
2022年3月4日
回答
10
通过评估归一化比传统的基于约简的归一化有什么优势？
2022年2月9日
热门元帖子
1
4
15
低质量标签
11
既然我们有了第一个维基答案，那么其他所有答案是否应该合并为一个答案呢？
10
[理论证明]需要存在吗？
6
精益应该有mathlib标签吗？
4
为什么关于依赖型理论的问题偏离了主题？
顶级网络帖子
查看所有网络帖子
219
为什么即使人类在证明中经常出错，数学也不会崩溃？
106
什么属性使$[0,1]$成为定义基本群的好候选对象？
91
不正确的符号曾经导致错误的证明吗？
67
骨骼可以简化范畴理论吗？
62
人们默认在LaTeX中加载哪些包？