下载葡京app客户端

您所在的位置: 首页  >  学术研究  >  学术信息  >  正文

【12月22日】What is Concrete Incompleteness?

点击次数:  更新时间:2021-12-17

About the speaker:

Colin S. McLarty is the Truman P. Handy Professor of Intellectual Philosophy and of Mathematics, at Case Western Reserve University in USA, and the current Chair of the Philosophy Department. He is an American logician whose publications have ranged widely in the foundations of mathematics and philosophy, as well as in the history of science and of mathematics. He is a leading researcher in the field of category theory, and a highly regarded philosopher and historian of mathematics. McLarty worked on establishing that Fermat's Last Theorem can be proven in a setting with much weaker assumptions than the ones used in Wiles' proof, which makes use of involved category theoretical constructions.

About the Interlocutor:

Prof. Harvey Friedman is a Distinguished University Professor of Mathematics, Philosophy, and Computer Science at Ohio State University in USA. He was named among “the top 100 scientists in the U.S. under 40” by Science Digest in 1984. Friedman received the Alan T. Waterman Award in 1984. He delivered the Gödel Lectures in 2002, and the Tarski Lectures in 2007.

Baidu
sogou