威廉·莱因哈特纪念演讲
的威廉·莱因哈特数学哲学纪念讲座 是为了纪念威廉·莱因哈特的一生而建立的吗, 1967年起任科罗拉多大学数学教授，直至1998年去世. 他在集合论、逻辑学和数学基础方面做了重要的工作. 他工作的中心焦点是寻找新的数学公理. 对数学新公理的研究需要有能力从数学实践中退后一步，对指导和证明数学实践的一般原理提出问题——涉及哲学和数学问题的问题. 因此，莱因哈特教授不仅是一位数学家，也是一位哲学家. 他对哲学和数学基础做出了深刻的贡献.
莱因哈特讲座, 是由莱因哈特基金和哲学系共同赞助的, 邀请了一位著名的当代数学哲学家来博尔德做一个博彩app推荐集合论的演讲, 逻辑, 或者数学的基础.
2019秋季莱因哈特讲座
史蒂夫Awodey卡内基梅隆大学
《博彩app推荐》
2019年9月13日下午3:15,HUMN 150
摘要:数学命题是什么意思? 在一种标准解释下，所有真实的数学表述都意味着同一件事，即“真”. 类型理论的命题即类型概念提供了一个更有意义的解释, 根据它，命题的意义是它的证明的集合. 新的同伦类型理论体系提供了进一步的细化:命题的意义是其证明的同伦类型. 同伦型可以看作是一个无限维结构, 由物体组成, 同构, 同构的同构, 等. 这样的结构代表了物体系统及其所有更高的对称性. 马丁-Löf类型论的语言是所有这些高级对称性的不变量, 这一事实被奉为著名的“一体性原则”.
过去的Reinhardt讲座
约翰•贝尔 西安大略大学
“无穷小和连续体的迷宫”
2018年10月5日下午3:15,HLMS 199
James Robert Brown教授多伦多大学
纯粹与应用:数学与伦理学
2017年10月6日下午3:15-5:00
W. D. 哈特他是芝加哥伊利诺伊大学的教授
“Orayen悖论”
2013年12月6日星期五下午3:15-5点，HUMN 150
摘要:集合的一个核心应用是标准真值理论，即塔尔西的真值理论. But that view of truth fits set theory only awkwardly; that awkwardness is Orayen's Paradox.
W.D. 哈特(.B. sci, Harvard College 1964; PhD Harvard University 1969) is Professor Emeritus of 哲学 at the University of Illinois at Chicago, 他从1994年到2006年担任哲学系主任，并于2011年6月退休. 他曾在密歇根大学任教(1969- 1974)。, 伦敦大学学院(1974-91), 和新墨西哥大学(1992-93). 他的主要兴趣是逻辑，
数学哲学、形而上学和认识论. 他的著作《博彩app推荐》(剑桥，1988), 2009 pbk)是一个论证二元论作为心身问题的解决方案. 《博彩平台推荐》(剑桥2010)是一部博彩app推荐过去130年来逻辑学与哲学关系的批判性历史著作, 这也反映了他整个教学生涯的核心. 数学哲学读本(牛津大学，1996), 这本书是他编辑的，并附有介绍, 是旧欣蒂卡体量的继承者(两者没有重叠, 较新的一卷是一本哲学论文集, 不是数学).
Otavio布埃诺迈阿密大学
“数学证明到底证明了什么??"
星期五，2013年5月3日
下午三点，老美恩遗产中心校长室
迈克尔•波特剑桥大学
《博彩app推荐》?"
2008年3月16日(星期五
下午3:15，伊顿人文150
唐纳德一. 马丁,加州大学洛杉矶分校
是博彩app推荐集合的集合论?" (广告传单)
2004年3月12日(星期五
下午6点，人文250
威廉·泰特芝加哥大学
《博彩app推荐》(广告传单)
2003年3月17日，星期一
晚上7点，umc 289
凡麦基、麻省理工学院
“私人意义，共同真理”(带有摘要的传单)
2001年9月11日，星期一
下午六点半，诺林图书馆英国研究室