4 ms·
Verbal skills are apparently more predictive of programming career success than math scores. Is Quantum Logic the correct propositional logic? Is Quantum Logic
by westurner 3y ago
Verbal skills are apparently more predictive of programming career success than math scores.
Is Quantum Logic the correct propositional logic?
Is Quantum Logic a sufficient logic for all things?
I'd much rather work with machine-checkable proofs; though Lean is not what I've been taught math in either.
Coq-HoTT is written in Coq, not Lean.
A tool that finds the correspondence between proofs as presented and checkable proofs in a reasonable syntax would be helpful, I think.
If I start with
"Why is 2+2=4?" [in this finite ring], I'm not sure how to find the relevant Lean code in Mathlib to prove my bias inductively, deductively, or abductively
- 3abiton 3y ago> Verbal skills are apparently more predictive of programming career success than math scores. Curious about the references!
- photonthug 3y agoI've heard this and always thought it was probably true even setting aside the soft skills part of the job, but that was before data engineering and data scientists were common titles. If it ever was true, the situation is probably more nuanced now than it used to be
- westurner 3y agoI guess it means they're not testing on logic in the math exam, or are verbal scores predictive of coding but not logic scores; maybe it's more of a G factor.
- isaacfrond 3y ago> Verbal skills are apparently more predictive of programming career success than math scores. This is an urban legend inspired by this article [1]. One problem with this research though is that it studies language learning. Not how good a programmer one becomes, and certainly not career success. [1]: Relating Natural Language Aptitude to Individual Differences in Learning Programming Languages. https://www.nature.com/articles/s41598-020-60661-8 https://www.nature.com/articles/s41598-020-60661-8