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?

• 

  Thank you for the talk.
  Quantum Computer is the one of biggest technology in the future.
  I am exciting to see Microsoft contributing in this field. I like the Q# open source project and it's quantum kata, which is the pile of learning materials of Q# as open source with the good community. there are so many thing i could learn.