« first day (2519 days earlier)      last day (876 days later) » 

2:34 AM
4
Q: Proving unboundedness of the natural numbers via the Axiom of Completeness

independentvariableIn the book "Understanding Analysis, second edition" by Stephen Abbot, the unboundedness of the set of natural number $\mathbb{N}$ is proven as the following proof: Assume, for contradiction, that $\mathbb{N}$ is bounded above. By the Axiom of Completeness (AoC), $\mathbb{N}$ should then have a ...

 
2:51 AM
0
Q: UIAutomator2 and Android Studio emulator issues on M1 Mac

maxoI'm having trouble starting the AtxAgent of UIAutomator2: Trying to start the atx server from command line: adb shell /data/local/tmp/atx-agent server --nouia --addr :7912 Gives: /system/bin/sh: /data/local/tmp/atx-agent: not executable: 32-bit ELF file I'm running this from Android Studio on ...

 
 
1 hour later…
4:21 AM
2
Q: Is the injective envelope functorial?

AndromedaLet $A$ and $B$ be unital $C^*$-algebras, so we can view these as operator systems, and it makes sense to consider their injective envelopes $I(A)$ and $I(B)$. These injective envelopes become $C^*$-algebras for the Choi-Effros product. Given a unital $*$-morphism $f: A \to B$, is it true that th...

 
 
10 hours later…
2:21 PM
8
Q: Any difference between String.getOrElse() and String.elementAtOrElse()?

Markus WeningerAs the title states: Is there any difference between String.getOrElse() and String.elementAtOrElse()? From a functional point of view they seem completely identical, maybe some performance difference? Same question accounts to String.getOrNull() and String.elementAtOrNull().

 
 
6 hours later…
7:51 PM
2
Q: How quasirandom are the nonabelian finite simple groups?

Dustin G. MixonA group is $d$-quasirandom if every nontrivial complex representation has dimension at least $d$. Gowers introduced quasirandomness in this paper and proved that every nonabelian finite simple group of order $n$ is $\sqrt{\log n}/2$-quasirandom. Question: What is the correct (asymptotic) lower bo...

 

« first day (2519 days earlier)      last day (876 days later) »