Hans-Peter Stricker's user avatar
Hans-Peter Stricker's user avatar
Hans-Peter Stricker's user avatar
Hans-Peter Stricker
  • Member for 14 years, 4 months
  • Last seen this week
  • Germany
49 votes
6 answers
6k views

What is Yoneda's Lemma a generalization of?

43 votes
5 answers
9k views

Origins of names of algebraic structures

39 votes
7 answers
8k views

Spectral graph theory: Interpretability of eigenvalues and -vectors

33 votes
3 answers
6k views

Bringing Number and Graph Theory Together: A Conjecture on Prime Numbers

29 votes
2 answers
2k views

Why did Dedekind claim that $\sqrt{2}\cdot\sqrt{3}=\sqrt{6}$ hadn't been proved before?

23 votes
7 answers
2k views

Supervenience in mathematics

21 votes
3 answers
12k views

Quantum mathematics?

21 votes
4 answers
3k views

Can you determine whether a graph is the 1-skeleton of a polytope?

20 votes
13 answers
7k views

Longest coinciding pair of integer sequences known

19 votes
3 answers
6k views

Kuratowski's definition of ordered pairs

18 votes
7 answers
4k views

Simple show cases for the Yoneda lemma

18 votes
5 answers
4k views

Category theory and model theory as "natural" counterparts

17 votes
3 answers
977 views

Primacy of arcs/arrows over vertices/objects

17 votes
7 answers
2k views

Non-constructive proofs of decidability?

17 votes
3 answers
2k views

Gödel's Incompleteness Theorem and the complexity of arithmetic

16 votes
8 answers
6k views

Infinite groups which contain all finite groups as subgroups

15 votes
3 answers
2k views

Relativistic Cellular Automata

14 votes
1 answer
513 views

Contexts and notations for composing asymmetric simplices

12 votes
2 answers
3k views

Non-standard models of finite set theory

12 votes
4 answers
6k views

Undecidability in Conway's Game of Life

12 votes
5 answers
1k views

Predicates of infinite arity

12 votes
2 answers
706 views

Ways to define "definability"

11 votes
6 answers
1k views

Reasons for the importance of planarity and colorability?

11 votes
5 answers
9k views

Models of ZFC Set Theory - Getting Started

11 votes
5 answers
12k views

Number of permutations with a specified number of fixed points

10 votes
5 answers
871 views

What's the name of graphs with each vertex contained in a cycle?

10 votes
1 answer
1k views

Characterizations of Euclidean space

10 votes
1 answer
889 views

Spanning polytopes

10 votes
1 answer
1k views

Reconstruction conjecture: Can other decks do the job?

9 votes
3 answers
12k views

Number of trees with n nodes and m leaves

1
2 3 4 5
7