AI, Generative Art, Operating Systems.
the halting problem in computer science (a simple primer here: http://www.cgl.uwaterloo.ca/csk/halt/ ) and so on guarantee we will encounter programs that we cannot predict what they do, we cannot create systems that we can prove every single fact out. Those well versed in these theories will