User cory knapp - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T15:51:09Z http://mathoverflow.net/feeds/user/2143 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15872/non-principal-ultrafilters-on Non-principal ultrafilters on ω Cory Knapp 2010-02-20T05:00:08Z 2010-02-20T16:54:19Z <p>I thought I had heard or read somewhere that the existence of a non-principal ultrafilter on $\omega$ was equivalent to some common weakening of AC. As I searched around, I read that this is not the case: neither countable choice nor dependent choice are strong enough.</p> <p>This leads me to two questions:</p> <p>Where would I find a proof that DC is not strong enough to prove the existence of a non-principal ultrafilter on $\omega$?</p> <p>Is the assumption that there exists a non-principal ultrafilter on $\omega$ strong enough to show DC or countable choice? I.e. is "there exists a non-principal ultrafilter on $\omega$" stronger than either of countable or dependent choice?</p> http://mathoverflow.net/questions/5450/cocktail-party-math/14873#14873 Answer by Cory Knapp for Cocktail party math Cory Knapp 2010-02-10T07:29:02Z 2010-02-10T07:29:02Z <p>When trying to talk about specific results, I really like talking about Cantor's Theorem (or at least, the special case of $2^{\aleph_0}$), and then, if they're willing to accept that, talk about ordinals a bit. If the audience isn't taking it, I'll generally talk about some arbitrary graph problem that comes to my head.</p> <p>But when asked, I typically try to approach it from the more philosophic perspective of "what mathematicians do"-- study abstract structure. (Or at least, that's the approach I take to math), and try to explain what that means, providing some examples here and there. The definition of group shows up a lot, since there are easy to understand examples of groups. I also view myself as a bit of an artist, so I tend to use analogies that deal with music and painting.</p> http://mathoverflow.net/questions/7058/coherent-spaces Coherent spaces Cory Knapp 2009-11-28T15:55:32Z 2009-12-09T20:23:24Z <p>In <em>Proofs and Types</em>, Girard discusses coherent (or coherence) spaces, which is defined as a set family which is closed downward ($a\in A,b\subseteq a\Rightarrow b\in A$), and binary complete (If $M\subseteq A$ and $\forall a_1,a_2\in M (a_1\cup a_2\in A)$, then $\cup M\in A$)</p> <p>It was informally related to topological spaces. Anyway, I have a couple pretty general questions: Are they particularly useful outside of type theory? Perhaps more specifically, do coherent spaces show up in topology?</p> <p>The last one raises up a philosophical question I've been pondering: Why is it that some structures seem to show up all over the place, while others that seem like they "should" be more or less equivalently useful don't seem to show up much at all? An example would be matroids versus topologies. I feel, morally, that matroids should be more useful than they seem to be.</p> <p>The last question probably doesn't have any sort of solid answer, but it would be nice to hear some thought from people with a stronger background.</p> <p>Cheers and thanks, Cory</p> <p><em>Edit</em>: After thinking about this some more, it has occurred to me that coherent spaces are a sort of "dual" to ultrafilters. I really don't have the background to be terribly formal, but, let me try to explain:</p> <p>Let $(X,C)$ be a coherent space, and call the elements of $C$ "open" (I think the analogy is justified, because adding $X$ to $C$ makes it a topology), then the closed sets form an ultrafilter. The one problem is that the closure under intersection is a bit strong (the set of closed sets is closed under <em>arbitrary</em> intersections). On the other hand, if $(X,U)$ is an ultrafilter, the set of complements of open sets <em>almost</em> forms a coherent space-- but the conditions on unions is just a little too weak.</p> <p>So, my next question is: Has this link been explored at all? Is there even anything there to explore?</p> <p>Thanks again.</p> http://mathoverflow.net/questions/7155/famous-mathematical-quotes/7165#7165 Answer by Cory Knapp for Famous mathematical quotes Cory Knapp 2009-11-29T20:37:35Z 2009-11-29T20:38:29Z <p>My favorite math quote will probably always be Paul Gordan's response to Hilbert's proof of his Basis Theorem: "This is not Mathematics. This is Theology."</p> <p>Along with his redaction after he came to accept the method: "I have convinced myself that even theology has its merits."</p> http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/23484#23484 Comment by Cory Knapp Cory Knapp 2010-06-09T01:42:53Z 2010-06-09T01:42:53Z It took me a long time to realize that was false as well... Still being an undergrad, I often catch myself trying to use that &quot;theorem&quot;. http://mathoverflow.net/questions/22998/is-there-a-deep-relationship-between-models-and-etale-cohomology-if-so-why-a Comment by Cory Knapp Cory Knapp 2010-04-29T16:15:09Z 2010-04-29T16:15:09Z This is not at all an answer to your question, but a friend of mine suggested a possible model-theoretic proof of the infinitude of Mersenne primes some time last year. It seemed to reduce the problem to a harder model theory problem (hence the fact that this proof was nver finished.) It seems to be a similar sort of thing: there's a nice model theoretic way of looking at a problem, and a lot of the work has already been done by model theorists somewhere. http://mathoverflow.net/questions/16829/what-are-your-favorite-instructional-counterexamples/16986#16986 Comment by Cory Knapp Cory Knapp 2010-03-04T03:15:24Z 2010-03-04T03:15:24Z I was really glad when my analysis professor first showed this example; I had the same realization that you did. http://mathoverflow.net/questions/16829/what-are-your-favorite-instructional-counterexamples/16835#16835 Comment by Cory Knapp Cory Knapp 2010-03-04T03:11:10Z 2010-03-04T03:11:10Z Thanks, Andrej; These are all really fun... now to pick them apart and internalize them. http://mathoverflow.net/questions/16193/value-of-of-course-in-the-mathematical-literature/16211#16211 Comment by Cory Knapp Cory Knapp 2010-02-24T01:00:18Z 2010-02-24T01:00:18Z I read the &quot;of course&quot; in that sentence to be something to counter what was said previously: &quot;(Some statement about irreducible modules); of course [i.e. however,], every irreducible module is completely reducible. http://mathoverflow.net/questions/15872/non-principal-ultrafilters-on/15873#15873 Comment by Cory Knapp Cory Knapp 2010-02-20T06:38:02Z 2010-02-20T06:38:02Z Thanks, indeed, Fran&#231;ois. That gives a more solid answer to my first question. http://mathoverflow.net/questions/15872/non-principal-ultrafilters-on Comment by Cory Knapp Cory Knapp 2010-02-20T05:32:25Z 2010-02-20T05:32:25Z Eep! Thanks... Not sure how I missed that. http://mathoverflow.net/questions/15872/non-principal-ultrafilters-on/15873#15873 Comment by Cory Knapp Cory Knapp 2010-02-20T05:26:02Z 2010-02-20T05:26:02Z Thanks. The article led me in exactly the direction I was looking. http://mathoverflow.net/questions/14358/groups-as-categories-and-their-natural-transformations Comment by Cory Knapp Cory Knapp 2010-02-06T06:09:45Z 2010-02-06T06:09:45Z @Steve: There is only one morphism between two objects, but I fail to see how this means the morphisms are irrelevant. A preorder only has only one morphism between any pair of objects, but I would hardly say that there is no relationship between objects and morphisms. @david: There will be more than one morphism with the same &quot;name&quot;, but these are distinct morphisms. In your example 1:1-&gt;0 and 1:0-&gt;1 are actually different morphisms. The category formed this way seems boring: As a picture, it will always be K_n with directed edges. (This gives a hint as to what a functor looks like.) http://mathoverflow.net/questions/7058/coherent-spaces/8389#8389 Comment by Cory Knapp Cory Knapp 2009-12-10T06:31:57Z 2009-12-10T06:31:57Z Thanks! That really informative, and gives me a place to look for them in the future. http://mathoverflow.net/questions/8295/origins-of-mathematical-symbols-names/8342#8342 Comment by Cory Knapp Cory Knapp 2009-12-09T16:28:56Z 2009-12-09T16:28:56Z I'm assuming omnia (literally all, I think) is used to mean something along the lines of &quot;sum&quot;. http://mathoverflow.net/questions/8056/what-are-good-non-english-languages-for-mathematicians-to-know/8090#8090 Comment by Cory Knapp Cory Knapp 2009-12-07T19:15:23Z 2009-12-07T19:15:23Z Speaking some German, my experience is probably useless here, but the only German texts I can consistently read without much difficulty are math texts. On the other hand, I can <i>almost</i> understand the gist of French texts while knowing &quot;no&quot; French. http://mathoverflow.net/questions/7584/what-are-the-most-misleading-alternate-definitions-in-taught-mathematics/7868#7868 Comment by Cory Knapp Cory Knapp 2009-12-06T12:15:46Z 2009-12-06T12:15:46Z I've never actually seen the second definition explicitly, although I've used it implicitly often enough. I don't completely see how that's a clearer exposition, though. http://mathoverflow.net/questions/7155/famous-mathematical-quotes/7175#7175 Comment by Cory Knapp Cory Knapp 2009-11-30T05:42:57Z 2009-11-30T05:42:57Z @Georges Elencwajg: &quot;Bewiessen&quot; was a indeed typo, but I was correcting the word <i>have</i> (the original said &quot;er have...&quot; Perhaps it is my inadequate German, but &quot;er habe..&quot; still seems to be an incorrect conjugation. http://mathoverflow.net/questions/7120/too-old-for-advanced-mathematics/7170#7170 Comment by Cory Knapp Cory Knapp 2009-11-29T21:29:03Z 2009-11-29T21:29:03Z I thought the justification for the &quot;under 40&quot; requirement for the Fields medal was to encourage future research. This is still a bit of a cop out, but it's worth noting.