Introduction
Introduction
Hi, I’m an associate professor at the Department of Engineering, University of Fukui. Here, I talk about logic, mathematics, computer science and occasionally philosophy. Please also see Japanese site if you can read Japanese.
Recent post
-
Posted English translations of my philosophy essays
I’ve posted English translations of my writings, mostly on philosophy.
-
So, AI Is Getting Ridiculously Good
Lately, AI has been claiming to solve one open problem in mathematics after another. Even in computational complexity, it claims to have solved long-standing open problems like L = BPL.
subscribe via RSS