Isabel Cafezeiro, Edward Hermann Hæusler, Henrique Luiz Cukierman, Ivan da Costa Marques,
... narrativa enfoca as contingências presentes no estabelecimento do programa de Hilbert, e o desenrolar dos acontecimentos até a apresentação ...
Tópico(s): Information Science and Libraries
2010 - | Revista Brasileira de História da Ciência

Sicleidi Valente Dos Santos, Ricardo Kubrusly, Valessa Leal Lessa de Sá Pinto, Geovane André Teles de Oliveira, Ângelo Santos Siqueira,
... apontar as implicações ontológicas e epistemológicas do chamado “Programa de Hilbert” no que diz respeito ao infinito enquanto objeto ...
Tópico(s): Psychology and Mental Health
2023 - Faculdade Novo Milênio | Revista Foco

Tópico(s): Economic Theory and Policy
1998 - UNIVERSIDADE ESTADUAL DE CAMPINAS | Manuscrito
Max Fernández de Castro, Yolanda Torres Falcón,
... finitismos con una base común fueron ensayados por Hilbert y Bernays hasta 1931, en una tentativa por definir con precisión su programa y llevarlo a buen término. El resultado es el de un complejo programa de investigación en continua evolución.
Tópico(s): Educational theories and practices
2020 - | Metatheoria – Revista de Filosofía e Historia de la Ciencia
Tópico(s): Philosophical Thought and Analysis
1989 - Catholic University of Portugal | Máthesis
Ricardo J.N. Bettencourt da Silva,
Kurt Godel demostro en 1931, que para todo sistema formal Z recursivo lo suficientemente potente como para derivar los axiomas de Peanoy que ademas se suponga como consistente, se tiene que en el sistema hay proposiciones indecidibles, es decir, el sistema no es completo. Por otra parte, Godel probo que si el sistema Z es consistente entonces no se puedederivar en Z una proposicion que afirme la consistencia de Z. Estos resultadosson los que se conocen como Primer Teorema de Incompletitud Godel ...
Tópico(s): Logic, Reasoning, and Knowledge
2014 - Cambridge University Press | Episteme
... impacto dos teoremas de incompletude de Godel no programa de Hilbert, e tampouco por uma visao negativa do finitismo ...
Tópico(s): Logic, programming, and type systems
2008 - UNIVERSIDADE ESTADUAL DE CAMPINAS | Manuscrito
Carlos Alberto Cardona Suárez,
... los objetos externos. De la misma manera, el programa de Hilbert, como se deduce de los teoremas de incompletitud ...
Tópico(s): Philosophical Thought and Analysis
2016 - Q5918261 | Diánoia Revista de Filosofía

Rosemeire de Fátima Batistela, María Aparecida Viggiani Bicudo, Henrique Lazari,
... de Gödel (TIG). Problema da Compatibilidade da Aritmética. Programa de Hilbert. Método Axiomático.AbstractThis article deals with the panorama ...
Tópico(s): Psychology and Mental Health
2018 - | Jornal Internacional de Estudos em Educação Matemática

Rosemeire de Fátima Batistela,
... y los sistemas formales completos requeridos en el programa de Hilbert no pueden existir. Se trata de un estudio ...
Tópico(s): History and Theory of Mathematics
2022 - | PARADIGMA
... Dirac.Con ello, aquí se propone todo un programa de uni cación en el cual el electromagnetismo quiral juega el rol central.La TTS se deriva de las ecuaciones originales de Einstein-Hilbert G µv = kT µv , donde el tensor de ...
Tópico(s): Experimental and Theoretical Physics Studies
2008 - University of Tarapacá | Ingeniare. Revista chilena de ingeniería
Judith Medellín Olaya, Gloria Mabel Carrillo González,
... paciente de Betty Ferrell , Soporte social percibido de Hilbert y el Formato de caracterizacion sociodemografica para persona con enfermedad cronica del Grupo de Cuidado al Paciente Cronico de la Universidad Nacional de Colombia. El analisis de asociacion se realizo mediante la determinacion de los coeficientes de correlacion de Pearson y de Spearman, utilizando el programa spsss Version 17.0 Resultados: Las caracteristicas sociodemograficas ...
Tópico(s): Nursing care and research
2014 - National University of Colombia | Avances en Enfermería
... de las teorías propuestas en el contexto del programa minimalista en lingüística. En particular, las oraciones se modelan de manera natural como vectores en un espacio de Hilbert con una estructura de producto tensorial, construida a ...
Tópico(s): Literacy and Educational Practices
2021 - | Revista Española de Lingüística
... en: Blanco,H. La Etnomatematica en Colombia. Un programa en construccion. BOLEMA, ano 19, No. 26. 2006. ...
Tópico(s): Knowledge Societies in the 21st Century
2008 - University of Nariño | Revista Latinoamericana de Etnomatemática Perspectivas Socioculturales de la Educación Matemática

... discursos na arqueologia brasileira, tomando como exemplo o Programa Nacional de Pesquisas Arqueológicas.
Tópico(s): Memory, Trauma, and Testimony
2007 - MUSEU PARAENSE EMÍLIO GOELDI | Boletim do Museu Paraense Emílio Goeldi Ciências Humanas
Olga Marina Vega-Angarita, Dianne Sofía González-Escobar,
... Soporte Social en Enfermedad Crónica” (ISSEC) de G. Hilbert, que contempla 5 dimensiones, las cuales se califican ... evalúa positivamente la efectividad de este tipo de programa, su pertinencia en el contexto regional y con ...
Tópico(s): Social Sciences and Policies
2013 - Francisco de Paula Santander University | Respuestas
Juan Pablo Jorge, Hernán Luis Vázquez,
... uso del axioma de elección. Se presenta un programa que genera una de estas particiones especiales y ...
Tópico(s): Educational theories and practices
2021 - Unión Matemática Argentina | Revista de Educación Matemática
María Luisa Oliveras, Hilbert Blanco-Álvarez, Pedro Palhares,
... extraescolares orechazarlos. El material empírico procede de un programa de formación de maestros en ejercicio en Etnomatemática ...
Tópico(s): Geography and Education Methods
2013 - District University of Bogotá | Revista Científica

Cleber Eduardo Galvão, Suzana M. Ribeiro, Gislaine Greice de Oliveira Silva Silveira, Octávio Luiz Franco,
... 6, 1–9 (2015).Crossref, Medline, Google Scholar10 Hilbert F, Smulders FJM, Chopra-Dewasthaly R, Paulsen P. ...
Tópico(s): Antibiotic Resistance in Bacteria
2018 - Future Science Ltd | Future Medicinal Chemistry