તે ગણિતશાસ્ત્ર, કોમ્પ્યુટર સાયન્સ અને ફિલસૂફી માટે ખાસ કરીને નજીકના સંબંધો છે.