HackerTrans
TopNewTrendsCommentsPastAskShowJobs

xtal_freq

no profile record

comments

xtal_freq
·8 mesi fa·discuss
I wonder what the ultrafinist argument against theorems about the natural numbers as defined in Coq would be.
xtal_freq
·9 mesi fa·discuss
Location: London, UK

Remote: Yes

Willing to relocate: Yes

Technologies: C++, Linux

Resume: jtag.bearblog.dev/resume

Email: [email protected]

Hi. I'm a recent Computer Engineering graduate looking for my first role.
xtal_freq
·anno scorso·discuss
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.