| dbo:abstract
|
- Στα μαθηματικά, το Παράδοξο Κλέινι-Ρόσερ είναι ένα παράδοξο που δείχνει ότι ορισμένα συστήματα της τυπικής λογικής είναι ασυνεπής, ιδίως με την έκδοση της Συνδυαστικής Λογικής του Κάρυ ( Curry's ) που εισήχθη το 1930, και ο αρχικός λάμδα λογισμός του Τσερτς, που εισήχθη το 1932–1933. Και οι δύο προορίζονται αρχικά ως συστήματα της τυπικής λογικής. Το παράδοξο εκτέθηκε από τον Στίβεν Κλέινι και τον Τζ. Β. Ρόσερ το 1935. (el)
- 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. (en)
- 수학에서 클레이니-로서 역설(영어: Kleene-Rosser paradox)은 형식 논리의 특정 시스템에서 결점을 보인 역설이다. 1930년 부분적인 커리(Curry)의 조합 논리 버전이 발표됐으며, 1932년에서 1933년 사이에 알론조 처치의 원본 람다 버전이 소개됐다. 두 논리 모두 형식 언어의 시스템을 의도했다. 이 역설은 1935년 스티븐 클레이니와 존 버클리 로서가 제안했다. (ko)
- Na Matemática, o Paradoxo Kleene-Rosser que mostra que certos sistemas da Lógica formal são inconsistentes, em particular a versão de Lógica combinacional de Curry introduzida em 1930, e o Cálculo lambda original de Church, introduzido em 1932–1933, ambos originalmente concebidos como sistemas de lógica formal. O paradoxo foi exibido por Stephen Kleene e J. B. Rosser em 1935. (pt)
- Парадокс Клини — Россера — математический парадокс, показывающий, что определённые системы формальной логики являются противоречивыми. В частности, это затрагивает версию комбинаторной логики, предложенную Хаскеллом Карри в 1930 году, а также исходный вариант лямбда-исчисления, разработанный Алонзо Чёрчем в 1932—1933. Парадокс был представлен Стивеном Клини и в 1935 году. (ru)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1786 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Στα μαθηματικά, το Παράδοξο Κλέινι-Ρόσερ είναι ένα παράδοξο που δείχνει ότι ορισμένα συστήματα της τυπικής λογικής είναι ασυνεπής, ιδίως με την έκδοση της Συνδυαστικής Λογικής του Κάρυ ( Curry's ) που εισήχθη το 1930, και ο αρχικός λάμδα λογισμός του Τσερτς, που εισήχθη το 1932–1933. Και οι δύο προορίζονται αρχικά ως συστήματα της τυπικής λογικής. Το παράδοξο εκτέθηκε από τον Στίβεν Κλέινι και τον Τζ. Β. Ρόσερ το 1935. (el)
- 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. (en)
- 수학에서 클레이니-로서 역설(영어: Kleene-Rosser paradox)은 형식 논리의 특정 시스템에서 결점을 보인 역설이다. 1930년 부분적인 커리(Curry)의 조합 논리 버전이 발표됐으며, 1932년에서 1933년 사이에 알론조 처치의 원본 람다 버전이 소개됐다. 두 논리 모두 형식 언어의 시스템을 의도했다. 이 역설은 1935년 스티븐 클레이니와 존 버클리 로서가 제안했다. (ko)
- Na Matemática, o Paradoxo Kleene-Rosser que mostra que certos sistemas da Lógica formal são inconsistentes, em particular a versão de Lógica combinacional de Curry introduzida em 1930, e o Cálculo lambda original de Church, introduzido em 1932–1933, ambos originalmente concebidos como sistemas de lógica formal. O paradoxo foi exibido por Stephen Kleene e J. B. Rosser em 1935. (pt)
- Парадокс Клини — Россера — математический парадокс, показывающий, что определённые системы формальной логики являются противоречивыми. В частности, это затрагивает версию комбинаторной логики, предложенную Хаскеллом Карри в 1930 году, а также исходный вариант лямбда-исчисления, разработанный Алонзо Чёрчем в 1932—1933. Парадокс был представлен Стивеном Клини и в 1935 году. (ru)
|
| rdfs:label
|
- Παράδοξο Κλέινι–Ρόσερ (el)
- Kleene–Rosser paradox (en)
- 클레이니-로서 역설 (ko)
- Paradoxo Kleene-Rosser (pt)
- Парадокс Клини — Россера (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
