516 reputation
419
bio website
location
age
visits member for 4 years
seen Dec 7 at 21:40

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


Jul
4
revised Sum set fixpoint, how many iterations?
edited tags
Jun
19
revised Sum set estimates for cofinite integer sets
added 2 characters in body
Jun
19
revised Sum set estimates for cofinite integer sets
added 36 characters in body
Mar
19
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 868 characters in body
Mar
18
revised Contradiction Theorem
deleted 157 characters in body
Mar
18
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 37 characters in body
Mar
15
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
edited body
Jan
10
revised Has a Dependent Type always a Type?
edited body
Dec
27
revised Has a Dependent Type always a Type?
added 7 characters in body
Dec
13
revised How do proof verifiers work?
added 46 characters in body
Dec
12
revised How do proof verifiers work?
added 3 characters in body
Nov
29
revised Non Higher-Order Formulation of Gödels Incompletness Theorem
added 3 characters in body
Nov
29
revised Depth distribution of normalized decision trees?
added 1 characters in body
Aug
26
revised Depth distribution of normalized decision trees?
added 29 characters in body
May
1
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
added 9 characters in body
Apr
29
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
added 920 characters in body; deleted 4 characters in body
Apr
29
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
added 14 characters in body
Apr
29
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
deleted 268 characters in body
Apr
26
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
added 20 characters in body
Apr
26
revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$
edited tags