{
  "meta": {
    "api_type": "NWO Projects API",
    "version": "1.0.2",
    "licence": {
      "name": "CC0 1.0 Universal",
      "url": "https://creativecommons.org/publicdomain/zero/1.0",
      "description": "To the extent possible under law, all copyright and related or neighbouring rights have been waived worldwide to the data made available through this API."
    },
    "documentation": "https://doi.org/10.5281/zenodo.14918287",
    "release_date": "2025-08-20T00:00:00",
    "funder": "https://doi.org/10.13039/501100003246",
    "ror_id": "https://ror.org/04jsz6e67",
    "date": "2026-11-05T00:00:00",
    "count": 1,
    "per_page": 100,
    "pages": 1,
    "page": 1
  },
  "projects": [
    {
      "project_id": "OCENW.KLEIN.537",
      "title": "Logic and randomness in quantum theory",
      "funding_scheme_id": 4177,
      "funding_scheme": "Open Competitie ENW - M Doorlopend OC ENW KLEIN pakket 09",
      "department": "Exacte en Natuurwetenschappen",
      "sub_department": "Exacte en Natuurwetenschappen",
      "start_date": "2021-10-01T00:00:00",
      "end_date": "2021-10-02T00:00:00",
      "reporting_year": 2020,
      "summary_nl": "This project is a collaboration between a mathematical physicist specializing in quantum theory and a logician specializing in algorithmic randomness. The aim is to clarify the nature of both the logical and the probabilistic structure of quantum mechanics, in combination with each other. This will be done through two PhD projects: \n\n   1. Mathematical randomness properties of quantum theory;    \n\n    2. Semantics for intuitionistic quantum logic.          \n\nThe first PhD student will investigate the specific randomness properties of measurement outcomes in quantum mechanics, especially infinite series of quantum coin flips. This will have important repercussions for the security and certification of quantum random number generators of the kind used in cryptography as well as for the issue of possible hidden variables underneath quantum mechanics, and hence for determinism. The second subproject is based on the discovery (around 2010) by the main applicant and his collaborators of a specific class of Heyting algebras functorially associated to matrix algebras and more generally to C*-algebras. This formalized earlier speculations that the logic of quantum mechanics should be intuitionistic, but the semantics of these new intuitionistic quantum logics is quite unknown. As the PhD research develops, the two supervisors and their students will also try to relate these two parts to each other, for example through choice sequences in intuitionistic mathematics, whose relationship to random sequences and quantum theory needs to be explored.",
      "summary_en": "This project is a collaboration between a mathematical physicist specializing in quantum theory and a logician specializing in algorithmic randomness. The aim is to clarify the nature of both the logical and the probabilistic structure of quantum mechanics, in combination with each other. This will be done through two PhD projects: \n\n   1. Mathematical randomness properties of quantum theory;    \n\n    2. Semantics for intuitionistic quantum logic.          \n\nThe first PhD student will investigate the specific randomness properties of measurement outcomes in quantum mechanics, especially infinite series of quantum coin flips. This will have important repercussions for the security and certification of quantum random number generators of the kind used in cryptography as well as for the issue of possible hidden variables underneath quantum mechanics, and hence for determinism. The second subproject is based on the discovery (around 2010) by the main applicant and his collaborators of a specific class of Heyting algebras functorially associated to matrix algebras and more generally to C*-algebras. This formalized earlier speculations that the logic of quantum mechanics should be intuitionistic, but the semantics of these new intuitionistic quantum logics is quite unknown. As the PhD research develops, the two supervisors and their students will also try to relate these two parts to each other, for example through choice sequences in intuitionistic mathematics, whose relationship to random sequences and quantum theory needs to be explored.",
      "award_amount": 587940,
      "grant_id": "https://doi.org/10.61686/XSGPE35402",
      "project_members": [
        {
          "role": "Co-applicant",
          "member_id": 101163,
          "last_name": "Terwijn",
          "degree_pre_nominal": "dr.",
          "initials": "S.A.",
          "first_name": "Sebastiaan",
          "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)",
          "organisation_id": 73889,
          "ror": "https://ror.org/016xsfp80",
          "active": true
        },
        {
          "role": "Main Applicant",
          "member_id": 101004,
          "last_name": "Landsman",
          "degree_pre_nominal": "prof. dr.",
          "initials": "N.P.",
          "first_name": "Klaas",
          "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)",
          "organisation_id": 73889,
          "ror": "https://ror.org/016xsfp80",
          "active": true
        },
        {
          "role": "Project leader",
          "member_id": 101004,
          "last_name": "Landsman",
          "degree_pre_nominal": "prof. dr.",
          "initials": "N.P.",
          "first_name": "Klaas",
          "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)",
          "organisation_id": 73889,
          "ror": "https://ror.org/016xsfp80",
          "active": true
        }
      ]
    }
  ]
}