User Denis

25 votes

Essays and thoughts on mathematics

answered Oct 5, 2015 at 14:20

11 votes

Accepted

The paradox with the first uncountable ordinal

answered Jun 6, 2013 at 13:44

8 votes

Useless math that became useful

answered Jan 4, 2014 at 17:57

7 votes

Examples where adding complexity made a problem simpler

answered Nov 25, 2012 at 0:59

6 votes

Modern Mathematical Achievements Accessible to Undergraduates

answered May 26, 2013 at 13:08

5 votes

Blackbox Theorems

answered Jun 13, 2012 at 21:34

5 votes

Transfinite induction vs induction in mathematics

answered Feb 4, 2014 at 17:14

4 votes

Accepted

Random Sequence : Definition of

answered Jun 8, 2013 at 17:47

3 votes

unbounded complexity

answered Sep 2, 2013 at 13:41

3 votes

Accepted

Varieties of rational languages and (pseudo-)varieties of finite monoids, question regarding closure property

answered Oct 7, 2013 at 15:42

3 votes

Accepted

Translate a buchi automaton to LTL

answered May 15, 2012 at 12:35

2 votes

Satisfiability problem for FOL[<,R]

answered Jun 29, 2012 at 15:50

1 vote

Minimal right ideals in finite semigroup

answered Jul 3, 2012 at 18:46

1 vote

Rabin's Tree Theorem

answered May 16, 2012 at 23:59

1 vote

Finite variation and idempotent languages and automata

answered Feb 1, 2012 at 18:00

1 vote

Can all programs reducible to ones with only arithmetic operations on inputs be simulated with polynomial overhead by arithmetic machine?

answered Apr 22, 2013 at 15:25

1 vote

Separating infinite words sharing factors by automata

answered Feb 18, 2014 at 10:37

0 votes

Construct by compactness (Pentagonal tiling – Rao paper)

answered Jun 17 at 15:05

0 votes

Question on weights and minimal degree

answered Jun 9, 2013 at 15:40

0 votes

Infimum of a finite number of distances in the plane

answered Apr 2, 2013 at 11:07

Stack Exchange Network

20 Answers

Essays and thoughts on mathematics

The paradox with the first uncountable ordinal

Useless math that became useful

Examples where adding complexity made a problem simpler

Modern Mathematical Achievements Accessible to Undergraduates

Blackbox Theorems

Transfinite induction vs induction in mathematics

Random Sequence : Definition of

unbounded complexity

Varieties of rational languages and (pseudo-)varieties of finite monoids, question regarding closure property

Translate a buchi automaton to LTL

Satisfiability problem for FOL[<,R]

Minimal right ideals in finite semigroup

Rabin's Tree Theorem

Finite variation and idempotent languages and automata

Can all programs reducible to ones with only arithmetic operations on inputs be simulated with polynomial overhead by arithmetic machine?

Separating infinite words sharing factors by automata

Construct by compactness (Pentagonal tiling – Rao paper)

Question on weights and minimal degree

Infimum of a finite number of distances in the plane