3 ms·
Show HN: I recently gave a talk on the incompleteness theorem, specifically expressed in the language of software. It starts with a bit of historical backgrou
by gregfjohnson 2mo ago
Show HN: I recently gave a talk on the incompleteness theorem, specifically expressed in the language of software. It starts with a bit of historical background and a discussion of some of the philosophical context in which he carried out his work. The second half of the talk is my attempt to show the beautiful essential idea at the core of Godel's idea, pitched to a technically knowledgeable general audience. These are the slides from the talk, not translated into web pages; YMMV.
Link: https://www.gregfjohnson.com/godel_incompleteness/ https://www.gregfjohnson.com/godel_incompleteness/
- fhe 2mo agoI hope you don't mind, but just in case anyone is curious like I am, here i think is the video to the talk https://www.youtube.com/watch?v=KdZq5JvhPVQ https://www.youtube.com/watch?v=KdZq5JvhPVQ
- rramadass 2mo agoThank You. This is key to understanding the slide deck shared by the author.
- rramadass 2mo agoVery Nice; Thank You! Is there a way to get a pdf of the slides?
- gregfjohnson 2mo agoGlad to! I put them on https://gregfjohnson.com/godel_incompleteness.pdf https://gregfjohnson.com/godel_incompleteness.pdf
- rramadass 1mo agoThank You.