[HN Gopher] Monsky's Theorem
       ___________________________________________________________________
        
       Monsky's Theorem
        
       Author : hyperbrainer
       Score  : 11 points
       Date   : 2025-04-19 21:12 UTC (1 hours ago)
        
 (HTM) web link (mathmondays.com)
 (TXT) w3m dump (mathmondays.com)
        
       | prof-dr-ir wrote:
       | > no face of P, nor any face of one of the Ti, contains vertices
       | of all three colors
       | 
       | That should be 'edge', not 'face', no? Otherwise I do not
       | understand what is happening at all with the examples.
        
       | ogogmad wrote:
       | Haven't read the article. But something about this reminds me of
       | Arnold's topological proof of the unsolvability of the quintic
       | (YouTube form: https://www.youtube.com/watch?v=BSHv9Elk1MU ; PDF:
       | https://web.williams.edu/Mathematics/lg5/394/ArnoldQuintic.p...).
       | 
       | It seems a lot of impossibility theorems - the type that the
       | ancient Greeks would have understood - can be proven using
       | algebraic topology. Perhaps Sperner's lemma can be seen as an
       | algebraic topology theorem? I don't personally know.
        
       ___________________________________________________________________
       (page generated 2025-04-19 23:00 UTC)