આને કેટલીકવાર "પ્રયોગશીલ વિજ્ઞાન" તરીકે પણ ઓળખવામાં આવે છે, જે "ઔપચારિક વિજ્ઞાન" થી અલગ છે, જે ગણિત અને ઔપચારિક તર્કને આવરી લે છે.