Is it possible to describe Human Beings with Mathematics?

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 off-topic. 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.


About isomorphismes

Argonaut: someone engaged in a dangerous but potentially rewarding adventure.
This entry was posted in Uncategorized and tagged , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s