Swap the order of the Infinitude of Primes and the Irrationality of sqrt(2) sections #10

dcernst opened this Issue Apr 1, 2013 · 3 comments


None yet
2 participants

dcernst commented Apr 1, 2013

In the proof of the infinitude of primes section, you need to know that the product of all the primes plus 1 has a prime factor in order to derive a contradiction. However, this is justified by results from the following section.

@ghost ghost assigned dcernst Apr 1, 2013

I did this in #18


dcernst commented Mar 28, 2014

Great! I've put off merging your changes because I don't really know how to do that given that I made some changes independent of you. I know github is built specifically for this sort of thing, but it's still a bit of a mystery. If you have some pointers, I'll take them. Otherwise, I'll have to do this when I have more time to sit down and fiddle.

Since all of my changes are in a subdirectory, completely independent of your changes, you can merge my changes without any fear. Then you can easily compare my versions of the sections with your versions of the sections to see what the differences are.

@dcernst dcernst added the Important label Aug 14, 2015

@dcernst dcernst closed this in 47060ae Aug 16, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment