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.
You voted for theater and for cruelty against the least fortunate. If they really wanted to bring jobs back, they would aggressively go after the businesses that hire illegal workers.
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 otherwise.
Literally the entire value of being a billionaire is having things other people don't. If you were content to, like, just have a life where all you needs are met, you could stop well short of a billion.
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.
Unfortunately no, ZFC isn't good enough to capture arithmetical truth. The problem is that there are nonstandard models of ZFC where every single model of second-order PA within is itself nonstandard. There are even models of ZFC where a certain specific computer program, known as the "universal algorithm" [1], solves the halting problem for all standard Turing machines.
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 can only think it is nonstandard by looking from outside the model, no? What theorem of second order PA is ZFC unable to prove?
This is similar to how there are countable models of ZFC but those models think of themselves as uncountable. They are countable externally and not internally.
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.
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 ruling.
A President can now issue blatantly unconstitutional executive orders and the burden for obtaining relief will rest on each individual person (or small class of people). Prior to today rules/laws that caused harm could be temporarily prevented from being enforced while the matter is litigated. Now parties that will be harmed are much more likely to be harmed before the matter is resolved. This is a sad state of affairs.
If the next President issues an order confiscating guns from people the champions of today’s ruling will want nationwide relief while the matter is litigated.
If someone is going to be deported they can file a case and stop the deportation.
