Gra, akt par excellence swobodny, dopuszcza także interesujące formalizacje matematyczne. Kulminacja tego procesu nastąpiła w połowie ubiegłego wieku, gdy pośród gorączki zimnej wojny i konfrontacji potęg rozwinęła się współczesna teoria gier, zajmująca się badaniem wygrywających strategii, dzięki którym można sobie poradzić z każdym konfliktem.