10 Answers votes newest views recent 12What could be some potentially useful mathematical databases? 10The concept of Duality 6Is there a theorem that says that there is always more than one way to “continue a finite sequence”? 3Program transformation as alternative for Hoare logic or temporal logic 3What’s a magical theorem in logic? 3“Duals” of Lindenbaum algebras 2Transition Graph per alphabet? 1Do Turing Machines generates any nontrivial lattice on the set o symbols or states? 1the maximal length of a special dicksonian sequence 1Algorithm to compute certain poset from a given poset.