A Set of Postulates for the Foundation of Logic

Church, A. (. A. S. o. P. f. t. F. o. L. (1932). A Set of Postulates for the Foundation of Logic. 33(2), 1932-1941.

Type

Journal article

Intellectual base

Primary research

Year

1932

Link

https://doi.org/10.2307/1968337 not authoritativeverified

Cited from

linguistics_semiotics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Meta-Symbolic Reflection
  • On Formally Undecidable Propositions) used Gödel numbering to encode the syntax of Principia Mathematica as arithmetic; Church's lambda calculus (1930s

    This sourceChurch lambda calculus computable functions symbolic manipulation.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:13bdc780da19 · see in the full table