We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Did you know? You can double click on a word to look it up on TermGallery.
Meanings of metamatemática in portugués
We have no meanings for "metamatemática" in our records yet.
Usage of metamatemática in portugués
1
O papel e a importância da metamatemática são variáveis entre os autores formalistas.
2
Filosofar é procurar pensar para além da matemática, é fazer metamatemática.
3
Isto é, Frege não viu a finalidade da metamatemática de Hilbert.
4
A metamatemática tem as mesmas aparências e métodos que qualquer outro ramo da matemática.
5
Recuando um nível, na posição de Curry, a metamatemática é um ramo da matemática.
6
O objectivo da metamatemática é lançar luz num certo conteúdo, nomeadamente, linguagens formais e axiomatizações.
7
Era nesse ponto que a metamatemática entrava em cena.
8
Para Hilbert, a metamatemática finitária tem "conteúdo", ao contrário do resto da matemática.
9
Por certo, a metamatemática pode ser (e subsequentemente foi) formalizada.
10
Do mesmo modo que a aritmética pode ser aplicada à contagem, a metamatemática pode ser aplicada a sistemas dedutivos.
11
Esta metamatemática não é ela mesma, presumivelmente, a derivação de teoremas a partir de axiomas considerados como desprovidos de sentido.
12
A "aplicação" da metamatemática a linguagens formais e sistemas dedutivos é irrelevante paraa suaessênciacomoramo damatemática.
13
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.
14
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.
15
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.
16
O papel e a importância da metamatemática são variáveis entre os autores formalistas.