Viewing profile — xtal_freq

I wonder what the ultrafinist argument against theorems about the natural numbers as defined in Coq would be.

Location: London, UK Remote: Yes Willing to relocate: Yes Technologies: C++, Linux Resume: jtag.bearblog.dev/resume Email: jakob.koblinsky@gmail.com Hi. I'm a recent Computer Engin…

Not that this is your main point, but I find this take representative, “do you believe there's anything about humans that exists outside the mathematical laws of physics?”There are…

Huh I’m not too far familiar with vectors. How do we know that R dot (-p) > 0 always

How do you get a vector that's perpendicular to the line formed by p and S(-p) and in the direction of the origin?