முன்வைக்கப்பட்ட கணிதம்
குவாண்டம் தர்க்கத்திற்கான முன்மொழிவு நுண்கணிதத்தை உருவாக்கும் கருத்து முதலில் வான் நியூமனின் 1932 ஆம் ஆண்டின் பணிகளில் ஒரு குறுகிய பிரிவில் கோடிட்டுக் காட்டப்பட்டது, ஆனால் 1936 ஆம் ஆண்டில், புதிய முன்மொழிவு நுண்கணிதத்திற்கான தேவை பல சான்றுகள் மூலம் நிரூபிக்கப்பட்டது.
குவாட்டம் லாஜிக்கிற்கு (quatum logic) என்ன கருத்து உருவாக்கப்பட்டது?