[logic-ml] Talk by Yoshimura Kazuto (23 Apr 11:00-)

[Tetsuya Sato]

京都大学数理解析研究所の佐藤です。

4月23日11:00から、北陸先端科学技術大学院大学の吉村 和人氏に
以下の講演をしていただくことになりましたので、
ご連絡いたします。どうぞお気軽にお越しください。
==========
Time:	11:00-12:00, 23 Apr, 2015
Place:	Rm 478, Research Building 2, Main Campus, Kyoto University
	京都大学 本部構内 総合研究2号館 4階478号室
	http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34)
	http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物)

Speaker: Yoshimura Kazuto (Japan Advanced Institute of Science and
Technology)

Title: A brief introduction to the theory of the Weihrauch lattice

Abstract:

The Weihrauch lattice and its underlying reducibility notion,
Weihrauch reducibility, was introduced in 1980s as fundamental
concepts for investigating the discontinuities of functions.
However it is only recently when the deep analysis of the Weihrauch
lattice started, being influenced by the project of constructive reverse
mathematics. In this talk, we aim to present a brief review on the
theory of the Weihrauch lattice from both historical and technical
perspectives, and try to point out the importance of the structure
for computable analysis, constructive mathematics and computer
science respectively.