AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
3min snip
Joel David Hamkins: Philosophy of Mathematics and Truth
Paradigm
Mathematical Statements, Extrinsic Support, and Independence
In mathematics, there are statements that we can't determine if they are true or not. However, we can rely on extrinsic support to guide our decision. This is similar to relying on intuition for intuitive concepts. We often encounter this dilemma in strong theories, where mathematical principles express clear ideas but their truth is unknown. In such cases, we turn to extrinsic support to help us make a judgment. This regrettable fact leads us to search for alternative methods to decide on these statements. Extrinsic support involves proving a statement is independent by demonstrating models in which the statement is true or false, while other statements remain true. This is seen in examples like Euclidean and non-Euclidean geometries, where the parallel postulate is either true or false. The same applies to set theory, where the continuum hypothesis can be true or false in different models. These independence results are common, and for many of these statements, we are left unsure of their truth. Therefore, we must grapple with questions of whether to accept them or their negation, using philosophical justifications rather than proofs.
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode