News
13 Dec, 2017 The slide file was uploaded.
Title
What is mathematics at all?
Type
A lecture in Meiji University Meiji High School at 6 Dec, 2017.
Download
math
Halting Probability $\Omega$
News
28 Oct, 2017 The slide file was uploaded.
Title
Halting Probability $\Omega$
Type
A talk in Young gathering on mathematical founcations
Download
young
Face randomness by mathematics
News
7 Oct, 2017 The slide file was uploaded.
Title
Face randomness by mathematics
Type
A talk in Mathpower
Download
mathpower_miyabe
Solomonoff’s universal induction, or algorithmic probability
Turing degree
News
5-7 Aug, 2017. Summer School of mathematical foundations
Title
Turing degree
Type
A lecture at summer school of mathematical foundations (in Japanese)
Download
A resume in Japanese can be downloaded from the website.