Teora de cuasiconjuntos y mecnica cuntica

El concepto de individualidad en mecnica cuntica presenta radicales diferencias respecto de la individualidad en mecnica clsica. Esto ha llevado a algunos autores a concluir que la mecnica cuntica no posee su propio lenguaje. Una forma de incorporar a un lenguaje de primer orden la nocin de indistinguibilidad cuntica es usando la teora de cuasiconjuntos (Q), una variante de la teora de conjuntos Zermelo-Frenkel en la cual la identidad no est definida para todos los objetos de la teora. Sin embargo, Q no captura un aspecto importante de la teora cuntica: la posibilidad de que existan sistemas cuyo cardinal no est bien definido. En este trabajo se discuten distintas estrategias para desarrollar construcciones formales que capturen la nocin de nmero de partculas indefinido.