Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker

Autores
Jorge, Juan Pablo; De Barros, José Acacio
Año de publicación
2025
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
We analyze two fundamental premises of the Kochen-Specker theorem: a) the functionality condition FUNC, which expresses the fact that not all observables are independent, nor are the values assigned to them, and b) the issue of the identity of projectors in different measurement contexts. We show that the non-deterministic semantics of Nmatrices and the theory of qsets Q can complement each other by providing an appropriate semantics for the lattice of quantum projectors. Considering valuations that are not homomorphisms and admitting the possibility of having indistinguishable (nonidentical) projectors, we establish the basis for a semantics for quantum logic, motivated by an ontology of non-quantum individuals, in which one cannot arrive at the Kochen-Specker paradox.
Fil: Jorge, Juan Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina
Fil: De Barros, José Acacio. San Francisco State University; Estados Unidos
Materia
NMATRICES
QUASISETS
QUASETS
LÓGICA CUÁNTICA
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/280408
Acceder
id CONICETDig_ab538009258be97b83d423ca84c12d1e
oai_identifier_str oai:ri.conicet.gov.ar:11336/280408
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-SpeckerJorge, Juan PabloDe Barros, José AcacioNMATRICESQUASISETSQUASETSLÓGICA CUÁNTICAhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1https://purl.org/becyt/ford/1.3https://purl.org/becyt/ford/1https://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.We analyze two fundamental premises of the Kochen-Specker theorem: a) the functionality condition FUNC, which expresses the fact that not all observables are independent, nor are the values assigned to them, and b) the issue of the identity of projectors in different measurement contexts. We show that the non-deterministic semantics of Nmatrices and the theory of qsets Q can complement each other by providing an appropriate semantics for the lattice of quantum projectors. Considering valuations that are not homomorphisms and admitting the possibility of having indistinguishable (nonidentical) projectors, we establish the basis for a semantics for quantum logic, motivated by an ontology of non-quantum individuals, in which one cannot arrive at the Kochen-Specker paradox.Fil: Jorge, Juan Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; ArgentinaFil: De Barros, José Acacio. San Francisco State University; Estados UnidosUniversidad de Granada2025-10info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/280408Jorge, Juan Pablo; De Barros, José Acacio; Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker; Universidad de Granada; Teorema; 44; 2; 10-2025; 1-280210-1602CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/https://revistaseug.ugr.es/index.php/teorema/article/view/33871info:eu-repo/semantics/altIdentifier/doi/10.30827/trif.33871info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2026-02-26T10:21:09Zoai:ri.conicet.gov.ar:11336/280408instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982026-02-26 10:21:09.406CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
title Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
spellingShingle Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
Jorge, Juan Pablo
NMATRICES
QUASISETS
QUASETS
LÓGICA CUÁNTICA
title_short Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
title_full Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
title_fullStr Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
title_full_unstemmed Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
title_sort Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
dc.creator.none.fl_str_mv Jorge, Juan Pablo
De Barros, José Acacio
author Jorge, Juan Pablo
author_facet Jorge, Juan Pablo
De Barros, José Acacio
author_role author
author2 De Barros, José Acacio
author2_role author
dc.subject.none.fl_str_mv NMATRICES
QUASISETS
QUASETS
LÓGICA CUÁNTICA
topic NMATRICES
QUASISETS
QUASETS
LÓGICA CUÁNTICA
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
https://purl.org/becyt/ford/1.3
https://purl.org/becyt/ford/1
https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
We analyze two fundamental premises of the Kochen-Specker theorem: a) the functionality condition FUNC, which expresses the fact that not all observables are independent, nor are the values assigned to them, and b) the issue of the identity of projectors in different measurement contexts. We show that the non-deterministic semantics of Nmatrices and the theory of qsets Q can complement each other by providing an appropriate semantics for the lattice of quantum projectors. Considering valuations that are not homomorphisms and admitting the possibility of having indistinguishable (nonidentical) projectors, we establish the basis for a semantics for quantum logic, motivated by an ontology of non-quantum individuals, in which one cannot arrive at the Kochen-Specker paradox.
Fil: Jorge, Juan Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina
Fil: De Barros, José Acacio. San Francisco State University; Estados Unidos
description Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
publishDate 2025
dc.date.none.fl_str_mv 2025-10
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/280408
Jorge, Juan Pablo; De Barros, José Acacio; Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker; Universidad de Granada; Teorema; 44; 2; 10-2025; 1-28
0210-1602
CONICET Digital
CONICET
url http://hdl.handle.net/11336/280408
identifier_str_mv Jorge, Juan Pablo; De Barros, José Acacio; Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker; Universidad de Granada; Teorema; 44; 2; 10-2025; 1-28
0210-1602
CONICET Digital
CONICET
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://revistaseug.ugr.es/index.php/teorema/article/view/33871
info:eu-repo/semantics/altIdentifier/doi/10.30827/trif.33871
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidad de Granada
publisher.none.fl_str_mv Universidad de Granada
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1858305591691182080
score 13.176822

Publicaciones similares