Thank god for spring break, I only have an assignment, lab, and project due which is practically nothing at all compared to what I've been doing. Now I can work on my projects and read some. This christmas I got several books dealing with the Incompleteness theroem. Basically hard limits of what can be known.
Godel started it by proving that there are as many mathmatically probelms that are well posed and have an answer, but cannot be solved as there are solvable problems. Then Church proved there are limits on what logic (philosophical type) can prove, and Turing proved that there are problems that computation can't solve. I only know of one example of these, but I want to know more about all of them.
Godel started it by proving that there are as many mathmatically probelms that are well posed and have an answer, but cannot be solved as there are solvable problems. Then Church proved there are limits on what logic (philosophical type) can prove, and Turing proved that there are problems that computation can't solve. I only know of one example of these, but I want to know more about all of them.
finch:
do you tend to read poetry, or is prufrock just a stand out for you? if you do tend to read, you should give me an idea of what you like, and i can give you a recommendation toward that aesthetic. if not, i can just pick some stuff that i like a lot. poetry recommendations are tough because there is just so much out there.