Author: miyabe

News
26 Aug, 2025: New page

Title
Solovay reducibility for computably approximable reals

Type
Workshop on Logic and Computation
28-31 Aug, 2025 @ Beijing Institute of Mathematical Sciences and Applications
webpage1
webpage2

Download
Almost the same as the talk at the last June at Bordeaux.

News
26 Aug, 2025: New page

Title
Can AI be a mathematician?

Type
Summer seminar organized by the School of Science and Technology, Meiji University, for Meiji University affiliated schools.
Monday, August 25, 2025 @ Meiji University Ikuta Campus

Download
summer2-small

News
14 June, 2025: New page

Title
Solovay reducibility for computably approximable reals

Type
CCR 2025 : Computability, Complexity and Randomness & Journées Calculabilités
16-20 Jun 2025 Bordeaux (France)
invited talk

Download
ccr2025-summary
ccr2025-slide

News
2 May, 2025: New page

Title
Quantifier Variations in Solovay Reducibility

Type
American Mathematical Society 2025 Spring Western Sectional Meeting
San Luis Obispo, CA – California Polytechnic, San Luis Obispo, CA
May 3-4, 2025 (Saturday – Sunday)
Special Session on Logic and Analysis, III

Download
abstract
slide