Dan Öz's user avatar
Dan Öz's user avatar
Dan Öz's user avatar
Dan Öz
  • Member for 1 year, 5 months
  • Last seen more than a month ago
11 votes
4 answers
777 views

What is the relation between the high school definition of a vector and the abstract algebra definition?

5 votes
1 answer
448 views

What is the difference, geometrically, between row vectors and column vectors?

5 votes
2 answers
121 views

Confusion on the definition of the inverse function

3 votes
1 answer
110 views

Axiomatic derivation of conditional from biconditional

2 votes
3 answers
403 views

How to formulate an induction principle for the set of all integers?

2 votes
2 answers
144 views

What is the intuition behind the probability intersection formula?

2 votes
2 answers
390 views

Proof in Peano Arithmetic

1 vote
2 answers
103 views

If there is an surjection $f : \Bbb{Z}^+ \to a$, then there is an injection $f : a \to \Bbb{Z}^+$ [duplicate]

1 vote
1 answer
54 views

Simple proof of $\phi \rightarrow \neg \neg \phi$

1 vote
1 answer
24 views

How to think about changes to the median

0 votes
0 answers
37 views

Assessing my proof about first-order Logic

0 votes
1 answer
83 views

How to enforce symmetry in a combination problem?

0 votes
1 answer
42 views

Probability that a sample of sweets is rejected

0 votes
0 answers
24 views

For any sentence $A$, the only sentence which is an initial segment of $A$ is $A$ itself

0 votes
0 answers
30 views

How to determine whether a data set is symmetric or approximately symmetric

0 votes
1 answer
62 views

Is my axiomatic proof of $\phi \vdash \neg \neg \phi$ correct?

0 votes
0 answers
38 views

I don't trust my proof of $ \neg ( \phi \rightarrow \neg \psi) \vdash \phi$

0 votes
0 answers
64 views

Why can we treat the numerator as a constant in partial fractions?

0 votes
0 answers
24 views

How do I show a non-geometric and non-arithmetic series converges? [duplicate]

0 votes
3 answers
297 views

Why is the conditional probability formula not the intersection of A and B over A, rather than the intersection over P(A)?

0 votes
0 answers
47 views

Why are all fields vector spaces over themselves?

0 votes
0 answers
49 views

Let R be a relation and A and B sets. Suppose A is a subset of B. If A is not empty, and R is transitive on A, must it also be transitive on B?

0 votes
1 answer
27 views

For any sentence $\phi$ of first-order logic, the only sentence which is an initial segment of $\phi$ is $\phi$ itself.

0 votes
1 answer
46 views

Explicit Substitution in Peano Arithmetic proofs.

0 votes
0 answers
33 views

Proof of $\forall y(Sx + y = S(x + y))$ in Peano Arithmetic.

0 votes
1 answer
23 views

Confusion about the import of the standard error

0 votes
0 answers
45 views

An injection from $\mathcal{P} (\mathbb{Z^{+})}$ to $\mathcal{P} (\mathbb{ N \times N)}$

0 votes
0 answers
49 views

I am defeated by the following propositional logic axiomatic proof: