Open AccessRAZONANDO CON COLORES (Una aproximación a la lógica intuicionista)
Author(s) -
Jorge Páez O,
Alfonso Luque,
N Alberto Donado
Publication year - 1999
Publication title -
tecné, episteme y didaxis ted/tecné, episteme y didaxis/revista de la facultad de ciencia y tecnologia
Language(s) - English
Resource type - Journals
eISSN - 2323-0126
pISSN - 0121-3814
DOI - 10.17227/ted.num5-5682
Subject(s) - intuitionism , mathematics , computer science , artificial intelligence , philosophy , humanities , combinatorics , epistemology
We present an intuitive approach to Intuitionist logic based on the notion of n-paintingswhich generalizes the notion of sets; using several tonalities of a color, we constructoperations between n-paintings that can be interpreted in terms of propositions andlogical reasoning based on Heyting algebras.