Chapter
Clips
The notion that mathematics could be constructed as a completely rigorous and certain system was challenged by logicians in the late 19th and early 20th centuries.
14:14 - 17:47 (03:32)
Summary
The notion that mathematics could be constructed as a completely rigorous and certain system was challenged by logicians in the late 19th and early 20th centuries. Despite notable progress with Hilbert's system of geometry, the quest for absolute certainty in mathematics remains elusive.
ChapterThe Intersection of Mathematics and Language
Episode#192 – Charles Hoskinson: Cardano
PodcastLex Fridman Podcast
The development of natural spoken languages like Lojban and applications of logic and mathematics could potentially create a bridge between the natural language world of humans and the formal world of computers, making communication between the two more efficient.
17:47 - 19:55 (02:07)
Summary
The development of natural spoken languages like Lojban and applications of logic and mathematics could potentially create a bridge between the natural language world of humans and the formal world of computers, making communication between the two more efficient.