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 Engineering graduate looking for my first role.

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 things “about humans”, or at least things that our words denote, that are outside physic’s explanatory scope. For example, the experience of the colour red cannot be known, as an experience, by a person who only sees black and white. This is the case no matter what empirical propositions, or explanatory system, they understand.

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?