isomorphisms: I hope that one day people will figure out the “perfect formula” for a constitution (balanced incentives / structure).
gsx002: I doubt it. Formulas belong to the math and logic realm.
isomorphisms: There is some logic to human interactions.
gsx002: That’s using the word loosely. 🙂
isomorphisms: The promise of using maths to describe people is what got me interested in economics. I also do mathpsych.
isomorphisms: This is why I have high hopes for Acemoglu stuff. Also spatial voting theory, game theory, applications to constitutional design.
gsx002: I so have to follow these things more…I used to once upon a time.
gsx002: It’s always fascinated me, but I still haven’t met a really good Bayesian…and Newcomb’s paradox is still tricky for me.
isomorphisms: I’m not saying a currently existing model [like Bayesian rationality]. Just that in theory a correct mathematical model of human behaviour seems (to me) possible.
isomorphisms: Not saying it would be super specific either. The difficulty in convincing people to my point of view is that few people know how loose abstract mathematics is. Cobordisms, homology, homotopy, topology are all very loose. Results in category theory are also quite loose.
isomorphisms: You can construct huge equivalence classes of things. Then you don’t distinguish between very different things (famously, a coffee mug and a donut have the same topological equivalence class).
isomorphisms: Some abstract maths (like coalgebras) is actually criticised because “There are no calculations!”
gsx002: Hmm. . . i’d take the opposite bet . . . that there’s a proof that there isn’t or that there can’t be such a model #Gödel
isomorphisms: Gödel is offtopic. His result was about pure maths.
isomorphisms: Even Arrow’s Theorem has things fairly nailed down.
gsx002: Tarski then?
isomorphisms: Tarski also unrelated. Says ℝ is fuktup. I agree: especially for economics.
isomorphisms: I actually got Stan Wagon (a Tarski ball scholar) into a discussion on how ℝ is inappropriate for econ.
gsx002: ok, you forced me to bring out the big guns: sartre and camus! “we refuse to be modeled,” or something like that 🙂
isomorphisms: They didn’t know how loose abstract mathematics is either. =)
isomorphisms: Lacan thought there were applications of topology to psychoanalysis. Also there’s a postmodernist at Ball State who says topology may be an appropriate tool for cultural analysis.
gsx002: I was talking about Tarski’s Truth paradox.
isomorphisms: Oh. That’s a linguistic problem. We don’t have natural language logically figured out yet. However that’s not a problem for behavioural modelling.

Recent Posts
 Just for fun: map as ‘higherorder function’ in bash
 Senator Sanders’s Proposed Policies and Economic Growth by Christina Romer and David Romer
 An Open Letter from Past CEA Chairs to Senator Sanders and Professor Gerald Friedman
 FOMC: Conspiracists to the left of them, conspiracists to the right
 Pantheism and homotopy theory, Part 2
Archives
 March 2018
 March 2016
 February 2016
 January 2016
 October 2015
 September 2015
 August 2015
 July 2015
 June 2015
 May 2015
 March 2015
 February 2015
 November 2013
 September 2013
 July 2013
 June 2013
 April 2013
 March 2013
 January 2013
 November 2012
 October 2012
 July 2012
 June 2012
 May 2012
 April 2012
 March 2012
 February 2012
 January 2012
 December 2011
 November 2011
 October 2011
 September 2011
 August 2011
 July 2011
 June 2011
 May 2011
 April 2011
 March 2011
 February 2011
 January 2011
 December 2010
 November 2010
 October 2010
 September 2010
 August 2010
 July 2010
Categories
Meta
Advertisements