Files

tfg_vendrell_tito_pau.pdf (577.1 KB)

Document type

Bachelor thesis

Publication date

2021-06-18

Publication license

cc-by-nc-nd (c) Pau Vendrell Titó, 2021
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/185826

Tesis de Church-Turing

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

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.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Juan Carlos Martínez Alonso

Subject

Màquines de Turing, Treballs de fi de grau, Algorismes computacionals, Teoria de la computació, Lògica matemàtica

Subject (English)

Turing machines, Bachelor's theses, Computer algorithms, Theory of computation, Mathematical logic

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

VENDRELL TITÓ, Pau. Tesis de Church-Turing. [consulted: 8 of June of 2026]. Available at: https://hdl.handle.net/2445/185826

Export metadata

JSON - METS

Share record