与 «METAMATEMÁTICĂ»相关的罗马尼亚语书籍
在以下的参考文献中发现
metamatemátică的用法。与
metamatemátică相关的书籍以及同一来源的简短摘要提供其在 罗马尼亚语文献中的使用情境。
1
Pagini de proză - Pagina 177
>metamatematică e lipsit de contrazicere cînd demonstrarea oricărei ziceri din acel sistem e imposibilă. Aşadar contradictoriu coincide în metamatematică cu universal-demon- strabil. Fireşte prin demonstrabil trebuie să înţelegem ...
2
Historia de la lógica - Pagina 403
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
3
Pragmática Da Comunição Humana - Pagina 36
Segundo David Hilbert (64), essa linguagem tem o nome de metamatemática. A estrutura formal da matemática é um cálculo; a metamatemática é esse cálculo expresso. Nagel e Newman definiram a diferença entre os dois conceitos com ...
4
Dicionario de dicionarios do galego medieval - Pagina 605
De acuerdo con Hilbert la metamatemática se ocupa de la descripción, discusión y teorización de los sistemas propuestos por las diferentes disciplinas matemáticas, y de manera importante estudia ciertas propiedades de estos sistemas, ...
Ernesto González Seoane, María Álvarez de la Granja, Ana Isabel Boullón Agrelo,
2006
5
Las teorías científicas: desarrollo, estructura, ... - Volumul 1 - Pagina 357
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 ...
Aşadar, contradictoriu coincide în Metamatematică cu universal-demonstrabil. Fireşte, prin demonstrabil, trebuie să înţelegem, aici, putinţa de a decide în sensul „adevăr" sau în sensul „fals". Litigiul între logicieni şi intuiţionişti revine în definitiv ...
Ion Barbu (Schriftsteller, Mathematiker), Mircea Coloşenco,
2000
7
Dicționar de logică - Pagina 288
Dacă avem în vedere lucrarea celebră a lui Kleene Introducere în metamatematică, atunci termenul m. este sinonim cu logica matematicii adică cu logica matematică (într-un sens restrâns) (v. Logică matematică). Paul Lorenzen a semnalat un ...
8
Analele Universitații București: Filosofie - Volumele 34-38 - Pagina 42
„Avînd în vedere natura acestui raţionament conţinutiv care trece cu totul în apropiere de paradox fără a se lovi de el, este foarte imporant că avem o demonstrație metamatematică finitistă strictă a teoremei lui Gödel. Această demonstraţie ...
Universitatea din București,
1985
9
Neointuiţionismul - Pagina 145
Metoda ar prezenta avânta jul dispensării de aşa-numita „metamatematică" care ar corespunde grupei a treia alcătuită din metaformule. Drumul pur formalist consta în a se porni de la matematică către matematica abstractă, adică de a ...
10
Fundamentos de filosofía de la ciencia y “René Guénon, el ...
... es decir, la distinción entre matemática y metamatemática Tarski habla de terminología matemática, método matemático y método metamatemático El método matemático se dirige a los entes matemáticos (números, funciones, conjuntos, ...
Armando Asti Vera, Francisco García Bazán,
2015