> So I like to apologize in an aggressive way about my field. I like to say that my field has no applications, that the most interesting thing about the field o

> So I like to apologize in an aggressive way about my field. I like to say that my field has no applications, that the most interesting thing about the field of program-size complexity is that it has no applications, that it proves that it cannot be applied! Because you can't calculate the size of the smallest program. But that's what's fascinating about it, because it reveals limits to what we can know. That's why program-size complexity has epistemological significance. The key idea I get from this field is that mathematics and rational thought can create logical systems more complex than what it can deterministically study. Thus, any scholar of any theoretical discipline should be warned that the very activity of expanding its field generates unknowable entities faster than it uncovers certain knowledge.