3,030 reputation
1325
bio website dorais.org
location Hanover, NH
age
visits member for 4 years, 2 months
seen yesterday

I like math and a few other things...


Aug
1
accepted Solution space to a functional equation
Jul
31
revised Solution space to a functional equation
minor correction
Jul
31
awarded  Student
Jul
31
asked Solution space to a functional equation
Jul
31
answered Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?
Jul
31
comment Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?
The usual statement is $\Pi_2$, but since the Collatz conjecture is a sentence it is equivalent to either $0=1$ or $0=0$... (Assuming we're working in the standard model. If you're asking whether the conjecture is provably equivalent to a $\Pi_1$ or $\Sigma_1$ sentence over PA or ZFC, that's a different matter.)
Jul
29
comment All real functions are continuous
A translation of Brouwer's original paper can be found in van Heijenoort's From Frege to Gödel: a source book in mathematical logic, 1879-1931 books.google.com/books/about/…
Jul
27
comment Intuitionistic Banach-Tarski Paradox
Actually, the Vitali case is not simpler, this is exactly how Banach-Tarski use the Axiom of Choice. Instead of the group $\mathbb{Q}$ acting on $\mathbb{R}$ by translation, we have a free group $F$ generated by two rotations which acts on the unit sphere $S_2$ and we must pick one representative from each orbit (i.e. equivalence class). As in the Vitali case, each orbit is dense in $S_2$ so (a very significant fragment of) the Law of Excluded Middle is required to separate the points of $S_2$ into mutually disjoint orbits.
Jul
20
awarded  Yearling
Jul
17
comment Existence of a prime ideal in an integral domain of finite type over a field without Axiom of Choice
For future reference, Wilfrid Hodges wrote an excellent paper called Six impossible rings [J. Algebra 31 (1974)] where he examines the three Noetherian conditions and the three Artinian conditions. Using six pathological rings, he concludes that no implications between these six conditions other than the obvious ones are provable in ZF.
Jul
15
revised $\mu$-recursive definition of ulam (3n+1) function
removed superfluous computations; added some backslashes
Jul
15
answered $\mu$-recursive definition of ulam (3n+1) function
Jun
8
awarded  Constituent
Jun
8
awarded  Caucus
May
27
comment A quick question about categoricity in model theory
Categorical theory is often used to mean a theory that is $\kappa$-categorical for every infinite cardinal $\kappa$.
Mar
28
awarded  Nice Answer
Feb
6
awarded  Nice Answer
Jan
30
awarded  Nice Answer
Dec
19
comment How can I prove that the additive group of rationals is not isomorphic to a direct product of two nontrivial groups?
Here is an approach: show that any two nontrivial subgroups of $\mathbb{Q}$ have nontrivial intersection. Seems very localized though, I would like to see a more general argument.
Oct
28
comment Properties of computable numbers
There is no effective enumeration of all computable numbers. However, there are effective enumerations of the Turing machines, but not all Turing machines compute real numbers. How should we think of those machines that don't compute real numbers?