Episode 8, feat. Jonathan Gorard
MP3•Episoder hjem
Manage episode 313397248 series 3269172
Innhold levert av Epistik. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Epistik eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.
TIMESTAMPS
- 0:20 Are the laws of logic a priori or a posteriori?
- 7:55 Ideas in applied mathematics
- 27:50 Why did you choose to work with automated theorem proving?
- 43:50 An argument for theism and deism
- 1:06:44 Can automated theorem proving be applied in the field of philosophy?
- 1:24:10 Our emotional states, wellbeing, and rationality
18 episoder