« first day (2571 days earlier)      last day (824 days later) » 

6:44 AM
1
Q: Does ZF(C) prove countable reflection?

Zuhair Al-JoharIs the following a theorem of $\sf ZF(C)$? Countable reflection: If $\phi$ is a formula in which $W$ is not free, then: $(\phi \to \exists W: |W|= \omega \land \operatorname {Transitive}(W) \land \phi^W)$ Where $\phi^W$ is the formula obtained by merely bounding all quantifiers in $\phi$ by $ \in...

 
7:02 AM
3
Q: Unlinked interlocking planar polygons

Joseph O'RourkeLet $P$ and $Q$ be the boundary segments of two planar simple polygons. View these boundaries as rigid wires. Fix $Q$ in, say, the $xy$-plane, and imagine $P$ arranged in $\mathbb{R}^3$ so that $P$ and $Q$ are disjoint and not topologically linked. Say that $P$ and $Q$ are interlocked if it is im...

 
 
5 hours later…
11:44 AM
3
Q: Are there infinitely many primes ⌊ex⌋ with x a positive integer?

YinpoConstruct a function $f(x)=\lfloor e x\rfloor$. For each positive integer $x$, $f(x)$ will be a positive integer. Among these integers $f(x)$, are there an infinite number of primes?

 
0
Q: Is it safe to concatenate paths in a uWSGI python script?

O.W.GrantI've an Nginx server, which proxies .ini file requests to a uwsgi: location ~ .ini$ { include /etc/nginx/uwsgi_params; uwsgi_pass 127.0.0.1:8001; } uwsgi proxies requests to a python script myscript.py: uwsgi --plugin /usr/lib/uwsgi/plugins/python3_plugin.so --socket 12...

 

« first day (2571 days earlier)      last day (824 days later) »