@St_Rev @DeityOfReligion @slatestarcodex Unless you're an ultrafinitist?
-
-
-
@othercriteria I actually want to say that if p is a finite number, the object Z/p and the map Z -> Z/p are definable by finite formulas... -
@othercriteria [p] is whatever is in the kernel of the map, which can easily be determined in any particular case, however you define Z. -
@othercriteria But that probably is not prissy enough for an ultrafinitist
End of conversation
New conversation -
-
-
@St_Rev How do We mathematics???? ಠ╭╮ಠThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.