Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/185826| Title: | Tesis de Church-Turing |
| Author: | Vendrell Titó, Pau |
| Director/Tutor: | Martínez Alonso, Juan Carlos |
| Keywords: | Màquines de Turing Treballs de fi de grau Algorismes computacionals Teoria de la computació Lògica matemàtica Turing machines Bachelor's theses Computer algorithms Theory of computation Mathematical logic |
| Issue Date: | 18-Jun-2021 |
| Abstract: | [en] Church-Turing thesis states that the intuitive notion of an algorithm corresponds to the notion of a Turing machine. In this work we will show the main arguments that support this claim: the implementation of the basic algorithmic structures by means of Turing machines, and specially the equivalence between the notion of a Turing machine and other mathematical formulations of the notion of an algorithm. |
| Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Juan Carlos Martínez Alonso |
| URI: | http://hdl.handle.net/2445/185826 |
| Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| tfg_vendrell_tito_pau.pdf | Memòria | 577.1 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
