Foundations

On this page we collect some general ideas about mathematics which are the basis for design decisions in the \(\small\mathbb M\)ATh project.

  • Mathematics – attempt at a definition
  • The role of recipes in mathematics