10

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