|
|
|
|
|
|
by cultofmetatron
475 days ago
|
|
|
> I don’t understand why we can’t have more proof heavy math in high school. proof based math requires critical thinking and its a lot harder to scale the teaching of critical thinking. We dont' pay enough for teachers of quality to be able to do this at the public school level. Its also much harder to test for in standardized tests. |
|
|
You could test it using interactive proof verifiers. This would also make it a lot easier to teach, since proof verifiers can handle even very complex mathematical proof via the repeated application of a mere handful of rules. (The rules are also surprisingly similar to the familiar "plug and chug" workflow of school-level math, only with different underlying objects - lemmas and theorems as opposed to variables and expressions.)