Skip to main content
MathOverflow
eulerfx's user avatar
eulerfx's user avatar
eulerfx's user avatar
eulerfx
  • Member for 5 years, 9 months
  • Last seen more than a week ago
Profile Activity

3 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Supporter
comment
Connection between Provability Logic (GL) and geometry?
Maybe related, Maurice Herlihy uses Sperner's Lemma, along with other topological tools, to prove impossibility of distributed consensus in The Topological Structure of Asynchronous Computability.
awarded
 Autobiographer