<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>Dolittle diagram</title>
    <link>http://popups.lib.uliege.be/1373-5411/index.php?id=4545</link>
    <description>Index terms</description>
    <language>fr</language>
    <ttl>0</ttl>
    <item>
      <title>Locality Weak or Strong Anticipation and Quantum Computing. II. Constructivism with Category Theory</title>
      <link>http://popups.lib.uliege.be/1373-5411/index.php?id=4546</link>
      <description>The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the Church-Turing hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Category theory provides the necessary coordinate-free mathematical language which is both constructive and non-local to subsume the various interpretations of quantum theory in one pullback/pushout Dolittle diagram. This diagrame can be used to test and classify physical devices and proposed algorithms for weak or strong anticipation. Quantum Information Science is more than a merger of Church-Tirring and quantum theories. It has constructively to bridge the non-local chasm between the weak anticipation of mathematics and the strong anticipation of physics , </description>
      <pubDate>Mon, 14 Oct 2024 10:51:06 +0200</pubDate>
      <lastBuildDate>Mon, 14 Oct 2024 12:59:33 +0200</lastBuildDate>
      <guid isPermaLink="true">http://popups.lib.uliege.be/1373-5411/index.php?id=4546</guid>
    </item>
    <item>
      <title>Locality Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum Theory</title>
      <link>http://popups.lib.uliege.be/1373-5411/index.php?id=4540</link>
      <description>The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the Church-Turing hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Category theory provides the necessary coordinate-free mathematical language which is both constructive and non-local to subsume the various interpretations of quantum theory in one pullback/pushout Dolittle diagram. This diagrame can be used to test and classify physical devices and proposed algorithms for weak or strong anticipation. Quantum Information Science is more than a merger of Church-Tirring and quantum theories. It has constructively to bridge the non-local chasm between the weak anticipation of mathematics and the strong anticipation of physics , </description>
      <pubDate>Mon, 14 Oct 2024 10:47:39 +0200</pubDate>
      <lastBuildDate>Mon, 14 Oct 2024 12:58:47 +0200</lastBuildDate>
      <guid isPermaLink="true">http://popups.lib.uliege.be/1373-5411/index.php?id=4540</guid>
    </item>
  </channel>
</rss>