The Philosophy of Mathematics Education
Formal logic since Tarski (1936). This notion has been extended to the treatment of formal scientific theories by Sneed (1971) , who adds the class of intended interpretations to the formal structure of the theory, Thus the separation of the expressions of mathematics into isolated and discrete parts denies them much of their significance and all of their semantic meaning . Such expressions consequently have. Little claim to be regarded as the ‘molecular’ components of mathematical knowledge.