2,910 reputation
1224
bio website dorais.org
location Hanover, NH
age
visits member for 3 years, 9 months
seen 5 hours ago

I like math and a few other things...


Jul
31
revised Solution space to a functional equation
minor correction
Jul
15
revised $\mu$-recursive definition of ulam (3n+1) function
removed superfluous computations; added some backslashes
Sep
5
revised What's the difference between these two Venn diagrams?
spelling in title
Sep
1
revised Descriptions of sets and the Axiom of Choice
correction
Aug
22
revised Karatsuba vs. Schönhage-Strassen for multiplication of polynomials
small correction
Aug
22
revised Karatsuba vs. Schönhage-Strassen for multiplication of polynomials
fixed typo
Aug
9
revised For every infinite $S$, $|S|=|S\times S|$ implies the Axiom of choice
rewording
Aug
9
revised For every infinite $S$, $|S|=|S\times S|$ implies the Axiom of choice
correction
Jul
18
revised Silver indiscernibles and constructibility
clarification; changed terminology to match the question
Jul
18
revised How is Kleene's T predicate defined?
added wikipedia links
Jul
10
revised Algorithm to determine if a Diophantine Equation has an infinite number of solutions
small addition
Jul
2
revised Prove that this is the solution to the given minimization problem
edited tags
Jun
22
revised Infinite number of mistakes in a proof
edited tags
Sep
27
revised Cardinality of $H(\kappa)$
added 3 characters in body
Sep
27
revised Cardinality of $H(\kappa)$
addendum
Jul
30
revised Why is compactness in logic called compactness?
addendum
Jul
28
revised genericness and the Zariski topology
improved wording
Jul
21
revised Good books and lecture notes about category theory.
edited tags
Jul
21
revised Best book ever on Number Theory
edited tags