Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya

G. L Kline, S. A. A. (1951). Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya.

Type

Unclassified

Intellectual base

Review or monograph

Year

1951

DOI

10.2307/2268665

Link

https://doi.org/10.2307/2268665

Cited by

1 citation across 1 artifact.

Domain-specific

• Entscheidungsproblem
  • The Entscheidungsproblem made effective decidability precise and its negative solution connected lambda definability, Turing computability, first-order validity, and undecidability.

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:bdaafa659589 · see in the full table