1,720,979 research outputs found

    Una semántica de Kripke para lógicas cuánticas

    Full text link
    Fil: Domenech, Graciela. Universidad de Buenos Aires. Instituto Astronómico y Física del Espacio; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Este trabajo se enmarca en la pregunta por la posibilidad de considerar los datos empíricos acerca, de los sistemas cuánticos como las propiedades de un objeto en la teoría y, en caso de que esto fuera posible, por las características de un objeto tal.Fil: Domenech, Graciela. Universidad de Buenos Aires. Instituto Astronómico y Física del Espacio; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina

    Perspectivas en la axiomatización de la lógica computacional cuántica

    Full text link
    Fil: Costa, Andrea. Universidad de Buenos Aires; Argentina.Fil: Costa, Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Domenech, Graciela. Universidad de Buenos Aires. Instituto Astronómico y Física del Espacio; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Freytes, Héctor: Universidad Nacional de Rosario; Argentina.Desde los comienzos de las matemáticas, sistemas sencillos como los dedos de las manos, palitos y luego el ábaco se vienen utilizando para representar entidades matemáticas y operaciones entre ellas. Y tan pronto como se hizo visible la relación entre operaciones de la aritmética elemental y secuencias de procedimientos implementables físicamente, los diseños pioneros de Pascal y Leibniz los trasladaron a dispositivos mecánicos que por primera vez nos relevaron de tareas tediosas como la de multiplicar dos enteros grandes.Fil: Costa, Andrea. Universidad de Buenos Aires; Argentina.Fil: Costa, Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Domenech, Graciela. Universidad de Buenos Aires. Instituto Astronómico y Física del Espacio; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Freytes, Héctor: Universidad Nacional de Rosario; Argentina

    Modalidad y no-individualidad en la teoría cuántica

    Full text link
    Fil: Domenech, Graciela. Universidad de Buenos Aires; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Holik, Federico. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Holik, Federico. Universidad de Buenos Aires; Argentina.Fil: De Ronde, Christian. Vrije Universiteit Brussel; Bélgica.La revolución en los fundamentos de la física de comienzos del siglo XX se enmarca en la crisis que sacudió las bases del pensamiento clásico. Por una parte, la teoría de la relatividad dio lugar a un concepto de espacio diferente al presupuesto por la mecánica newtoniana mientras que por otra, la teoría atómica cuestionó la visión clásica del mundo en términos de objetos entrando en conflicto con los principios de la lógica aristotélica.. En particular, el principio de identidad encuentra severas limitaciones en relación a las llamadas "partículas idénticas", dicho en un lenguaje más preciso "partículas indistinguibles".Fil: Domenech, Graciela. Universidad de Buenos Aires; Argentina.Fil: Domenech, Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Holik, Federico. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Holik, Federico. Universidad de Buenos Aires; Argentina.Fil: De Ronde, Christian. Vrije Universiteit Brussel; Bélgica

    Aspectos geométricos y topológicos de la teoría cuántica de campos en el espacio-tiempo curvo

    Full text link
    Hemos estudiado algunos aspectos de la cuantificación de la gravedad. Utilizandola teoría de concomitantes, encontrarnos un teorema que generaliza el teorema de Weyl,resolviendo rigurosa y unívocamente el problema del lagrangiano de las teorías semiclásicas. Estudiamos, también haciendo uso de la teoría de concomitantes, expresiones para elvalor renormalizado del campo escalar al cuadrado en cuatro y seis dimensiones. Finalmente nos ocupamos de las modificaciones que producen los cambios de topologíaen la teoría de campos. Hallamos las soluciones de la ecuación de campo, las funciones de Green y el valor renormalizado del tensor de energía-impulso, para el caso de observadoresacelerados cualesquiera en un espacio-tiempo en el que se han realizado identificacionesantipodales. Relacionamos el problema de la norma nula de los elementos de la base de Fock con la presencia de horizontes de eventos y la periodicidad de las funciones de Greencon la existencia de simetría esférica.Fil: Domenech, Graciela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

    Aspectos geométricos y topológicos de la teoría cuántica de campos en el espacio-tiempo curvo

    No full text
    Hemos estudiado algunos aspectos de la cuantificación de la gravedad. Utilizandola teoría de concomitantes, encontrarnos un teorema que generaliza el teorema de Weyl,resolviendo rigurosa y unívocamente el problema del lagrangiano de las teorías semiclásicas. Estudiamos, también haciendo uso de la teoría de concomitantes, expresiones para elvalor renormalizado del campo escalar al cuadrado en cuatro y seis dimensiones. Finalmente nos ocupamos de las modificaciones que producen los cambios de topologíaen la teoría de campos. Hallamos las soluciones de la ecuación de campo, las funciones de Green y el valor renormalizado del tensor de energía-impulso, para el caso de observadoresacelerados cualesquiera en un espacio-tiempo en el que se han realizado identificacionesantipodales. Relacionamos el problema de la norma nula de los elementos de la base de Fock con la presencia de horizontes de eventos y la periodicidad de las funciones de Greencon la existencia de simetría esférica.Fil: Domenech, Graciela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

    Two-valued states on Baer ∗-semigroups

    Full text link
    In this paper we develop an algebraic framework that allows us to extend families of two-valued states on orthomodular lattices to Baer *-semigroups. We apply this general approach to study the full class of two-valued states and the subclass of Jauch–Piron two-valued states on Baer *-semigroups.Fil: Freytes Solari, Hector Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Argentino de Matemática Alberto Calderon; ArgentinaFil: Domenech, Graciela. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: de Ronde, Christian. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

    Q-spaces and the foundations of quantum mechanics

    Full text link
    Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a labeltensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics.Fil: Domenech, Graciela. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: Holik, Federico Hernan. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: Krause, Décio. Conselho Nacional de Desenvolvimiento Científico y Tecnológico; Brasi

    Kripke Style Semantic for the Logic of Two Valued-States

    Full text link
    In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baerâsemigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established
    corecore