At erstatte en bevis-kultur - Den Kolde Krigs - med en anden kræver indsigt i matematikkens historie og de forskellige filosofiske fortolkninger, den har været udsat for. Det er en forudsætning for at matematikken og dens kultur kan fjerne sig fra sin tilknytning til "command, control, communication"-traditionen.