MATH
Login Or Sign up

List Question

15
452
Views

How to prove the Church-Rosser theorem for combinatory logic

Published on
#logic #induction #formal-languages #combinatory-logic
294
Views

The definition of the Church numerals in combinatory logic

Published on
#logic #formal-languages #combinatory-logic
1.9k
Views

Why can't we formalize the lambda calculus in first order logic?

Published on
#logic #first-order-logic #lambda-calculus #combinatory-logic
69
Views

SKI combinatory calculus, $M$ doesn't have a normal form. Find $(M S)$ that has a normal form

Published on
#computer-science #lambda-calculus #combinatory-logic
41
Views

Is there a combinator such that $M \rightarrow_w Μ$?

Published on
#logic #solution-verification #combinatory-logic
76
Views

Combinators that form a 1-symbol basis of alternating associative combinatory logic

Published on
#computer-science #lambda-calculus #combinatory-logic
57
Views

Combinatory Logic Problem With Partial Reductions

Published on
#logic #type-theory #lambda-calculus #higher-order-logic #combinatory-logic
47
Views

Checking equivalence of combinatorial terms.

Published on
#solution-verification #lambda-calculus #combinatory-logic
28
Views

Can a CL-term have multiple fixed points?

Published on
#logic #lambda-calculus #combinatory-logic
64
Views

Defining the Y combinator in terms of S, K and I

Published on
#logic #lambda-calculus #combinatory-logic
126
Views

On a corollary of the Church-Rosser Theorem

Published on
#lambda-calculus #combinatory-logic
1k
Views

Fixed point combinator (Y) and fixed point equation

Published on
#fixed-point-theorems #lambda-calculus #combinatory-logic
322
Views

Intuitively speaking, why was there a need to "eliminate" quantified variables in mathematical logic?

Published on
#logic #intuition #math-history #combinatory-logic
150
Views

Proof of B, C, K, W system

Published on
#lambda-calculus #combinatory-logic
61
Views

What is this P4 correspond to in proposition as types?

Published on
#logic #lambda-calculus #combinatory-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.