It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.1K
- Applied Category Theory Course 299
- Applied Category Theory Exercises 138
- Applied Category Theory Discussion Groups 41
- Applied Category Theory Formula Examples 15
- Chat 465
- Azimuth Code Project 107
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707
- - Latest Changes 699
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 38

Options

in Chat

A bit of my background, studied Physics as an undergrad, with a lot of computational modeling and simulation. I questioned of redundancy in the computational physics workflow (prototyping in a dynamic language and then doing a performance implementation), and that lead to investigating other programming languages. At some point I discovered Haskell, started looking under the hood, and then learned more about Types and Programming Languages, starting with taking a class in Software Foundations. That lead to investigating formal logic, and trying to reconcile the the parallels between types, logic, and physics lead me to category theory.

At the same time, I've been paying attention to the world around me: social, political, ecological and economic systems, and would be looking to try my hand at applying math to these problems (possibly via dynamical systems theory and related ideas) in the hopes of finding new sustainable solutions. This has also lead to studying the history of economic thought. As a software developer, I'm also investigating how dependently-typed programming can also help. As of now, I'm independently studying all this, so I'm very open to collaboration.

## Comments

Welcome to the forums Brian.

You said you are interested in dependently-typed programming. What languages are you looking at?

I am also a fan of the history of economic thought (and intellectual history in general). Anything in particular that are you are reading?

`Welcome to the forums Brian. You said you are interested in dependently-typed programming. What languages are you looking at? I am also a fan of the history of economic thought (and intellectual history in general). Anything in particular that are you are reading?`

For dependently-typed programming, I've been tinkering with Idris recently as it's the friendliest language, was thinking of writing a parser for to turn Quantities into something like Qalculate. I intend to look more into ATS as it's seemingly feature-packed. In the past, I've used Coq for the Software Foundations class, and also given Agda a spin.

As for economics, I've been looking into the work of Von Neumann, Nash, Arrow and Debreau, and their methodology of using fixed-point theorems (Lawvere shows how they are non-constructive in

Conceptual Mathematics), as well as the resultant divides it created (such as the spat between Solow and Robinson within Keynesian economics). I've done a little looking into the broader history of how money has been used over time (Debt: The First 5000 yearshas much on this), how Fibonacci introduced double-entry bookkeeping and Hindu-Arabic decimal notation to the Florentines, enabling the Medicis to create the first international banks, through to Keynes and the failures of the Bretton-Woods system in the 20th century (bothThe General Theory of Interest, Employment, and MoneyandModern Political Economics). Also have started looking into David Ellerman's work now, such as his work on property theory at the suggestion of Keith.`For dependently-typed programming, I've been tinkering with [Idris](https://www.idris-lang.org/) recently as it's the friendliest language, was thinking of writing a parser for to turn [Quantities](https://github.com/timjb/quantities) into something like [Qalculate](http://qalculate.github.io/). I intend to look more into [ATS](http://www.ats-lang.org/) as it's seemingly feature-packed. In the past, I've used Coq for the Software Foundations class, and also given Agda a spin. As for economics, I've been looking into the work of Von Neumann, Nash, Arrow and Debreau, and their methodology of using fixed-point theorems (Lawvere shows how they are non-constructive in *Conceptual Mathematics*), as well as the resultant divides it created (such as the spat between Solow and Robinson within Keynesian economics). I've done a little looking into the broader history of how money has been used over time (*Debt: The First 5000 years* has much on this), how Fibonacci introduced double-entry bookkeeping and Hindu-Arabic decimal notation to the Florentines, enabling the Medicis to create the first international banks, through to Keynes and the failures of the Bretton-Woods system in the 20th century (both *The General Theory of Interest, Employment, and Money* and *Modern Political Economics*). Also have started looking into David Ellerman's work now, such as his work on property theory at the suggestion of Keith.`

Simon Wren-Lewis deals with real political economy in his wonderful macroeconomics blog. His work developing a UK Treasury DSGE model with a consistent core and "empirical" completions is fascinating.

`Simon Wren-Lewis deals with real political economy in his wonderful macroeconomics [blog](https://mainlymacro.blogspot.com/). His work developing a UK Treasury DSGE model with a consistent core and "empirical" completions is fascinating.`