Comment by dboreham
2 years ago
Yes. Although my take on this is that it's about VM design, or the ISA for a VM upon which mathematics runs.
2 years ago
Yes. Although my take on this is that it's about VM design, or the ISA for a VM upon which mathematics runs.
Modern mathematics deals with ISA design from the perspective of application:
A CPU, an FPGA, and an GPU are all Turing complete substrates, yet they’re useful for wildly different things.
Category theory, type theory, and set theory all can embed arbitrary mathematics — but the encodings you get lend themselves to different applications.
Eg, category theory is very useful at abstracting structures to check if they’re “the same”.