10 BÜCHER, DIE MIT «METAMATEMÁTICO» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
metamatemático in der folgenden bibliographischen Auswahl. Bücher, die mit
metamatemático im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
A construção poética do real
Não me interessava obviamente o Newton matemático, mas o metamatemático,
principalmente quando filosofava. Newton considerava a força de atração como
prova da insuficiência do mecanismo puro e simples, o que demonstrava a ...
Manuel Antônio de Castro, 2004
2
Práticas de modelagem matemática na educação matemática
A pseudorrealidade apresentase a nós comoconstituídapor estruturas, entes
matemáticos que não configuramainda o modeloprocurado,sendo seu caráter
matemático um tantoinformal, metamatemático. A passagemda realidade inicial ...
Lourdes Maria Werle de Almeida, Jussara de Loiola Araújo, Eleni Bisognin, 2011
3
O formal, o social e o subjetivo: uma introdução à filosofia ...
23 Em relação à matemática, portanto, pode-se dizer que ela só se pode tornar
científica se se tornar também metamatemática ou se se conscientizar do seu
caráter metamatemático. A matemática (e possivelmente todo conhecimento) ...
4
Folosofia: Dialogo de Horizontes
... impostor, um mero robó controlado por algoritmos. 'Esse teorema foi formulado
e provado, em l93l. por Kurt Gõdel. O teorema de Gõdel baseia- se num
paradoxo lógico formulado através de um enunciado metamatemático auto-
referencial ...
... e (3) o número de #s não é um múltiplo de 3”. Hilbert achava que a
formalização da aritmética seria possível, mas, em 1931, Kurt Gödel provou o
seguinte fato metamatemático: A ARITMÉTICA NÃO É INTEIRAMENTE
FORMALIZÁVEL ...
Joao de Fernandes Teixeira, 1998
6
História da computação: O Caminho do Pensamento e da Tecnologia
... com Gödel – há verdades que não podem ser demonstradas mediante uma
dedução formal, mas que podem ser demonstradas – o teorema da
incompletude de Gödel é uma prova disso – mediante um raciocínio
metamatemático informal.
—El término lo acuñó el gran 'metamatemático' Pitágoras, y aunque se cree que
la raíz está ligada con theoros, espectador, observador; lo que es verdad. Lo que
Pitágoras no confesó, pero pensó, es que implícitamente contiene la palabra ...
Jaime E. Vera Ibanez, Topiltzin II, 2008
8
Filosofia. Vol. I: Filosofia Del Lenguaje, Logica, Filosofia ...
METAMATEMÁTICO. VII.1. David. Hilbert. Hilbert (1862-1943) ha sido el
matemático más importante de la primera mitad del siglo XX. Hilbert fue el
primero que supo dar cuenta de la revolución producida por el desarrollo de las
geometrías ...
... a essas perguntas pressupõe a resolução de problemas que Platão só
enfrentará decisivamente em diálogos posteriores, problemas que ultrapassam a
esfera ético-afetiva e se enraízam no território metafísico ou, melhor,
metamatemático.
Sérgio Cardoso, Fundação Nacional de Arte (Brazil). Núcleo de Estudos e Pesquisas, 1987
4, "Concepções Intuicionistas" é novo. O cap. 5, "Enfoque metamatemático e
semântico" conserva, em linhas gerais, a forma antiga, embora, como se
sublinhou acima, se alterasse RESENHAS 481.
