« first day (3369 days earlier)      last day (40 days later) » 

5:31 AM
13
Q: Packing an upwards equilateral triangle efficiently by downwards equilateral triangles

Terry TaoConsider the problem of packing an upwards-pointing unit equilateral triangle "efficiently" by downwards-pointing equilateral triangles, where "efficiently" means that there is little wasted area relative to the perimeter of the triangles used in the packing. The $n^{th}$ generation of the Sier...

 
 
11 hours later…
4:43 PM
1
Q: Would strengthening Foundation and Choice in NBG, make it equi-consistent with MK?

Zuhair Al-JoharThis is a follow up to an earlier question about strengthening of foundation in relation to proving the consistency of ZFC. It was shown that it would achieve that, but it may fail short of MK. Here, the question is about whether additional strengthening of choice can achieve that goal? If we r...

 
 
4 hours later…
8:55 PM
3
Q: Converging paths implies converging parallel transports along those paths?

user815293Suppose we have a vector bundle $E$ with connection $\nabla$ over a smooth manifold $M$. Let’s also say we have a sequence of smooth paths $\gamma_n\in C^\infty([0,1],M)$ starting at the same point $\gamma_n(0)=x$ and converging (in, say, the $C^1$ compact-open topology) to a smooth path $\gamma\...

 
9:08 PM
hi! ... bye!
 

« first day (3369 days earlier)      last day (40 days later) »