Glossary entry (derived from question below)
English term or phrase:
provability
Spanish translation:
demostrabilidad; comprobabilidad
Added to glossary by
Yaotl Altan
Aug 13, 2007 17:59
17 yrs ago
1 viewer *
English term
provability
English to Spanish
Other
Mathematics & Statistics
math terms
no tengo mucho contexto, pero es similar al siguiente:
Provability Logic (Stanford Encyclopedia of Philosophy)Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability
Provability, Complexity, Grammars - Google Books Resultby Lev Dmitrievich Beklemishev, Mati Reĭnovich Pentus, Nikolai Konstantinovich Vereshchagin - 1999 - Mathematics
This volume contains English translations of three dissertations in mathematical logic and complexity theory.
books.google.com/books?isbn=0821810782...
[PDF] Provability-Based Semantic Interoperability via Translation GraphsFile Format: PDF/Adobe Acrobat - View as HTML
Key words: translation graphs, provability-based semantic interoper- .... with respect to provability. Ontologies can be related axiomatically using lifting ...
www.cogsci.rpi.edu/slate/library/docs/pbsitg.pdf - Similar pages
GRACIAS!
Provability Logic (Stanford Encyclopedia of Philosophy)Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability
Provability, Complexity, Grammars - Google Books Resultby Lev Dmitrievich Beklemishev, Mati Reĭnovich Pentus, Nikolai Konstantinovich Vereshchagin - 1999 - Mathematics
This volume contains English translations of three dissertations in mathematical logic and complexity theory.
books.google.com/books?isbn=0821810782...
[PDF] Provability-Based Semantic Interoperability via Translation GraphsFile Format: PDF/Adobe Acrobat - View as HTML
Key words: translation graphs, provability-based semantic interoper- .... with respect to provability. Ontologies can be related axiomatically using lifting ...
www.cogsci.rpi.edu/slate/library/docs/pbsitg.pdf - Similar pages
GRACIAS!
Proposed translations
(Spanish)
4 +2 | demostrabilidad | Yaotl Altan |
4 +1 | comprobabilidad | Cándida Artime Peñeñori |
4 | se puede probar/comprobar | Lydia De Jorge |
Change log
Aug 22, 2007 04:01: Yaotl Altan changed "Edited KOG entry" from "<a href="/profile/62392">Ivannia Garcia's</a> old entry - "provability"" to ""demostrabilidad; comprobabilidad ""
Proposed translations
+2
15 mins
Selected
demostrabilidad
http://www.usal.es/~viriato/filosofia/planuev2.html
http://www.geocities.com/elratotonto/apuntes2.doc
--------------------------------------------------
Note added at 17 mins (2007-08-13 18:17:17 GMT)
--------------------------------------------------
http://www.cibernetia.com/tesis_es/LOGICA/LOGICA_DEDUCTIVA/L...
--------------------------------------------------
Note added at 8 days (2007-08-22 04:00:32 GMT) Post-grading
--------------------------------------------------
A la orden, colega.
http://www.geocities.com/elratotonto/apuntes2.doc
--------------------------------------------------
Note added at 17 mins (2007-08-13 18:17:17 GMT)
--------------------------------------------------
http://www.cibernetia.com/tesis_es/LOGICA/LOGICA_DEDUCTIVA/L...
--------------------------------------------------
Note added at 8 days (2007-08-22 04:00:32 GMT) Post-grading
--------------------------------------------------
A la orden, colega.
4 KudoZ points awarded for this answer.
Comment: "gracias!!...me sospechaba algo por el estilo :)"
3 mins
se puede probar/comprobar
,
+1
15 mins
comprobabilidad
20th WCP: Razón y Lenguaje: La proximidad de razón y lenguaje en ...En la lógica tradicional la razón es la facultad de inferir, ... La ciencia no se realiza en primer lugar en el comprobabilidad de sus enunciados sino en el ...
www.bu.edu/wcp/Papers/Inte/InteJuli.htm - 19k - En caché - Páginas similares
--------------------------------------------------
Note added at 20 mins (2007-08-13 18:20:39 GMT)
--------------------------------------------------
También: confirmabilidad.
Filosofía de la Ciencia | tema 19La dependencia lógica entre enunciados científicos y proposiciones ... admitir la confirmabilidad como criterio, y desde 1949, desarrolló su teoría del ...
es.geocities.com/soloapuntes/cuarto/fc1/t19fc1.html - 8k - En caché - Páginas similares
tema 22Verificabilidad =====> Confirmabilidad. Introducción de la lógica probabilística. Grado de confirmación. Si en un momento se dispone de una serie de datos ...
www.dlsi.ua.es/~marco/himc/tema22.html - 10k - En caché - Páginas similares
CarnapEn 1928 publicó su Construcción lógica del mundo, que durante unos años vino a ser la ... de significado para una proposición empírica la confirmabilidad. ...
espanol.geocities.com/gruposer_cl/carnap.htm - 8k - En caché - Páginas similares
VI.3. RUDOLF CARNAPCon este tesoro, Carnap pudo terminar su texto Elementos de lógica matemática .... Pero además, Carnap distinguió entre la confirmabilidad, y la noción más ...
omega.ilce.edu.mx:3000/sites/ciencia/volumen3/ciencia3/161/html/sec_40.html - 18k - En caché - Páginas similares
www.bu.edu/wcp/Papers/Inte/InteJuli.htm - 19k - En caché - Páginas similares
--------------------------------------------------
Note added at 20 mins (2007-08-13 18:20:39 GMT)
--------------------------------------------------
También: confirmabilidad.
Filosofía de la Ciencia | tema 19La dependencia lógica entre enunciados científicos y proposiciones ... admitir la confirmabilidad como criterio, y desde 1949, desarrolló su teoría del ...
es.geocities.com/soloapuntes/cuarto/fc1/t19fc1.html - 8k - En caché - Páginas similares
tema 22Verificabilidad =====> Confirmabilidad. Introducción de la lógica probabilística. Grado de confirmación. Si en un momento se dispone de una serie de datos ...
www.dlsi.ua.es/~marco/himc/tema22.html - 10k - En caché - Páginas similares
CarnapEn 1928 publicó su Construcción lógica del mundo, que durante unos años vino a ser la ... de significado para una proposición empírica la confirmabilidad. ...
espanol.geocities.com/gruposer_cl/carnap.htm - 8k - En caché - Páginas similares
VI.3. RUDOLF CARNAPCon este tesoro, Carnap pudo terminar su texto Elementos de lógica matemática .... Pero además, Carnap distinguió entre la confirmabilidad, y la noción más ...
omega.ilce.edu.mx:3000/sites/ciencia/volumen3/ciencia3/161/html/sec_40.html - 18k - En caché - Páginas similares
Something went wrong...