Startling serendipity: I began a literature search on the ethnomethodology of formal rationality yesterday, and one of the first things to turn up was a video analysis of someone delivering the Dutch Book Argument!
qualitative-research.net/index.php/fqs/
Conversation
I was tweeting about the Dutch Book Argument only a week ago, with a quote from the draft of the first division of the Eggplant book, which is about rationality in its own terms. (The ethnomethodology part is the second division.)
Quote Tweet
Roving gangs of Bayesian thugs
plato.stanford.edu/entries/dutch-
Show this thread
1
1
4
Serious mathematical proofs are often experienced in the body. In discovery, you feel around for a proof kinesthetically. You may also act out the math with gestures and grimaces and whole-body attitudes.
The professor here acts out the Dutch Book.
qualitative-research.net/index.php/fqs/
7
17
45
Nobody teaches you how to do math with your body. Apart from the theoretical interest of this study (by ), could it lead to better mathematical pedagogy? Could that lead to better mathematical practice? Might the insights extend to computer science?
8
4
14
I think this is the backstory of why Brouwer’s intuitionism is called that though it is actually more constrained and formal than regular math. He had a sort of kinesthetic idea of proof preceding formal verification proof
That seems to fit the little I’ve read about his stuff!

