Hope to finish it today… Though I won’t talk about philosophy of mathematics in this sub-series, I’m just going to reduce the ontological confusion about preference and laws of physics to a (still somewhat philosophical, but taking place in a comfortably formal setting) question of static analysis of computer programs.
Hope to finish it today… Though I won’t talk about philosophy of mathematics in this sub-series, I’m just going to reduce the ontological confusion about preference and laws of physics to a (still somewhat philosophical, but taking place in a comfortably formal setting) question of static analysis of computer programs.
Great to hear. Looking forward to reading it.