News for hackers. Stuff that matters.

A comment on Platonism in the Philosophy of Mathematics (2018). Parent comment

Re:Platonism in the Philosophy of Mathematics (2018) by mindless_solips on Thursday October 21, 2021 @10:17AM (#28944769)
What?!? 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.

[ Parent | on HN ]
Re:Platonism in the Philosophy of Mathematics (2018) by GoblinSlayer on Thursday October 21, 2021 @11:20AM (#28945707)
That'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.
[ Parent | on HN ]