【现代逻辑与逻辑哲学系列讲座】Cut elimination and provably recursive functions

414播放 · 0弹幕2020-12-05 20:00:06
5 14
稿件投诉
记笔记
未经作者授权,禁止转载
“现代逻辑与逻辑哲学系列讲座”第三场 题目:Cut elimination and provably recursive functions 主讲人:Prof.Andreas Weiermann
评论
爱智 求真 向善 致美 这里是武汉大学哲学学院~欢迎关注 微信公众号:武汉大学哲学学院/武大哲院研究生会 投稿:xtwolo@163.com
相关推荐
王阳明心学及其现代意义---王德峰
王阳明心学及其现代意义---王德峰
48.6万 播放 · 1.6万 弹幕
什么是卡夫卡式写作风格?
什么是卡夫卡式写作风格?
12.7万 播放 · 344 弹幕
加缪:如何应对荒诞的生活
加缪:如何应对荒诞的生活
4.1万 播放 · 72 弹幕
苏德超:观念的力量
苏德超:观念的力量
2780 播放 · 16 弹幕
明德書院系列講座
明德書院系列講座
2818 播放 · 13 弹幕
开启和野生动物的奇妙邂逅