Buscar
Mostrando ítems 1-10 de 115
Aritmetizando la geometría desde dentro: el cálculo de segmentos [Streckenrechnung] de David HilbertArithmetizing the geometry from inside: David Hilbert's segment calculus
(Universidade de São Paulo. Departamento de Filosofia, 2015-03)
Sobre la base que aportan las notas manuscritas de David Hilbert para cursos sobre geometría, el artículo procura contextualizar y analizar una de las contribuciones más importantes y novedosas de su célebre monografía ...
Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássicaAutomatic extraction of Hilbert Calculi associated to fragments of classical logic
(Universidade Federal do Rio Grande do NorteBrasilUFRNBacharelado em Ciência da Computação, 2019)
Hilbert calculi for the main fragments of Classical LogicCálculos de Hilbert para os principais fragmentos da Lógica Clássica
(Universidade Federal do Rio Grande do NorteBrasilUFRNCiência da Computação, 2019)
Sobre la relevancia de la tesis de TuringOn the relevance of Turing’s thesis
(Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2017-04-01)
En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes ...
Álgebras para la lógica implicativa con conjunción.
(2011-09-14)
Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al segmento {!, ^} del cálculo proposicional intuicionista.
Función signo matricial en las EAR's, EAR's en espacios de Hilbert así como su estudio en la ecuación del calor
(Universidad Nacional de Ingeniería, 2017)
Función signo matricial en las EAR's, EAR's en espacios de Hilbert así como su estudio en la ecuación del calor
(Universidad Nacional de Ingeniería, 2017)
Función signo matricial en las EAR's, EAR's en espacios de Hilbert así como su estudio en la ecuación del calor
(Universidad Nacional de Ingeniería, 2017)