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 [email protected]

Special Guest: Bruce Nielson.

Support Increments