Zobrazeno 1 - 10
of 10
pro vyhledávání: '"teorema de Gödel"'
Autor:
Navarro Borraz, Iris
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria
[en] The present paper aims to show the consequences of Gödel’s incompleteness theorems on the foundations of mat
[en] The present paper aims to show the consequences of Gödel’s incompleteness theorems on the foundations of mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::725b817fb2548450721233f22c96dc45
http://hdl.handle.net/2445/186676
http://hdl.handle.net/2445/186676
Autor:
Javier Legris, Oscar M. Esquisabel
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Metatheoria
RIDAA (UNQ)
Universidad Nacional de Quilmes
instacron:UNQ
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Metatheoria
RIDAA (UNQ)
Universidad Nacional de Quilmes
instacron:UNQ
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Este volumen de Metatheoria incluye traducciones al castellano de los tres famosos trabajos sobre las escuelas de fundamentos de la matemática, el logicismo, el intuicionismo y el formalismo, expuestos en el Simposio de Königsberg sobre Fundamentos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea2da18ec06a27cf9cb5cf7028f5c003
https://www.metatheoria.com.ar/index.php/m/article/view/207
https://www.metatheoria.com.ar/index.php/m/article/view/207
Autor:
Vidal Agraz, Roger
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells
[en] Inspired by Gödel’s work, Henkin presented in 1952 the following problem: In any standard
[en] Inspired by Gödel’s work, Henkin presented in 1952 the following problem: In any standard
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33ab63e069a311c08dee736d07cc38d4
http://hdl.handle.net/2445/166541
http://hdl.handle.net/2445/166541
Autor:
Planagumà Franco, Marta
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joan Gispert Brasó
[en] Completeness theorem establishes a correspondence between semantic and syntactic interpretations of math
[en] Completeness theorem establishes a correspondence between semantic and syntactic interpretations of math
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ba7876c58b1ef62765126e093fad35ba
http://hdl.handle.net/2445/140548
http://hdl.handle.net/2445/140548
Autor:
Blanco, Javier
Publikováno v:
Repositorio Digital Universitario (UNC)
Universidad Nacional de Córdoba
instacron:UNC
Universidad Nacional de Córdoba
instacron:UNC
Pensamos. Y pensamos que pensar es una de las características distintivas de los bípedos implumes, distinción que ha provocado un salto evolutivo incalculable. A veces tratamos de calcular distintas cosas, por ejemplo cuándo pudo haber comenzado
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::c5661ce25777d5a43d3ee55ca6aa5a94
https://rdu.unc.edu.ar/handle/11086/20834
https://rdu.unc.edu.ar/handle/11086/20834
Autor:
Estivalet, Manuel Bauer
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFRGSUniversidade Federal do Rio Grande do SulUFRGS.
A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundla
Externí odkaz:
http://hdl.handle.net/10183/61217
Autor:
Juan Miguel Suay Belenguer
Publikováno v:
RIUMA. Repositorio Institucional de la Universidad de Málaga
instname
instname
Resumen: La mente humana es capaz de razonar, de manera similar que lo haría un ordenador, sobre cuestiones que son formuladas algorítmicamente, pero también es capaz de realizar otras funciones que algunos autores consideran que son imposibles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::232bdfb77ad90fa38e1de4d4d2943460
http://hdl.handle.net/10630/5125
http://hdl.handle.net/10630/5125
Autor:
Barés Gómez, Cristina
Publikováno v:
Digital.CSIC. Repositorio Institucional del CSIC
instname
instname
La filosofía del lenguaje ha tenido varios puntos de vista que no han llegada a fundirse. Por un lado, los estudios analíticos que finalmente resultan inalcanzables. Si basamos el análisis lingüístico en la formalización lógica, por más que n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ca9415130cd689aeee9dc85f2395df20
http://hdl.handle.net/10261/20188
http://hdl.handle.net/10261/20188
Autor:
Ruiz Floriach, Carles
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Buran; 1999: Núm.: 14; p. 37-38
Universitat Politècnica de Catalunya (UPC)
Buran; 1999: Núm.: 14; p. 37-38
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b7c083e73e7a34b51e486099c87ca9e
http://hdl.handle.net/2099/9619
http://hdl.handle.net/2099/9619