Website review: Edge: G&DEL AND THE NATURE OF MATHE...
Someone discovered this in Logic
•2 reviews since Jul 29, 2005
logic
•edge.org/3rd_culture/vhd05/vhd05_index.html
People who like this website
- litvanov
San Francisco
- jackd
Milwaukee
- Mostly-Mica
Hobart
- henka
Hobart
- Jedencorrell
Oh Girl
- Janopus
San Franciso
- OliviaB
Namaste ~~~~~~~
StumbleUpon is the best way to discover great web sites, videos, photos, blogs and more - based on your interests.
Everything is submitted and rated by the community. Discover, share and review the best of the web!
Reviews of this website
Janopus rated 12 months ago- http://catallaxyfiles.com/?p=2573 hmmmm ... so Douglas Hofstadter has a new book out ... why didn't someone tell me? http://janopus.stumbleupon.com/review/9162135/
- henka rated 35 months ago
- From the page: ""It is well known that the development of mathematics in the direction of greater precision has led to the formalization of extensive mathematical domains, in the sense that proofs can be carried out according to a few mechanical rules..... It is reasonable therefore to make the conjecture that these axioms and rules of inference are also sufficient to decide all mathematical questions, which can be formally expressed in the given systems. In what follows it will be shown that this is not the case.""
