Episode 8, feat. Jonathan Gorard
MP3•Maison d'episode
Manage episode 313397248 series 3269172
Contenu fourni par Epistik. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Epistik ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.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 episodes