Significados de metamatemática em português

O papel e a importância da metamatemática são variáveis entre os autores formalistas.

Filosofar é procurar pensar para além da matemática, é fazer metamatemática.

Isto é, Frege não viu a finalidade da metamatemática de Hilbert.

A metamatemática tem as mesmas aparências e métodos que qualquer outro ramo da matemática.

Recuando um nível, na posição de Curry, a metamatemática é um ramo da matemática.

O objectivo da metamatemática é lançar luz num certo conteúdo, nomeadamente, linguagens formais e axiomatizações.

Era nesse ponto que a metamatemática entrava em cena.

Para Hilbert, a metamatemática finitária tem "conteúdo", ao contrário do resto da matemática.

Por certo, a metamatemática pode ser (e subsequentemente foi) formalizada.

Do mesmo modo que a aritmética pode ser aplicada à contagem, a metamatemática pode ser aplicada a sistemas dedutivos.

Esta metamatemática não é ela mesma, presumivelmente, a derivação de teoremas a partir de axiomas considerados como desprovidos de sentido.

A "aplicação" da metamatemática a linguagens formais e sistemas dedutivos é irrelevante paraa suaessênciacomoramo damatemática.

Ele não estava fazendo aquilo só por diversão: o ponto era codificar uma sentença metamatemática em particular -aquela que faria as paredes ruírem.

Se esta "teoria da consistência" (ou talvez metamatemática) fosse consistente, então o platonista forte declará-la-ia verdadeira acerca de alguma parte do universo matemático.

Assim, a metamatemática parece ser uma excepção ao tópico do dedutivismo (e formalismo de jogo), que defende que a matemática não necessita de conteúdo.

O papel e a importância da metamatemática são variáveis entre os autores formalistas.