Studi indik penalaran mekanis utawi "formal" kakawitin antuk para filsuf miwah matematikawan ring zaman kuna.