Here it is:
Apparently two-sided limits are problematic in 2024.
Category Archives: Math
The One Change in the Remake of Mean Girls All the Other Websites Missed
Filed under Bagatelles, Math
Quadratic Reciprocity
Quadratic reciprocity has hundreds of proofs, but the nicest ones I’ve seen (at least at the elementary level) use Gauss sums. One variant uses the cyclotomic field ℚ(ζ), where ζ is a p-th root of unity. Another brings in the finite fields 𝔽p and 𝔽q.
I wrote up a long, loving, and chatty treatment several years ago, going through the details for several examples. Much longer than the proofs! The diagram up top may give you an inkling.
Anyway, here it is.
Filed under Number Theory
Nonstandard Models of Arithmetic 31
MW: Last time we learned about the “back-and-forth” condition for two countable structures M and N for a (countable) language L:
Filed under Conversations, Peano Arithmetic
Nonstandard Models of Arithmetic 30
MW: Time to finish off Enayat’s Theorem 7:
Theorem 7: Every countable recursively saturated model N of PA+ΦT is a T-standard model of PA.
Filed under Conversations, Peano Arithmetic
Nonstandard Models of Arithmetic 29
MW: We’re still going through Enayat’s proof of his Theorem 7:
Theorem 7: Every countable recursively saturated model N of PA+ΦT is a T-standard model of PA.
Filed under Conversations, Peano Arithmetic
Nonstandard Models of Arithmetic 28
MW: I ended the last post with a puzzle. Here it is again, in more detail.
Filed under Conversations, Peano Arithmetic
Nonstandard Models of Arithmetic 27
MW: Enayat’s second major result is:
Theorem 7: Every countable recursively saturated model of PA+ΦT is a T-standard model of PA.
Filed under Conversations, Peano Arithmetic
Very Unique
My unique (but not very unique) microwave
Everyone has their pet peeves, and peeves about language abound. My pet peeve is with people who object that “very unique” is illogical. For example, this pithy statement:
Uniqueness is a binary condition. Something is unique or it is not. There are no degrees of uniqueness. Something cannot be partly unique, mostly unique, very unique, etc.
Nonstandard Models of Arithmetic 26
MW: Continuing the recap… Continue reading
Filed under Peano Arithmetic
Diagonal Argument 