1,255 reputation
220
bio website google.com
location Idaho
age 37
visits member for 1 year, 9 months
seen Mar 16 at 20:27

I primarily program in C++ and Java. Recently I started learning Haskell. My current mathematical interests are group theory, graph theory, category theory, and type theory. I also enjoy playing chess and Go.

Me on projecteuler.net

My GitHub projects.


Mar
18
awarded  Popular Question
Mar
16
comment Order 5 People of team A, 5 People of team B and 5 People of team C in line
I think you had the right idea to use the complement. However, your definition of the complement isn't correct. You should look at the probability that no one stands next to a team member.
Mar
16
revised Order 5 People of team A, 5 People of team B and 5 People of team C in line
grammar and wording
Mar
16
suggested suggested edit on Order 5 People of team A, 5 People of team B and 5 People of team C in line
Feb
23
revised Uniqueness of morphism (reasoning in categorial language).
grammar fixes
Feb
23
suggested suggested edit on Uniqueness of morphism (reasoning in categorial language).
Feb
17
answered Imaginary Numbers. Example of when it arises in a “real” application of math?
Feb
9
accepted Pointwise order of the Cartesian product of two preordered chains
Feb
9
accepted Identifying which “plain text” is in English
Feb
9
accepted Proving that the theorems of one logistic system are also theorems of another logistic system
Feb
9
revised Isomorphisms of direct products of finite abelian groups
formatting
Feb
9
comment Isomorphisms of direct products of finite abelian groups
I see a stray ! that should probably be a 1.
Feb
9
answered Isomorphisms of direct products of finite abelian groups
Feb
9
comment Isomorphisms of direct products of finite abelian groups
If I were working this problem, I would try to construct an isomorphism from $G_1$ to $H_1$. (Disclaimer: I'm a neophyte to group theory and can only vaguely remember the fundamental theorem of abelian groups, so there definitely might be a shorter approach.)
Feb
9
revised A problem with a boolean function.
removed unnecessary text
Feb
9
comment The symbol $n$? Natural numbers?
Can you provide some context? What textbook are you reading?
Feb
9
suggested suggested edit on A problem with a boolean function.
Feb
9
revised What do curly less than sign mean?
add a tag---
Feb
9
suggested suggested edit on What do curly less than sign mean?
Feb
9
answered What do curly less than sign mean?