Quantum Questions with Dr. Sarah Kaiser

The Discussion

• 

  Very much like this MVP's baseline discussion of Q# - want to point out her description of the 50's and 60's in software development was underpinned by symbolic logic (primarily boolean). Q is a non-standard logic (there are many going back to late BCE in Eastern philosophy) that has the potential to become the 21st century standard logic. Again philosophy of logic can provide the boundary conditions that Dr. Kaiser is questing and provide the underpinning for this and next generation computing science. Perhaps needed is Principia Quanta as per Principia Logica or Principia Mathematica but who can write it?