Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker's user avatar
Charlie Parker
  • Member for 10 years, 2 months
  • Last seen this week
30 votes

Intuitive explanation of entropy

12 votes

Proof that the Euclidean norm is indeed a norm

4 votes

In the category $\mathbf{Set}$ is "the product of an empty set of sets a one-element set"?

3 votes

Why is $Th(\Sigma) := \{ \sigma : \Sigma \vdash \sigma \}$ an L-theory?

3 votes

What does discharging an assumption mean in Natural Deduction?

2 votes

Find DNF and CNF of an expression

2 votes

What is the proof that the rank of a matroid is sub-modular?

2 votes

How does one choose the step size for steepest descent?

2 votes

How can I correct my wrong Intuition that $\forall \, x \, \in \,\emptyset : P(x) \quad $ is false?

1 vote

Why is it obvious that if the intersection of all sets is empty then its complements cover the whole space?

1 vote

How to prove that the set $A = \left\{ {p:{p^2} < 2,p \in {\Bbb Q^+}} \right\}$ has no greatest element?

1 vote

Does choice of initial Theta effect Perceptron's convergence?

1 vote

What's wrong with this "backwards" definition of limit?

1 vote
Accepted

What does the notation $\int_A$ mean, where $A$ is an event in a probability space?

1 vote

What does the notation $\{ \pm 1 \}^X$ in relation to functions and hypothesis classes means in the context of PAC learning over half spaces?

1 vote

Is the left translation $T_a(x) =ax $ a homomorphism?

1 vote

How do we use derivatives in our daily lives

1 vote

Every sentence in propositional logic can be written in Conjunctive Normal Form

1 vote

Is the reason that vacuous statements are True because empty L-structures are illegal?

1 vote

Why is complete strong induction a valid proof method and not need to explicitly proof the base cases?

1 vote

Why is the definition of stronger statement the way it is in logic?

1 vote

Taking the derivative inside the integral (Liebniz Rule for differentiation under the integral sign)

0 votes

What is the difference between computably generated and computable?

0 votes

What does it mean for a set of L-sentences $\Sigma$ to be computable?

0 votes

Why is it that the complete L-theories containing $\Sigma$ are exactly those of models of $\Sigma$?

0 votes

Why is the list $1+N,1+2N, \dots, 1+(n+1)N$ relatively prime?

0 votes

How does one show $\Sigma \vdash p$ then $\Sigma \models p$ in propositional logic?

0 votes

How does one show a set of sentences are models of infinite vectors spaces over F?

0 votes

Proving equivalence of different definitions of sub modular functions

0 votes

What is the intuitive explanation of $\exists y \theta(x,y) \to \psi(x)$ is the same to $\forall y ( \theta(x,y) \to \psi(x) )$?