1890年朱塞佩·皮诺发现了一条平方填充曲线一年后，大卫·希尔伯特发表了他的变种在那些日子里，人们没有用运球浪费读者的注意力——皮亚诺在3页纸上解释了这一切，希尔伯特只在2页纸上用图片解释了这一点！
但这些是吗建设性的平方填充曲线？
→继续阅读
我在欧洲的可计算性2023在格鲁吉亚第比利斯举行。这是一次遥远的谈话，不幸的是。我谈到了Weihrauch学位的一般化，这是一个很大程度上尚未开发的领域，似乎可以提供有很多机会探索新的研究方向。我不太可能亲自追查他们，但我很乐意与他们交谈任何有兴趣这样做的人。
幻灯片： CiE-2023-幻灯片.pdf.
→继续阅读
在迪特·斯普林75岁生日之际逻辑与分析杂志.我已经提交了一篇论文“Spreen空间和综合Kreisel-Lacombe-Shoenfield-Tseitin定理”，作为预印本提供arXiv:2307.07830这对Dieter关于可计算函数连续性的著名定理的推广形成了建设性的解释。在这篇文章中，我解释了这篇论文是如何适应更一般的连续性原则主题的。
→继续阅读
在2023型我很荣幸地做了一个受邀的演讲“关于类型理论中的同构不变性和同构反射”，其中我讨论了同构反射，即同构类型在判断上是相等的。这个奇怪的原则是一致的，它验证了一些相当奇怪的类型理论声明。
这里有带有演讲者备注的幻灯片和视频录制谈话的重点。
→继续阅读
今天达纳·斯科特今天庆祝90岁生日。生日快乐，丹娜！我永远感激你的好意和从你那里得到的知识。我希望至少能把其中的一部分传授给我的学生。
在这个场合史蒂夫·阿沃迪组装Dana Scott的精选作品CMU-HoTT/斯科特存储库。这是一个惊人的论文集，对逻辑、集合论、计算和编程语言产生了深远的影响。我希望将来我们可以扩展它，并可能以更好的格式呈现它。
作为一种特殊的待遇，我在这里讲述了一个故事，即著名的非类型$\lambda$-演算的$D\infty$模型的发明。我第一次听到它是在我还是达纳的学生时。2008年，我请达纳以简短采访的形式讲述这件事。
→继续阅读（1条评论）
→后期帖子