Bartosz Milewski on Nostr: This is even more obvious in constructive mathematics, where things are constructed ...

This is even more obvious in constructive mathematics, where things are constructed rather than discovered. The ideas that are effective are kept alive by natural selection. Wigner was wrong-- the effectiveness of mathematics is very reasonable.