Este artigo tem a intenção de apresentar a hipótese dos experimentos mentais e suas caracterizações, com a pretensão de justificar ainda mais o interesse em atividades de investigação matemática, por meio dos experimentos mentais, e das bases semióticas da matemática. Parte desse trabalho foi resultado de uma pesquisa teórica desenvolvida no âmbito do programa de doutorado em Educação Matemática, pela Universidade Anhanguera de São Paulo, e teve como objetivo construir e analisar as características dos experimentos mentais na matemática e suas consequências no âmbito da Educação Matemática. Buscou-se também uma analogia entre os experimentos mentais e as provas matemáticas formais. Experimentos mentais são formas que o sujeito tem de colocar seus próprios pensamentos, dentro de um contexto previamente considerado, como objetos de considerações numa dada atividade e/ou problema, por meio de representações. Esses pensamentos são considerados abdutivos, ou seja, implicam generalizações na Matemática e exige uma teoria de experimentação e de análise. Buscar-se-á nesse texto esclarecer, com a construção de um cálculo de segmentos, quais aspectos se julgam importantes na dinâmica de considerar os experimentos mentais na construção do pensamento matemático, sem desconsiderar a importância de provas matemáticas formais.Palavras-chave: Experimentos Mentais. Semiótica. Intuição. Pensamento Abdutivo.AbstractThis text intends to present the theory of thought experiments and their characterizations, with the aim of further justifying the interest in mathematical research activities, by means of thought experiments, and the semiotic bases of mathematics. Part of this work was the result of a theoretical research developed within the PhD Program in Mathematical Education, by the Anhanguera University of São Paulo, and had the objective of constructing and analyzing the characteristics of thought experiments in mathematics and its consequences in Mathematical Education. An analogy was also sought between mental experiments and formal mathematical proofs. Thought experiments are forms that the subject has to put his own thinking, within a previously considered context, as objects of considerations in a given activity and / or problem, by means of representations. These thinking are considered abductive, that is, they imply generalizations in Mathematics and require a theory of experimentation and analysis. It will be sought in this text to clarify, with the construction of a segment calculus, which aspects are considered important in the dynamics of considering the thought experiments in the construction of mathematical thinking, without disregard the importance of formal mathematical proofs.Keywords: Thought Experiments. Semiotics. Intuition. Thinking Abductive.