详细内容 当前位置:首页 > 科学研究 > 学术交流
【明理讲坛】理学院数学系数理逻辑学术报告
发布时间:2020-08-27【告诉好友】 【关闭窗口】
    会议主题:武汉理工大学数学系数理逻辑学术报告

  会议时间:2020/8/28 13:00-18:00

  会议软件:Google Meet,腾讯会议(ID793161041

  击链接加入Google Meet:https://meet.google.com/cyi-sfjo-qkh

  1. 报告人:AKITOSHI KAWAMURA, 副教授, 日本京都大学

  时间:2020/8/28 13:00-15:00

  题目:A lower bound on opaque sets

  摘要:We proved that the total length of any set of countably many rectifiable curves whose union meets all straight lines that intersect the unit square U is at least 2.00002. This is the first improvement on the lower bound of 2 known since 1964. A similar bound is proved for all convex sets U other than a triangle.

  2. 报告人:KENSHI MIYABE, 副教授,日本明治大学

  时间:2020/8/28 15:30-17:30

  题目:The properties of computable predictions

  摘要:We try to predict the next bit from a given finite binary string when the sequence is sampled from a computable probability measure on the Cantor space. There exists the best betting strategy among a class of effective ones up to a multiplicative constant, the induced prediction from which is called algorithmic probability or universal induction by Solomonoff. The prediction converges to the true induced measure for sufficiently random sequences. However, the prediction is not computable.

  We propose a framework to study the properties of computable predictions. We prove that all sufficiently general computable predictions also converge to the true induced measure. The class of sequences along which the prediction converges is related to computable randomness.

  We also discuss the speed of the convergence. We prove that, even when a computable prediction predicts a computable sequence, the speed of the convergence cannot be bounded by a computable function monotonically decreasing to 0.

      
      
【关闭窗口】