Algorithmic Randomness

Stream: CSLib

[Elan Roth]

Hey y'all, after giving some talks in a seminar using Downey and Hirschfeldt's "Algorithmic Randomness and Complexity" I've been trying to work out formalizing Kolmogorov Complexity. I've come up with a few definitions and useful lemmas so far, but wanted to open this in case anyone else was interested and wanted to help out