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