投稿者: miyabe

履歴
2025年8月26日　ページ作成

タイトル
Solovay reducibility for computably approximable reals

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

ダウンロード
BIMSA2025
Almost the same as the talk at the last June at Bordeaux.

履歴
2025年8月26日　ページ作成

タイトル
人工知能は数学者になれるか

種類
明治大学理工学部付属校サマーセミナー
2025年8月25日(月)@明治大学生田キャンパス

ダウンロード
summer2-small

履歴
2025年6月14日　ページ作成

タイトル
Solovay reducibility for computably approximable reals

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

ダウンロード
ccr2025-summary
ccr2025-slide

履歴
2025年5月2日　ページ作成

タイトル
Quantifier Variations in Solovay Reducibility

種類
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

ダウンロード
abstract
slide