4 ms·
This is one of my favorite questions in the philosophy of mathematics. A related question for me is the ontology of objects we associate with Software -- algori
by lordleft 5y ago
This is one of my favorite questions in the philosophy of mathematics. A related question for me is the ontology of objects we associate with Software -- algorithms, data structures, etc.
- GoblinSlayer 5y agoSoftware is a level of abstraction, but I never saw an evidence that philosophy knows the concept of level of abstraction.
- mindless_solips 5y agoWhat?!? Russell literally developed Type Theory. Even discussion of Platonic Forms ultimately goes from "lesser" abstractions like the Ideal Form of a Bed to "greater" abstractions like Beauty, Justice, Good. Please, read more philosophy. Clearer, more informed thinking might lead to better software.
- GoblinSlayer 5y agoThat's emotional level, not structural. When software supervenes on data and code, data and code supervenes on bytes, bytes supervene on bits, bits supervene on transistors, transistors supervene on electrons, electrons supervene on the field.