Nice summary! And I completely agree, mathematics provide a toolbox for reasoning. A proof about a model is the cheapest way of obtaining knowledge
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments