Episode 8, feat. Jonathan Gorard
MP3•Bölüm sayfası
Manage episode 313397248 series 3269172
İçerik Epistik tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Epistik veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.
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 bölüm