Szmagpie's user avatar
Szmagpie's user avatar
Szmagpie's user avatar
Szmagpie
  • Member for 8 years, 6 months
  • Last seen more than a month ago
  • United Kingdom
10 votes
2 answers
8k views

Fundamental group of a wedge sum, in general (e.g. when van Kampen does not apply)

9 votes
2 answers
12k views

Expected value of $\max\{X_1,\ldots,X_n\}$ where $X_i$ are iid uniform. [duplicate]

6 votes
1 answer
362 views

Which surface is homotopy equivalent to $\Bbb{R}^4$ minus the planes $x=y=0$, $z=w=0$?

6 votes
0 answers
2k views

Expected number of cycles of length $k$ in a random graph. My simple (too simple?) solution

5 votes
1 answer
267 views

True or False: there is a space $X$ such that $S^1$ is homeomorphic to $X\times X$

5 votes
1 answer
747 views

What is a probability distribution?

5 votes
2 answers
646 views

Completeness of product measure

5 votes
1 answer
1k views

Quantification over the set(?) of predicates

5 votes
1 answer
2k views

Convolution of PDFs is a PDF

4 votes
1 answer
737 views

Axiom of Choice implies the Well-Ordering Principle

4 votes
2 answers
589 views

Construction of a finite projective plane of order $p$, for any prime $p$

4 votes
1 answer
799 views

For every group $G$ there is a $2$-dimensional cell complex $X_G$ with $\pi_1(X_G)\cong G$.

4 votes
1 answer
613 views

What does Robinson's overspill lemma tell us?

3 votes
1 answer
380 views

Are 'numerals' closed under exponentiation?

3 votes
0 answers
145 views

Degree sequences of split graphs

3 votes
1 answer
164 views

First Incompleteness Theorem: Does the limit of $\mathsf{T}_n\cup\{\rho_{\mathsf{T}_n}\}$ exist?

3 votes
1 answer
1k views

Hatcher's proof of the van Kampen Theorem (injectivity of $\Phi$ – unique factorizations of $[f]$)

3 votes
3 answers
1k views

The problem of Free Variables in natural deduction rules ($\forall$, $\exists$, =).

3 votes
0 answers
1k views

The relationship between random variables, distribution functions and probability measures

3 votes
1 answer
833 views

Why do we use Dedekind cuts to define the real numbers?

2 votes
1 answer
71 views

Show that $3\cdot |A|<9^{|A|}$ for every $A$

2 votes
1 answer
92 views

Characteristic functions proof... $\mu\{x:|x|>r\}\le\tfrac r2\int_{-2/r}^{2/r}(1-\varphi(t))\,dt$

2 votes
1 answer
81 views

Integrating a linear-map valued function

2 votes
1 answer
100 views

Motivation for the (arithmetic) 'collection axioms' $B\varphi$

2 votes
0 answers
454 views

Can you rearrange terms in an infinite series without affecting the convergence?

2 votes
2 answers
351 views

Formally coding finite combinatorics/number theory in Peano arithmetic

1 vote
2 answers
145 views

Under what conditions does $\lim (a_n)^{1/n}$ converge?

1 vote
0 answers
53 views

If the series $\sum_{k=1}^\infty a_k$ diverges, must $\sum_{k=1}^\infty (g(k+1)-g(k))a_{g(k)}$ also diverge?

1 vote
2 answers
846 views

Size of the deck transformation group

1 vote
1 answer
73 views

Set theory: $\forall A\;\mathcal{P}(\bigcup A)\notin A$