Kleene–Rosser paradox
In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry's combinatory logic introduced in 1930, and Alonzo Church's original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935.
known for
Wikipage redirect
known for
primaryTopic
Kleene–Rosser paradox
In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Haskell Curry's combinatory logic introduced in 1930, and Alonzo Church's original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935.
has abstract
In mathematics, the Kleene–Ros ...... eene and J. B. Rosser in 1935.
@en
Na Matemática, o Paradoxo Klee ...... Kleene e J. B. Rosser em 1935.
@pt
Στα μαθηματικά, το Παράδοξο Κλ ...... και τον Τζ. Β. Ρόσερ το 1935.
@el
Парадокс Клини — Россера — мат ...... Стивеном Клини и в 1935 году.
@ru
수학에서 클레이니-로서 역설(영어: Kleene-Ros ...... 935년 스티븐 클레이니와 존 버클리 로서가 제안했다.
@ko
Link from a Wikipage to an external page
Wikipage page ID
14,258,729
page length (characters) of wiki page
Wikipage revision ID
1,020,526,057
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
In mathematics, the Kleene–Ros ...... eene and J. B. Rosser in 1935.
@en
Na Matemática, o Paradoxo Klee ...... Kleene e J. B. Rosser em 1935.
@pt
Στα μαθηματικά, το Παράδοξο Κλ ...... και τον Τζ. Β. Ρόσερ το 1935.
@el
Парадокс Клини — Россера — мат ...... Стивеном Клини и в 1935 году.
@ru
수학에서 클레이니-로서 역설(영어: Kleene-Ros ...... 935년 스티븐 클레이니와 존 버클리 로서가 제안했다.
@ko
label
Kleene–Rosser paradox
@en
Paradoxo Kleene-Rosser
@pt
Παράδοξο Κλέινι–Ρόσερ
@el
Парадокс Клини — Россера
@ru
클레이니-로서 역설
@ko