Intuitionistic mathematics for physics | Dark Hacker News