EPISODE · Mar 20, 2021 · 1H 54M
Episode 8, feat. Jonathan Gorard
from Epistik · host Epistik
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
Embed this episode
NOW PLAYING
Episode 8, feat. Jonathan Gorard
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.