Miguel Ángel @mianfg
Consulting Engineer at Cisco
An algorithmic perspective into the incompleteness of Mathematics
Final dissertation thesis for my double bachelor's degree in Computer Engineering and Mathematics
Apr 2023 - Jun 2023
logic, computer science, incompleteness, Python, Turing machines
⚠️ Important: this work is under development, which means that it will suffer abrupt changes until it is finished. I have decided to release this project in an "under development" state because of its interest.
You can find the current draft of the thesis in the GitHub repository (in Spanish). The repository also includes a code folder with all the Python programs needed for proofs and experimentation with computational models.