Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics

In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemma was instrumental in proving that under reasonable conditions, every topological space can be metrized. A few years before that, in 1919, a complex mathematical theory was experimentally proven to be extremely useful in the description of real world phenomena: namely, during a solar eclipse, General Relativity theory

• Type: Conference
• Year: 2010
• Where: BIRTHDAY
• Authors: Vladik Kreinovich
• Keywords: Applied Computing, BIRTHDAY 2010, Famous Lemma, Topological Spaces, Urysohn's Lemma