Are there Mathematical Thought Experiments?

With reference to an already existing and relatively widespread use of the expression in question, “mathematical thought experiments” (“TEs”) involve mathematical reasoning in which visualisation plays a relatively more important role. But to ensure an unambiguous and consistent use of the term, certain conditions have to be met: 1) Contrary to what has happened so far in the literature, the distinction between logical-formal thinking and experimental-operational thinking must not be ignored; 2) The separation between the context of discovery and the context of justification is to be rejected, at least in one of the main senses in which it was defended by the logical empiricists and Popper (this excludes any position which, ascribing to mathematical TEs only a heuristic role, regards them an intermediate step to attain more traditional forms of rigour); 3) The distinction between mathematical TEs and formal proofs must be regarded as one of degree, and not as a qualitative one, although this distinction may be used in a de facto way for particular or local purposes