On Computability over Finite Types
演讲者
杨跃
时间
2025年10月29日 17:00 至 18:30
地点
A6-101
线上
Zoom 388 528 9728
(BIMSA)
摘要
In his paper “On an extension of finitary mathematics which has not yet been used”, Gödel used the concept of computable function of finite simple type, which he considers as finitary, to prove the consistency of classical number theory. However, in his description of the concept “computable function of typet”, he used the phrase “well-defined mathematical procedure” and remarked
The phrase “well-defined mathematical procedure” is to be accepted as having a clear meaning without any further explanation.
In this talk, we will provide one possible rigorous definition of computable functions of finite type, and compare it with the classical definition of computable functions over natural numbers. This talk is based on joint work with Zekun Jia from National University of Singapore, Keng Meng Ng from Nanyang Technological University, Singapore and Nazanin Tavana from Amir Kabir University, Iran.演讲者介绍
Yang Yue, Bachelor of Mathematics from Peking University, Ph.D. in Mathematics from Cornell University, USA. Currently a Professor in the Department of Mathematics at the National University of Singapore. His main research areas are computability theory and reverse mathematics in mathematical logic.