PALABRAS RELACIONADAS CON «METAMATEMÁTICA»
metamatemática
teoría
lógica
formal
pruebas
matemáticas
metapsicología
algunas
teorías
elementos
metalógica
metamatemática
diofantización
sistemas
formales
justificación
criterios
sustitución
introducción
historia
proposición
quot
sucesión
fórmulas
número
gódel
demostración
prueba
fórmula
cual
viene
representada
definida
cálculo
aritmético
expresa
nbsp
paraíso
cantor
tradición
conjuntista
artículo
10 LIBROS DEL ESPAÑOL RELACIONADOS CON «METAMATEMÁTICA»
Descubre el uso de
metamatemática en la siguiente selección bibliográfica. Libros relacionados con
metamatemática y pequeños extractos de los mismos para contextualizar su uso en la literatura.
Sea la proposición metamatemática (p: "la sucesión de fórmulas con número
Gódel x es una demostración (prueba) de la fórmula con número Gódel z", la
cual viene representada por una fórmula definida del cálculo aritmético que
expresa ...
Julián Velarde Lombraña, 1989
2
El paraíso de Cantor: la tradición conjuntista en la ...
En un artículo de enciclopedia publicado en 1 980/7 Schütte describe la teoría
de la prueba (Beweistheoríe) como una de las divisiones de la "metamatemática"
o investigación matemáticamente exacta de teorías matemáticas formalizadas ...
3
Un paseo finito por lo infinito. El infinito en Matemáticas
En 1927 al sintetizar Hilbert sus ideas al respecto, expone los cimientos básicos
para su programa de metamatemática[l]: 1. Todas las proposiciones matemáticas
son expresables mediante fórmulas de un lenguaje formal. 2. Los axiomas son ...
Iván Castro Chadid, Jesús H. Pérez Alcázar, Nicolás Morales Thomas (Director Editorial), Miguel Fernando Serna Jurado (Coord. Autoedición) Primera ediciónUniversidad Sergio Arboleda
4
Alan Turing. El hombre que sabía demasiado
Todo esto tenía un propósito serio: la cuestión era codificar una oración
metamatemática particular: la que derribaba todas las murallas. Esta oración
crucial rezaba así: «La fórmula G, para la que el número Gödel es g, declara que
existe una ...
5
Diccionario de filosofía
Ejemplos: la técnica de Pa- doa para encontrar si un conjunto de conceptos son
entre sí independientes, el teorema de la incompletud de Gódel y la teoría de
teorías de Tarski. metamatemática La familia de teorías matemáticas que tratan
de ...
6
Las teorías científicas: desarrollo, estructura, fundamentación
1) Distinción entre Matemática y Metamatemática, Como ya hemos señalado
toda investigación acerca de la consistencia, completicidad, etc., de un sistema
deductivo pertenece al metalenguaje cuyo lenguaje-objeto está constituido por
los ...
En este punto es donde surge una especie de desdoblamiento de la aritmética
que tiene que ver con la noción de metamatemática. La metamatemática tiene
por objeto los sistemas formales de la matemática y, por tanto, también de la ...
Emilio Díaz Estévez, 1975
8
Pensamiento psicoanalítico y matemático
Su idea es que si cada expresión del cálculo se asocía con un número de Gódel,
pueda construirse una proposición metamatemática acerca de la expresión de
sus relaciones mutuas como una proposición, también, de los números de ...
Roberto Castro Rodríguez, 2006
9
Modelos y simulación en economía y administración
Wallis, 2003; La formalización metamatemática de los sistemas digitales de
eventos discretos. 2.- Berinde, 2004: La investigación metamatemática sobre el
cálculo computacional digitalizado aplicado a la resolución de las situaciones de
...
Raúl O. Dichiara (Compilador)
10
Donde no habita el olvido: en el 40 aniversario de la ...
Barinaga Mata, J.: "Metamatemática y metalógica", Euclides 3/23, enero 1943. "
Las paradojas semánticas y sus relaciones con la metamatemática" Euclides, 3/
35, enero 1944. Blanché, R., La logiejue et son histoire, Armand Colín, París, ...
Salvador López Arnal, Albert Domingo Curto, De la Fuente Collell, Pere, 2005
5 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «METAMATEMÁTICA»
Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término
metamatemática en el contexto de las siguientes noticias.
George Steiner: “Estamos matando los sueños de nuestros niños”
... a algo tan inasible para el común de los mortales como “la demostración de Dios a través de procesos científicos como la lógica modal y la metamatemática”, ... «EL PAÍS, Jul 16»
Arranca el Programa de Atención Intensiva a estudiantes de segundo
... el Programa de Atención Intensiva a estudiantes de segundo grado de primaria, que busca reforzar habilidades de lectoescritura y Metamatemáticas de 7 mil ... «Puebla Noticias, Jul 15»
Economia pós-crise
... de uma gama muito mais ampla de pensamento sobre a vida econômica, que vai desde o épico Sumério de Gilgamesh até a metamatemática de hoje. «veja.com, Jul 14»
Paella y homenaje
... cosa bastante difícil para aquellos que tenemos una formación fisicoquímica-metamatemática. Sin olvidarme de que fue la ideóloga que se publicara uno de ... «ElLitoral.com, Ago 12»
La realidad, entendida como totalidad, se compone de holones
en la metamatemática, no hay ninguna prueba de consistencia para el sistema S (y aún menos la hay si restringimos de alguna manera los medios de prueba)". «Tendencias Científicas, May 06»