"pl. a szoftverek tulajdonképpen tekinthetők absztrakt matematikai entitásoknak is, elméleti konstrukcióknak."
Ezt kifejtenéd?
Nem minden szoftver alapul matematikai konstrukciókon.
Pl. egy fordítóprogram, egy rajzolóprogram, egy számlázó, stb.stb.
Mire gondolsz?