About fujimoto

Independent researcher. 8-valued logic D-FUMT₈:
\(\{ op, \bot, \mathbb{B}, \mathbb{N}, \infty, 0, \sim, \circlearrowleft\}\).
Interests: Collatz, Andrica \(A_n = \sqrt{p_{n+1}} - \sqrt{p_n}\),
Erdős problems, Lean4 formalization, śūnyatā.
Building Rei-AIOS. Seeds grow slowly. 🌱

Lists

Timeline

Fujimoto has no activity yet