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
