CRIS

Permanent URI for this communityhttps://scripta.up.edu.mx/handle/20.500.12552/1

Browse

Search Results

Now showing 1 - 2 of 2
  • Some of the metrics are blocked by your 
    Item type:Publication,
    Gates and circuits via Dunn semantics
    (Oxford University Press (OUP), 2025)
    Computer hardware is heavily reliant on classical logic, but could we use some non-classical logic instead? In this paper I suggest an alternative model of implementation of logic gates in electronics. In particular, I propose a model that takes descriptions of logical connectives through means of Dunn semantics and implements them as logic gates by using a double current system: one for truth and one for falsity, instead of the classical use of a single current for both values. The outcome of this proposal should pave the way to new models of non-classical and even contra-classical computation based on paraconsistent, paracomplete and paranormal logics. © The author © Oxford University Press.
  • Some of the metrics are blocked by your 
    Item type:Publication,
    Estrategias de modelización en Alan Turing: términos y conceptos de máquina
    (Universidad Panamericana. Facultad de Filosofía, 2019)
    Ilcic, Andrés
    ;
    García, Pío
    Como es bien conocido, en 1936 Alan Turing propuso sus máquinas automáticas como modelo de la computación realizada por un ser humano asistido sólo con recursos mecánicos. Sin embargo, tanto terminológicamente como conceptualmente habría más para decir acerca de la concepción de máquina en la obra de Turing. En el presente trabajo presentamos términos que, a nuestro entender, son relevantes para dar cuenta de las preocupaciones y problemas que Turing abordó luego de la propuesta inicial de fines de los años treinta. En el uso de dichos términos trataremos de mostrar la ampliación o extensión de la noción de máquina en general a partir de la de “máquina automática”. A su vez, identificamos en su obra una intención o actitudmodeladora en el que las máquinas se pueden usar como una forma de entender y explicar un fenómeno natural o abstracto.
      7  40