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, 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.

(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 (Listen first!)
• Logic theorist
• AlphaGo movie

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. Or give us one-time cash donations to help cover our lack of cash donations here.
• Click dem like buttons on youtube

Create us up an email with something imaginatively rote, cliche and formulaic, and mail that creative stinker over to incrementspodcast@gmail.com