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 discuss
Does theorem proving count as creativity?
Is AlphaGo creative?
Determinism, predictability, and chaos theory
Essentialism and a misunderstanding of definitions
Animal memes and understanding
Turing Machines and computational universality
Penrose's "proof" that we need new physics
References
Ask 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))
Socials
Follow us on Twitter at @IncrementsPod, @BennyChugg, @VadenMasrani
Come join our discord server! DM us on twitter or send us an email to get a supersecret link
Help 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 incrementspodcast@gmail.com
Special Guest: Bruce Nielson.
