Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Decidibilitat (Lògica matemàtica)"'
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
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