Hidden Forces cover image

Philosophical Mathematics and the Incompleteness of Formal Systems | Ray Monk

Hidden Forces

00:00

Logicism and the Merger of Logic and Mathematics

The chapter delves into the connection between logic and mathematics, exploring the rejection of Kant's ideas by Russell and Frager. They discuss the introduction of propositional functions and their role in defining classes, as well as the Platonist perspective on numbers. The chapter also explores the challenges faced by logicism, including paradoxes and Godel's Incompleteness Theorem.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app