Buscar
Mostrando ítems 1-10 de 29
Metaphysics, Metamathematics and Metabiology
(Pío GarcíaAlba Massolo, 2010-10)
In this essay we present an information-theoretic perspective on epistemology using software
models. We shall use the notion of algorithmic information to discuss what is a physical law, to
determine the limits of the ...
Da metamatemática para a ciência cognitiva
(Universidade Estadual Paulista, Departamento de Filosofia, 1999)
In this article, it is suggested a possible profile for the historical and philosophical migration of several issues from the metamathematical domain to the domain of functionalist neuro-computational Cognitive Science. ...
Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
(University of Notre Dame, 2008)
Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED ...
Gödel's incompleteness theorem in mathematics teacher formation courses: Previous possibilities
(2020-06-01)
In this paper, we present our perspective about the importance of teaching Gödel's incompleteness theorem in formation courses to mathematics teacher. The phenomenon of incompleteness evidenced by the incompleteness theorem ...
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
(Springer Berlin Heidelberg, 2019-02)
Fuzzy possibilistic logic is an important formalism for approximate reasoning. It extends the well-known basic propositional logic BL, introduced by Hájek, by offering the ability to reason about possibility and necessity ...
La filosofía de las Matemáticas del Segundo Wittgenstein.
(2015-06-26)
En este trabajo empiezo por presentar y explicar las nociones clave de la
filosofía del Wittgenstein maduro y que son las que le permiten articular
su nueva concepción de las matemáticas (“juego de lenguaje”, ...
Elementos de mereología cuántica
(Revista Colombiana de Filosofía de la Ciencia, 2012-01-01)
En este artículo se argumenta que la aproximación mereológica a los fenómenos cuánticos ofrece un punto de vista interesante en un doble sentido. Por una parte, permite plantear más claramente la cuestión ...
El mentiroso y el nuevo esquema TThe liar and the new t-schema
(Universidad de Caldas, 2010)
Diseño e implementación de software para la detección y eliminación de inconsistencias en bases de reglas de sistemas difusos e inserción de reglas en caso de incompletitud de la base de conocimiento
(Universidad Autónoma de Bucaramanga UNABFacultad IngenieríaMaestría en Ciencias Computacionales, 2006-05-02)
El trabajo de investigación propuesto en esta tesis corresponde al módulo de validación de la base de reglas de sistemas difusos e inserción de reglas en caso de incompletitud. Este módulo permite mejorar la calidad del ...