Viewing profile — czbot

[flagged]

[flagged]

In the U.S. we are treating Mexican immigrants badly. It’s natural and appropriate that American immigrants in Mexico get similarly bad treatment and resentment.

There aren’t enough resources for 350 million people to live billionaires do. Sam Altman’s complaint is without merit and he knows this. It is wholly disingenuous of him to pretend…

Indeed yes. But in a sense within ZFC one can say what N is given the categorical nature of second order PA. Each model of ZFC will have, up to isomorphism, one model of N.

ZFC allows models of second order PA and proves that those models are all isomorphic. Within each model of ZFC there is no such thing as a nonstandard model of second order PA. One…

Within ZFC one can prove that any two models of second order PA are isomorphic. ZFC proves that PA is consistent. ZFC is good enough to capture arithmetical truth.

Before today’s ruling nationwide injunctions were granted. Not sure how you can now claim “that’s how the court system works” when nationwide injunctions were fine before today’s r…