મેથેમેટિકલ તાત્વિક અન્વેષણ અને સમય સિસ્ટમો ઉત્ક્રાંતિ વર્ણવવા માટે કરવામાં આવી હતી.