战争弥漫下的计算证明（1900—1918）