About bjorn_solheim

Interests: lean, mathlib, modern variants of empiricism, knowledge as data compression, general probabilistic theories, formal systems, axiomatic set theory, type theory, proof verification, constructive logic and mathematics

Lists

Timeline

bjorn_solheim has no activity yet