News
24 Dect, 2017 The slide file was uploaded.
Title
A hierarchy of functions corresponding randomness hierarchy
Type
A talk in RIMS workshop “Proof theory and proving”
Download
rims
Computation at random points
News
13 Dect, 2017 The slide file was uploaded.
Title
Computation at random points
Type
A talk in IPA Math 2017
Download
IPAmath
What is mathematics at all?
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