10

Answers
votes newest views recent
10
The concept of Duality
3
What’s a magical theorem in logic?
12
What could be some potentially useful mathematical databases?
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
2
Transition Graph per alphabet?
3
“Duals” of Lindenbaum algebras
1
Algorithm to compute certain poset from a given poset.
1
Do Turing Machines generates any nontrivial lattice on the set o symbols or states?
1
the maximal length of a special dicksonian sequence