FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075608006> ?p ?o ?g. }

• W2075608006 endingPage "4237" @default.
• W2075608006 startingPage "4223" @default.
• W2075608006 abstract "Besides their use for efficient computation, quantum computers and quantum robots form a base for studying quantum systems that create valid physical theories using mathematics and physics. If quantum mechanics is universally applicable, then quantum mechanics must describe its own validation by these quantum systems. An essential part of this process is the development of a coherent theory of mathematics and quantum-mechanics together. It is expected that such a theory will include a coherent combination of mathematical logical concepts with quantum mechanics. That this might be possible is shown here by defining truth, validity, consistency, and completeness for a quantum-mechanical version of a simple (classical) expression enumeration machine described by Smullyan. Some of the expressions are chosen as sentences denoting the presence or absence of other expressions in the enumeration. Two of the sentences are self-referential. It is seen that, for an interpretation based on a Feynman path sum over expression paths, truth, consistency, and completeness for the quantum system have different properties than for the classical system. For instance, the truth of a sentence S is defined only on those paths containing S. It is undefined elsewhere. Also S and its negation can both be true provided they appear on separate paths. This satisfies the definition of consistency. The definitions of validity and completeness connect the dynamics of the system to the truth of the sentences. It is proved that validity implies consistency. It is seen that the requirements of validity and maximal completeness strongly restrict the allowable dynamics for the quantum system. Aspects of the existence of a valid, maximally complete dynamics are discussed. An exponentially efficient quantum computer is described that is also valid and complete for the set of sentences considered here." @default.
• W2075608006 created "2016-06-24" @default.
• W2075608006 creator A5004780737 @default.
• W2075608006 date "1999-06-01" @default.
• W2075608006 modified "2023-10-18" @default.
• W2075608006 title "Simple example of definitions of truth, validity, consistency, and completeness in quantum mechanics" @default.
• W2075608006 cites W1964777250 @default.
• W2075608006 cites W1965765304 @default.
• W2075608006 cites W1966533239 @default.
• W2075608006 cites W1971221192 @default.
• W2075608006 cites W1979177086 @default.
• W2075608006 cites W1980856895 @default.
• W2075608006 cites W1982445270 @default.
• W2075608006 cites W1987191583 @default.
• W2075608006 cites W2002372750 @default.
• W2075608006 cites W2006290558 @default.
• W2075608006 cites W2014633300 @default.
• W2075608006 cites W2014706286 @default.
• W2075608006 cites W2016585461 @default.
• W2075608006 cites W2016710038 @default.
• W2075608006 cites W2017964195 @default.
• W2075608006 cites W2027311911 @default.
• W2075608006 cites W2031460452 @default.
• W2075608006 cites W2032207635 @default.
• W2075608006 cites W2032675708 @default.
• W2075608006 cites W2037864574 @default.
• W2075608006 cites W2053485921 @default.
• W2075608006 cites W2055598707 @default.
• W2075608006 cites W2056520430 @default.
• W2075608006 cites W2057828601 @default.
• W2075608006 cites W2067120233 @default.
• W2075608006 cites W2067763535 @default.
• W2075608006 cites W2076485024 @default.
• W2075608006 cites W2079092820 @default.
• W2075608006 cites W2086201659 @default.
• W2075608006 cites W2089610453 @default.
• W2075608006 cites W2089716787 @default.
• W2075608006 cites W2090726775 @default.
• W2075608006 cites W2092938635 @default.
• W2075608006 cites W2096551755 @default.
• W2075608006 cites W2121949041 @default.
• W2075608006 cites W2150256730 @default.
• W2075608006 cites W2296615904 @default.
• W2075608006 cites W2591804465 @default.
• W2075608006 cites W2762173811 @default.
• W2075608006 cites W2964329778 @default.
• W2075608006 cites W4249266103 @default.
• W2075608006 cites W4251074302 @default.
• W2075608006 cites W4252458306 @default.
• W2075608006 cites W4255803247 @default.
• W2075608006 cites W4300553699 @default.
• W2075608006 cites W4300664994 @default.
• W2075608006 cites W4301024087 @default.
• W2075608006 doi "https://doi.org/10.1103/physreva.59.4223" @default.
• W2075608006 hasPublicationYear "1999" @default.
• W2075608006 type Work @default.
• W2075608006 sameAs 2075608006 @default.
• W2075608006 citedByCount "10" @default.
• W2075608006 crossrefType "journal-article" @default.
• W2075608006 hasAuthorship W2075608006A5004780737 @default.
• W2075608006 hasBestOaLocation W20756080062 @default.
• W2075608006 hasConcept C111806380 @default.
• W2075608006 hasConcept C11255438 @default.
• W2075608006 hasConcept C118615104 @default.
• W2075608006 hasConcept C121332964 @default.
• W2075608006 hasConcept C134306372 @default.
• W2075608006 hasConcept C15184713 @default.
• W2075608006 hasConcept C17231256 @default.
• W2075608006 hasConcept C179153249 @default.
• W2075608006 hasConcept C190474826 @default.
• W2075608006 hasConcept C199343813 @default.
• W2075608006 hasConcept C207046469 @default.
• W2075608006 hasConcept C2776436953 @default.
• W2075608006 hasConcept C2777686260 @default.
• W2075608006 hasConcept C33332235 @default.
• W2075608006 hasConcept C33923547 @default.
• W2075608006 hasConcept C34829970 @default.
• W2075608006 hasConcept C43682372 @default.
• W2075608006 hasConcept C62520636 @default.
• W2075608006 hasConcept C71924100 @default.
• W2075608006 hasConcept C84114770 @default.
• W2075608006 hasConceptScore W2075608006C111806380 @default.
• W2075608006 hasConceptScore W2075608006C11255438 @default.
• W2075608006 hasConceptScore W2075608006C118615104 @default.
• W2075608006 hasConceptScore W2075608006C121332964 @default.
• W2075608006 hasConceptScore W2075608006C134306372 @default.
• W2075608006 hasConceptScore W2075608006C15184713 @default.
• W2075608006 hasConceptScore W2075608006C17231256 @default.
• W2075608006 hasConceptScore W2075608006C179153249 @default.
• W2075608006 hasConceptScore W2075608006C190474826 @default.
• W2075608006 hasConceptScore W2075608006C199343813 @default.
• W2075608006 hasConceptScore W2075608006C207046469 @default.
• W2075608006 hasConceptScore W2075608006C2776436953 @default.
• W2075608006 hasConceptScore W2075608006C2777686260 @default.
• W2075608006 hasConceptScore W2075608006C33332235 @default.
• W2075608006 hasConceptScore W2075608006C33923547 @default.
• W2075608006 hasConceptScore W2075608006C34829970 @default.
• W2075608006 hasConceptScore W2075608006C43682372 @default.

• next