讲座预告｜逻辑与人工智能线上系列报告第七讲

讲座预告

题目：Tripos models of Internal Set Theory人物：José Siqueira时间：9月29日（周三）19:00-21:00Zoom ID: 833 714 97976Password: 525291

摘要

E. Nelson introduced Internal Set Theory(IST) to serve as syntax for the use of nonstandard proof methods, in contexts such as nonstandard analysis. The intent was to make the practical use of such ideas more accessible to those not acquainted with logic, particularly model theory, but there are advantages beyond that: using a set theory makes the subject more amenable to study through topos theory. This talk will discuss the possibility of developing something akin to IST for toposes other than that of sets, by using the notion of tripos.

  讲座由“浙江大学-世界顶尖大学合作计划”资助

浙江大学-剑桥大学“人工智能、机器人与推理”系列讲座由浙江大学逻辑与认知研究所（ILC）和剑桥大学利文休姆未来智能研究中心（CFI）于2019年启动了人工智能逻辑联合项目，致力于推动各种形式的学术研究，目前由浙江大学廖备水教授和剑桥大学Huw Price教授领导，包括研究、教学和其他学术活动。线上讲座（2021年夏秋）是该项目的一部分。