Text this: Os matemáticos Martim Machado e Garção Stockler: Uma breve biografia e a recepção ao plano de Condorcet para ensino de matemática