### AxLam Example: Questions about Triangles

AxLam Example : Questions about Triangles Consider the ancient triangle: a connected shape with 3 vertices, 3 sides, and 3 angles. We will experiment with AxLam models for describing and computing with triangles individually and in groups, at several levels of mathematical rigor. On this road we touch briefly on some fundamental aspects of mathematics and information, while staying mentally grounded in the apparent simplicity of the Triangle shape. In a computer-assisted modeling paradigm, it is natural to proceed constructively. An intuitive way to start modeling triangles is using the lengths of the 3 sides of the triangle. In any programming or data language, we might quickly write down an ADT, record or class containing three numeric sides, looking something like: class TriangleSidesRecord (sideA : Number, sideB : Number, sideC : Number) This structure is sufficient to begin computing with Triangles. However, when we examine the semantics of this simple record structure, we q