@andrejbauer @dimpase Having a formal structured way of introducing different systems of computation, either physical systems with sensors, or other digital systems like a computer algebra system, is the way to go in my opinion. My inspiration is @MartinEscardo 's way of structuring typetopology.
It is how mathematicians do things, by making assumptions and looking at what happens.
=> More informations about this toot | View the thread | More toots from apostolis@social.coop
=> View andrejbauer@mathstodon.xyz profile | View dimpase@mathstodon.xyz profile | View MartinEscardo@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).