ഗാരെറ്റ് ബിർഖോഫ്
1936-ൽ ഗാരറ്റ് ബിർഖോഫിന്റെ പ്രസിദ്ധമായ പേപ്പറിൽ വോൺ ന്യൂമാനും ബിർഖോഫും ക്വാണ്ടം മെക്കാനിക്സിന് എല്ലാ ക്ലാസിക്കൽ ലോജിക്കുകളിൽ നിന്നും ഗണ്യമായി വ്യത്യസ്തമായ ഒരു പ്രോപ്പോസിഷണൽ കാൽക്കുലസ് ആവശ്യമുണ്ടെന്ന് തെളിയിക്കുകയും ക്വാണ്ടം ലോജിക്കുകൾക്കായി ഒരു പുതിയ ബീജഗണിതീയ ഘടനയെ കർശനമായി വേർതിരിക്കുകയും ചെയ്തു.
വോൺ ന്യൂമാൻ ആർക്കൊപ്പം ക്വാണ്ടം ലോജിക് അവതരിപ്പിക്കുന്ന ഒരു പേപ്പറിൽ 1936-ൽ പ്രവർത്തിച്ചു?