Zobrazeno 1 - 10
of 183
pro vyhledávání: '"Lògica matemàtica"'
Autor:
Sánchez Rull, María
Aquest treball de fi de grau es centra en la creació de vídeos educatius en l’àmbit de les matemàtiques del grau de Tecnologies Industrials (GETI) a l’ETSEIB. La motivació darrere d’aquest treball sorgeix de la constatació de la manca de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3484::e110656412e5279c8e52cd7cc5e55904
https://hdl.handle.net/2117/390408
https://hdl.handle.net/2117/390408
Autor:
Fernàndez Dejean, Anton
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: Juan Carlos Martínez Alonso
[en] The purpose of this work is to prove the consistency of the negation of the Continuum Hypothesi
[en] The purpose of this work is to prove the consistency of the negation of the Continuum Hypothesi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a4ffe024cdaeebec8129cf4452766efa
http://hdl.handle.net/2445/189975
http://hdl.handle.net/2445/189975
Autor:
Pastó Pellicer, Paula
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria
[en] Peano’s arithmetic is given by a set of axioms that express the basic properties and operations of natural nu
[en] Peano’s arithmetic is given by a set of axioms that express the basic properties and operations of natural nu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______963::ede2a31abedaccd89c8fc840c423d3db
http://hdl.handle.net/2445/192141
http://hdl.handle.net/2445/192141
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Universitat Politècnica de Catalunya (UPC)
Just as Lascar’s notion of abstract rank axiomatizes the U rank, we propose axioms for the ranks SUd and SUf , the foundation ranks of dividing and forking. We study the relationships between these axioms. As with superstable, we characterize super
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dbd3652575944c793475754f267ef8f8
https://hdl.handle.net/2117/370976
https://hdl.handle.net/2117/370976
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
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2021-2022. Tutor: Joan Bagaria Pigrau
Throughout history, mathematicians have had to deal with infinity, always considering it in the
Throughout history, mathematicians have had to deal with infinity, always considering it in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::adff48dd75372b11a98744540cef366e
http://hdl.handle.net/2445/189745
http://hdl.handle.net/2445/189745
Autor:
Asensi Arranz, 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: 2022, Director: Enrique Casanovas Ruiz-Fornells
[en] One of the basic premises of model theory is the formalization of objects and the properties
[en] One of the basic premises of model theory is the formalization of objects and the properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e5f627d5c9124fbcf5fed9dc487bd975
http://hdl.handle.net/2445/186136
http://hdl.handle.net/2445/186136
Autor:
Evan Goris, Joost J. Joosten
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::570261df44f960be2ffeb6d5c8f00af6
https://doi.org/10.1017/jsl.2019.90
https://doi.org/10.1017/jsl.2019.90
Autor:
Vendrell Titó, Pau
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: 2021, Director: Juan Carlos Martínez Alonso
[en] Church-Turing thesis states that the intuitive notion of an algorithm corresponds to the notion
[en] Church-Turing thesis states that the intuitive notion of an algorithm corresponds to the notion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d70926a4654fcc2720373e1eff937b76
http://hdl.handle.net/2445/185826
http://hdl.handle.net/2445/185826