Reputation
1,597
Next privilege 2,000 Rep.
Edit questions and answers
Badges
4 18
Impact
~36k people reached

May
21
answered Floor function to the base 2
May
11
awarded  Popular Question
May
5
revised Number of Distinct Axiomatic Systems
Describe construction of theories with models of arbitrary finite size
May
5
answered Simple Adding and Subtracting algorithm to get a current amount
May
5
comment Number of Distinct Axiomatic Systems
It can be written out explicitly by an algorithm. Here's a first-order theory where every model has exactly four elements: "a ≠ b. a ≠ c. a ≠ d. b ≠ c. b ≠ d. c ≠ d. For all e, e = a or e = b or e = c or e = d." You can do the same for any number n: think of n constants, then write down axioms asserting that no two of the constants are equal to each other, and then write down one more axiom asserting that everything equals one of the constants.
May
5
answered Number of Distinct Axiomatic Systems
Apr
16
comment Does this compound interest problem coincide to the value of e by coincidence?
$(1 + 1/n)^n$ is what you end up with if you start with $1$, and you're credited interest equal to one $n$th of your current balance, $n$ times.
Apr
13
comment What does the term “undefined” actually mean?
Note that this answer is taken from math.wikia.com/wiki/Undefined
Mar
22
revised How come, in this problem, the maximum product is always achieved using only $2$s and $3$s?
Rewrite question to use better English
Mar
22
suggested approved edit on How come, in this problem, the maximum product is always achieved using only $2$s and $3$s?
Mar
12
answered Can $f(\infty)$ be defined if the sequence $f(n)$ is divergent?
Jan
23
awarded  Good Answer
Jan
22
awarded  Mortarboard
Jan
22
awarded  Nice Answer
Jan
21
answered Why can a circle be described by an equation but not by a function?
Jan
19
answered What do mathematicians mean by “equipped”
Jan
12
awarded  Nice Answer
Jan
12
answered Is there a law that you can add or multiply to both sides of an equation?
Dec
8
comment How to prove this polynomial has an imaginary root?
I've spent a couple of minutes trying to think how to answer this question. I don't see how to prove that it's not the case that all of its roots are real. My only thought is the fact that by Descartes' rule of signs, not all of its roots are positive.
Sep
25
comment Is it true to say that “it's not logically possible to prove something can't be done”?
It looks like you're interpreting Asok's "can't be done" as "can't be proved within a formal system". I don't see any evidence that Asok is talking about formal systems; what's your reasoning?