Steinn Sigurðsson
21.3K posts

Steinn Sigurðsson
@steinly0
Astro Physicist. Scientific Director @arXiv Planets, Stars, Black Holes & Stuff. Whole Universes, If Needed. Dynamics of Cats; To Say Nothing of The Dog.

This is an interest artifact of which subfields of physics market themselves well to the public. Many other types of physicists build/use their own tabletop experiments.




Neo-Pagans have sometimes forgotten, when they set out to do everything that the old pagans did, that the final thing the old pagans did was to get christened.

Once again, are we assuming a contemporary scientist is *not* confused? Science is always incomplete, no? Or do we live in an age of exceptional enlightenment?





@arxiv go wild... $1 for every arXiv tab you have open!





Navier-Stokes fluid flows are Turing complete. Trajectory prediction and periodicity detection are both undecidable. We formalized the full proof chain from @evamirandag's computational dynamics program in Lean 4: cosymplectic geometry produces a harmonic Reeb field, the Etnyre-Ghrist correspondence identifies it with a rotational Beltrami field, harmonic viscosity invariance extends Euler solutions to stationary NS solutions, and a many-one reduction from the halting problem seals it. This is the second pillar - joining the billiard Turing completeness we formalized earlier. 210 theorems. 163 modules. 0 sorry. Hostile audit clean. Systems engineers formalizing a Bessel Prize winner's work. If something's wrong, prove it. apoth3osis.io/paper-proof-co…





@arxiv go wild... $1 for every arXiv tab you have open!


