[HN Gopher] David Hilbert's 1930 Radio Address [video]
       ___________________________________________________________________
        
       David Hilbert's 1930 Radio Address [video]
        
       Author : gone35
       Score  : 23 points
       Date   : 2024-06-01 03:41 UTC (19 hours ago)
        
 (HTM) web link (www.youtube.com)
 (TXT) w3m dump (www.youtube.com)
        
       | hackandthink wrote:
       | Hilbert's optimism (we will know) was not a given in the 1930s.
       | What can we make of this almost 100 years later?
       | 
       | On the one hand, mathematics and science are incredibly
       | successful.
       | 
       | On the other hand, we have Godel's and Tarski's theorems and
       | still no convincing Theory of Everything (quantum gravity, string
       | theory).
        
         | Frummy wrote:
         | It's probably a cultural expression not just individual,
         | Gottingen carried the development of mathematics for a while
         | and then got butchered due to the political events. ToE or not,
         | the same type of optimism will make itself known during periods
         | of strong mathematical culture and high rates of progress. "Wir
         | mussen wissen. Wir werden wissen" is a religious dream,
         | mathematics will probably not be the primary arena for facing
         | God for some time, the influences of Bourbaki took over and
         | made math more like accounting than intuitional dreaming. I
         | would have hoped to say that the AI age brings math back to
         | intuitionism for wilder developments but it doesn't look to be
         | remotely within current capabilities to handle the more
         | bureaucratic formal processes within modern math.
        
       ___________________________________________________________________
       (page generated 2024-06-01 23:01 UTC)