171 reputation
7
bio website
location
age
visits member for 1 year, 11 months
seen Jun 7 at 10:17

Jul
2
awarded  Curious
Jan
15
awarded  Informed
Sep
2
accepted Lambda Calculus Equivalence
May
9
accepted Boolean Algebra Transform
May
9
comment Boolean Algebra Transform
Yes, they are AND and OR.
May
9
asked Boolean Algebra Transform
May
7
accepted Boolean Equation Transformation
May
6
asked Boolean Equation Transformation
Apr
18
accepted Identifying All Redexes in Lambda Expression
Apr
17
comment Identifying All Redexes in Lambda Expression
I see. So (λu.(λx.u)u) wouldn't be a redex then?
Apr
17
comment Lambda Calculus Expression Evaluation
Could you check this one out too? math.stackexchange.com/questions/363890/…
Apr
17
asked Identifying All Redexes in Lambda Expression
Apr
17
accepted Lambda Calculus Expression Evaluation
Apr
17
comment Lambda Calculus Expression Evaluation
Thanks. The process would be the same whether we do it in normal or applicative order, right?
Apr
17
asked Lambda Calculus Expression Evaluation
Apr
10
asked Software to Calculate Kernighan-Lin Algorithm on Graph
Mar
16
comment Software to Find Kernels/Co-Kernels of Boolean Expressions
Would you happen to know how to use the gkx function as well? I can't seem to get it to work.
Mar
16
accepted Software to Find Kernels/Co-Kernels of Boolean Expressions
Mar
16
comment Software to Find Kernels/Co-Kernels of Boolean Expressions
I take it back. Good work man.
Mar
16
comment Software to Find Kernels/Co-Kernels of Boolean Expressions
I have Logic Friday - I don't believe it does kernel and co-kernel calculations. I haven't used Octtools, but I don't see any evidence on their website that it does this either. I'm not looking for logic optimization, but for one specific step of it.