SOURCES
- Bovykin, A. (2007). Brief introduction to unprovability [Scholarly project]. In Cs.umd.edu. Retrieved December 05, 2020, from https://www.cs.umd.edu/~gasarch/TOPICS/largeramsey/bovINTRO.pdf
- Chang, C. (Director). (2016, November 14). Impossible Programs (The Halting Problem) [Video file]. Retrieved December 3, 2020, from https://www.youtube.com/watch?v=wGLQiHXHWNk&t=316s
- Chang, C. (Director). (2016, December 14). Math's Existential Crisis (Gödel's Incompleteness Theorems) [Video file]. Retrieved December 3, 2020, from https://www.youtube.com/watch?v=YrKLy4VN-7k
- Chang, C. (Director). (2017, January 25). Gödel's First Incompleteness Theorem, Proof Sketch [Video file]. Retrieved December 3, 2020, from https://www.youtube.com/watch?v=svOTZEbj3ys
- Chang, C. (Director). (2017, February 18). Gödel's Second Incompleteness Theorem, Proof Sketch [Video file]. Retrieved December 3, 2020, from https://www.youtube.com/watch?v=7fvkbvWaRPk
- Driessen, A. (2005). Philosophical consequences of the Gödel theorem [Scholarly project]. In Philarchive.org. Retrieved December 04, 2020, from https://philarchive.org/archive/DRIPCO
- Hosch, W. L. (2010, December 1). Peano axioms. Retrieved December 04, 2020, from https://www.britannica.com/science/Peano-axioms
- Lamoureux, A. (2018, July 11). The Tragic Life Of Kurt Gödel, The Renowned Mathematician So Paranoid That He Starved Himself To Death. Retrieved December 05, 2020, from https://allthatsinteresting.com/kurt-godel
- Raatikainen, P. (2020, April 02). Gödel's Incompleteness Theorems. Retrieved December 03, 2020, from https://plato.stanford.edu/entries/goedel-incompleteness/
- Wolchover, N. (2020, July 14). How Gödel’s Proof Works. QuantaMagazine. https://www.quantamagazine.org/how-godels-incompleteness-theorems-work-20200714/
