1
program role
1999–1999
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Talk
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| A simple example of definitions of truth, validity, consistency, and completeness in quantum mechanics | QIP 1999 | invited | — |
Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is the development of a coherent theory of mathematics and quantum mechanics together. |
|||
Committee service
| Conference | Committee | Position | Title |
|---|---|---|---|
| QIP 1999 | program | member | — |