/explore
|
You are here 
|
jeremykun.wordpress.com | ||
| | | | |
a3nm.net
|
|
| | | | | List of open questions | |
| | | | |
grossack.site
|
|
| | | | | Chris Grossack's math blog and professional website. | |
| | | | |
www.jeremykun.com
|
|
| | | | | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up into more complex ones. This will take the form of subspaces and quotients, and through these we will make rigorous the notion of "gluing" and "building" spaces. | |
| | | | |
scottaaronson.blog
|
|
| | | (Thanks to Amit Sahai for spurring me to write this post!) The Background We all remember Gödel's First Incompleteness Theorem from kindergarten. This is the thing that, given a formal system F, constructs a sentence G(F) that's a mathematical encoding of "This sentence is not provable in F." If F proves G(F), then F proves... | ||
