Software developer, Java, Haskell, C++, category theory, logic, abstract algebra.
All opinions are personal. I don't represent any organization in tweets.
@RobbyArtStudio@pickover If you take every third digit , maybe that subsequence contains pi at some location? An infinite sequence of digits can contain many infinite sequences as subsequence. Of course knowing how to choose a subsequence that actually contains pi may be difficult.
A coherent wave passes through two finite slits and the downstream field is rebuilt by a Huygens sum.
The filaments trace the probability current j = Im(ψ*∇ψ). The interference bands on detector grow from individual impacts sampled from |ψ|².
@Abelaer Maybe should just call a theorem linearly representable if it can be expressed as a limit of a functor from any category to the category of vector spaces and linear maps?
@tanujDE3180 The internet is not completely down if localhost is still running. Beware though that if you shut down localhost, your access to the internet can be limited. 🙃😃
@scorpio8675309@PhysInHistory No it doesn't quite assume photons exist. In 3+1 dimensional spacetime, it would be valid to have a non-local interaction between a point of emission and the corresponding point of absorbtion. Of course that breaks another commonly held assumption (locality).
@theepicmap That explains why the history of the king of France is a philosophical problem.
The King of France | The n-Category Café https://t.co/zaGEBWvmkL