Today we [finally] have on someone who actually knows what they're actually talking about: Mr. Bruce Nielson of the excellent Theory of Anything Podcast. We bring him on to straighten us out on the topics of creativity, machine intelligence, Turing machines, and computational universality - We build upon our previous conversation way back in Ask Us Anything I: Computation and Creativity (https://www.incrementspodcast.com/52), and suggest listening to that episode first. Go follow Bruce on twitter (https://twitter.com/bnielson01) and check out his Theory of Anything Podcast here (https://podcasts.apple.com/us/podcast/the-theory-of-anything/id1503194218). (Also Vaden's audio was acting up a bit in this episode, we humbly seek forgiveness.) We discussDoes theorem proving count as creativity?Is AlphaGo creative?Determinism, predictability, and chaos theoryEssentialism and a misunderstanding of definitionsAnimal memes and understandingTuring Machines and computational universalityPenrose's "proof" that we need new physics ReferencesAsk Us Anything I: Computation and Creativity (https://www.incrementspodcast.com/52) (Listen first!)Logic theorist (https://en.wikipedia.org/wiki/Logic_Theorist) AlphaGo movie (https://en.wikipedia.org/wiki/AlphaGo_(film)) SocialsFollow us on Twitter at @IncrementsPod, @BennyChugg, @VadenMasraniCome join our discord server! DM us on twitter or send us an email to get a supersecret linkHelp us fund more 64 minute-long blog posts and get exclusive bonus content by becoming a patreon subscriber here (https://www.patreon.com/Increments). Or give us one-time cash donations to help cover our lack of cash donations here (https://ko-fi.com/increments).Click dem like buttons on youtube (https://www.youtube.com/channel/UC_4wZzQyoW4s4ZuE4FY9DQQ)Create us up an email with something imaginatively rote, cliche and formulaic, and mail that creative stinker over to [email protected] Guest: Bruce Nielson.