Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kleene–Rosser_paradox> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Kleene–Rosser_paradox abstract "In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930, and 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.".
- Kleene–Rosser_paradox wikiPageExternalLink IncCerForLog.
- Kleene–Rosser_paradox wikiPageID "14258729".
- Kleene–Rosser_paradox wikiPageLength "1710".
- Kleene–Rosser_paradox wikiPageOutDegree "16".
- Kleene–Rosser_paradox wikiPageRevisionID "628611729".
- Kleene–Rosser_paradox wikiPageWikiLink Alonzo_Church.
- Kleene–Rosser_paradox wikiPageWikiLink Annals_of_Mathematics.
- Kleene–Rosser_paradox wikiPageWikiLink Category:Lambda_calculus.
- Kleene–Rosser_paradox wikiPageWikiLink Category:Mathematics_paradoxes.
- Kleene–Rosser_paradox wikiPageWikiLink Category:Self-referential_paradoxes.
- Kleene–Rosser_paradox wikiPageWikiLink Combinatory_logic.
- Kleene–Rosser_paradox wikiPageWikiLink Consistency.
- Kleene–Rosser_paradox wikiPageWikiLink Currys_paradox.
- Kleene–Rosser_paradox wikiPageWikiLink Haskell_Curry.
- Kleene–Rosser_paradox wikiPageWikiLink J._Barkley_Rosser.
- Kleene–Rosser_paradox wikiPageWikiLink Lambda_calculus.
- Kleene–Rosser_paradox wikiPageWikiLink List_of_paradoxes.
- Kleene–Rosser_paradox wikiPageWikiLink Logic.
- Kleene–Rosser_paradox wikiPageWikiLink Mathematics.
- Kleene–Rosser_paradox wikiPageWikiLink Richards_paradox.
- Kleene–Rosser_paradox wikiPageWikiLink Stephen_Cole_Kleene.
- Kleene–Rosser_paradox wikiPageWikiLinkText "Kleene–Rosser paradox".
- Kleene–Rosser_paradox wikiPageWikiLinkText "Kleene–Rosser paradox".
- Kleene–Rosser_paradox wikiPageUsesTemplate Template:Cite_journal.
- Kleene–Rosser_paradox wikiPageUsesTemplate Template:Logical_paradoxes.
- Kleene–Rosser_paradox wikiPageUsesTemplate Template:Mathlogic-stub.
- Kleene–Rosser_paradox subject Category:Lambda_calculus.
- Kleene–Rosser_paradox subject Category:Mathematics_paradoxes.
- Kleene–Rosser_paradox subject Category:Self-referential_paradoxes.
- Kleene–Rosser_paradox hypernym Paradox.
- Kleene–Rosser_paradox type Model.
- Kleene–Rosser_paradox type Model.
- Kleene–Rosser_paradox type Redirect.
- Kleene–Rosser_paradox comment "In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930, and 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.".
- Kleene–Rosser_paradox label "Kleene–Rosser paradox".
- Kleene–Rosser_paradox sameAs Q6420095.
- Kleene–Rosser_paradox sameAs 클리네-로저_역설.
- Kleene–Rosser_paradox sameAs Paradoxo_Kleene-Rosser.
- Kleene–Rosser_paradox sameAs m.03czfsv.
- Kleene–Rosser_paradox sameAs Q6420095.
- Kleene–Rosser_paradox wasDerivedFrom Kleene–Rosser_paradox?oldid=628611729.
- Kleene–Rosser_paradox isPrimaryTopicOf Kleene–Rosser_paradox.