Matija Potočnik Pribošič 🇸🇮 Ljubljana
I am a philosopher exploring the vast spaces and domains of abstraction, both abstract and concrete. Obsessed with knowledge, I follow wherever the search may lead me. I am continuing my studies of epistemology, history of science and naturalism, towards the intersection of philosophy, informatics, and math, the braid of category theory, proof theory and model theory.
I love lambda calculus, Leibniz and Linux.