Martin Trucchi
Computer science student, ENS de Lyon
Logic, type theory, constructive mathematics, and the synthetic side of algorithmic randomness.
Welcome. You'll find my publications, teaching, talks, code, and notes here.
Latest News
Interactive Demo
How do the digits of famous constants distribute? An entry point to the questions about randomness in infinite sequences that sit behind algorithmic randomness.
Distribution of the first 100 digits of π. A perfectly normal number would show equal bars.