gusl: (Default)
I love this reply to Mancosu, by Thomas Forster:

<< Well, here's a position that has at least the beneifit of clarity and brevity:

No explanations without counterfactuals
No counterfactuals without contingency
All of Mathematics is necessary
------------------------------
No explanations in mathematics!


I'm not saying i believe it, but finding the right place to pick holes
might be a useful discipline. >>

I would say that mathematics has "doxastic counterfactuals" (because, thanks to the nonobviousness of math, we can imagine theorems being false), but that they are different for each person (maybe you can imagine the Pythagorean theorem being false while somebody else cannot). Garber has written something on logical counterfactuals. Gaifman has written on assigning subjective probabilities to logical statements.

I don't understand why they don't turn to cognitive science. The only person I know in this area of "mathematical explanation" is Jeremy Avigad, and he's not at all interested in approaching this from cognitive science. I don't get it.
gusl: (Default)
Edmund Furse's "Maths is Scruffy but Computable" is interesting, but not very rigorous

Some keywords:
* mathematics understanding
* experience-based learning
* learning heuristics


Here is his Why did AM run out of steam?

February 2020

S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526272829

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags