516 reputation
419
bio website
location
age
visits member for 3 years, 9 months
seen Sep 16 at 12:01

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following Google+ and Twitter streams:

Google+ Jekejeke Prolog
Twitter Jekejeke Prolog

We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+ and Twitter.

Have Fun


Dec
13
accepted How to deduce that something does not follow?
Dec
13
comment How to deduce that something does not follow?
Very nice derivation, thanks. When H is consistent then we cannot have H |- Q and H |- ~Q, therefore also not P |- Q.
Dec
13
accepted Natural order of rational trees?
Dec
13
revised How to deduce that something does not follow?
edited body
Dec
13
accepted Non Higher-Order Formulation of Gödels Incompletness Theorem
Dec
13
accepted Depth distribution of normalized decision trees?
Dec
13
asked How to deduce that something does not follow?
Oct
12
comment Natural order of rational trees?
Is it decidable for rational trees?
Oct
10
comment Natural order of rational trees?
Yes, roots are important. T = s(s(T,1),0) is not the same as S = s(s(S,0),1).
Oct
10
revised Natural order of rational trees?
added 6 characters in body
Oct
10
revised Natural order of rational trees?
added 8 characters in body
Oct
10
asked Natural order of rational trees?
Sep
12
awarded  Tumbleweed
Sep
5
revised Better compression for a positive DNF than via BDD
edited title
Sep
5
revised Better compression for a positive DNF than via BDD
added 37 characters in body
Sep
5
revised Better compression for a positive DNF than via BDD
added 4 characters in body
Sep
5
asked Better compression for a positive DNF than via BDD
Jul
20
revised Has a Dependent Type always a Type?
edited body
Jul
9
awarded  Benefactor
Jul
9
accepted Sum set fixpoint, how many iterations?