Earlier quoted context omitted.
It’s basically a new foundation for math based on types rather than sets.
What is the basic difference between types and sets? From the software engineering point of view a type is something of which you can say whether something is a member of the type. And the same thing can be set about sets.
US Army applying new areas of math
121–130 of 154 posts
Re: US Army applying new areas of math
#122Earlier quoted context omitted.
> if the USA is not there, then other nations are very happy to use their might to boss others around. This is kind of the same logic that often makes me wish for an extraterrestrial invasion. An alien species has a much higher chance of treating us all equally, than we do ourselves.
Funny. I wrote a blog post sometime back claiming that an external real or perceived threat is a unifying factor for societies and nations. So if we want to unite the earth, we need an extra terrestrial threat. It could be asteroid or alien invasion. Now these are less probable, hence we should set up Martian colonies and then just allow the earthlings to do their thing. They will eventually treat Mars humans as a th…
Sounds eerily similar to concepts in the Sci Fi novel https://en.wikipedia.org/wiki/The_Three-Body_Problem_(novel)
Re: US Army applying new areas of math
#123Earlier quoted context omitted.
> if the USA is not there, then other nations are very happy to use their might to boss others around. This is kind of the same logic that often makes me wish for an extraterrestrial invasion. An alien species has a much higher chance of treating us all equally, than we do ourselves.
Funny. I wrote a blog post sometime back claiming that an external real or perceived threat is a unifying factor for societies and nations. So if we want to unite the earth, we need an extra terrestrial threat. It could be asteroid or alien invasion. Now these are less probable, hence we should set up Martian colonies and then just allow the earthlings to do their thing. They will eventually treat Mars humans as a th…
Simply having an "exit" from the complications on Earth, the possibility of relocating to Mars and starting from scratch, would give a lot of people hope, something to look forward to.
It could also end up being an exclusive resort for the elite of our society to escape to, so they may no longer have to pretend to care about Earth at all.
Re: US Army applying new areas of math
#124Earlier quoted context omitted.
Yeah, traditional sources suck, in America; universities should be way more tightly controlled, in a decent society taking 56% of grant money should put some people in jail. In the year 2019 working for the US military should feel embarrassing, after the Iraq fiasco, support to journalist-killer Saudi crown prince; support to genociders that use child soldiers such as Idriss Déby (Chad), plus many other mistakes make…
There is danger in inaction. Note that US soil isn't often annexed. This damned thread has triggered all my pent up jingoism. "America makes prodigious mistakes, America has colossal faults, but one thing cannot be denied: America is always on the move. She may be going to Hell, of course, but at least she isn't standing still. " -- e.e. cummings If you take orders for a living, your job is to be on the move. Not to…
Everybody who is not self employed takes orders for a living.
Re: US Army applying new areas of math
#125Earlier quoted context omitted.
As someone who also is a military researcher, I may be able to help. I have worked on things that if the USA went to war, I know that I have directly contributed to that war. I truly hate that my research will contribute to killing. I wish that it wasn't necessary. But as events like Crimea annexation and the South China Sea shows, if the USA is not there, then other nations are very happy to use their might to boss…
I agree with you, but it's not so black and white. The atomic bomb is a notable example, and consider Eisenhower and many other military leaders said "there was no reason to use that awful thing." I realize my high school education, and most othet's, led me to believe this wasn't the case. I'm not trying to say it's wrong, but it deserves a lot of skepticism.
Reading a biography of Oppenheimer explores much of this. One thing is clear, the bomb was used on an essentially defeated enemy. From another angle though, it was necessary to push back Stalin and could be considered not as the last blow of WWII but the first blow in the cold war.
It is difficult to question the possible outcomes if different choices were made but you can be sure that the last 80 years could have been much different and much worse. The bomb did make certain kinds of war impossible, and it is not clear if that would be true if they had not been used when they were.
Re: US Army applying new areas of math
#126Earlier quoted context omitted.
> if the USA is not there, then other nations are very happy to use their might to boss others around. This is kind of the same logic that often makes me wish for an extraterrestrial invasion. An alien species has a much higher chance of treating us all equally, than we do ourselves.
Funny. I wrote a blog post sometime back claiming that an external real or perceived threat is a unifying factor for societies and nations. So if we want to unite the earth, we need an extra terrestrial threat. It could be asteroid or alien invasion. Now these are less probable, hence we should set up Martian colonies and then just allow the earthlings to do their thing. They will eventually treat Mars humans as a th…
> This is our only option to unify the earth
Why do we think that a unified earth will be a good thing? It seems too utopian to me...
Re: US Army applying new areas of math
#127Earlier quoted context omitted.
> I just am embarrassed when I tell people I work for the military because they think I make bombs or something. Personally, I don't understand this, but I'm from an ex-Eastern Bloc country which I was all too happy to escape. I'd rather the US (and the rest of the Western world) made bombs than only Russia and China did. Vacuums of power in the world will always be filled and a Western invasion/expeditionary force i…
You're talking to an audience that didn't see WWII, and mostly didn't see the Cold War. The ugly truth is that there are plenty of bad guys or people who would be bad guys (some of them in the U.S. admittedly), and a lot of them won't stop without force or threat of force. I know this isn't a universal opinion but I believe that smarter military technology has a better chance of ending/stopping/preventing war than st…
Good vs. bad does not usually fit the narrative in war. WWI and earlier major wars are hard to figure who was the "bad guy". Many of them lack any clear moral authority and fit more as teams competing for resources.
Re: US Army applying new areas of math
#128Earlier quoted context omitted.
Funny. I wrote a blog post sometime back claiming that an external real or perceived threat is a unifying factor for societies and nations. So if we want to unite the earth, we need an extra terrestrial threat. It could be asteroid or alien invasion. Now these are less probable, hence we should set up Martian colonies and then just allow the earthlings to do their thing. They will eventually treat Mars humans as a th…
> This is our only option to unify the earth Why do we think that a unified earth will be a good thing? It seems too utopian to me...
Unified as in: Nobody trying to harm each other, or other species, or prevent them from doing their thing.
Why would anybody think that's not a good thing?
Re: US Army applying new areas of math
#129Earlier quoted context omitted.
> This is our only option to unify the earth Why do we think that a unified earth will be a good thing? It seems too utopian to me...
Unified as in: Nobody trying to harm each other, or other species, or prevent them from doing their thing. Why would anybody think that's not a good thing?
> Why would anybody think that's not a good thing?
It sounds boring...