B, C, K, W system (original) (raw)
The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930).
| Property | Value |
|---|---|
| dbo:abstract | The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930). (en) El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente por el matemático estadounidense Haskell Curry en su tesis doctoral Grundlagen der kombinatorischen Logik (Fundamentos de la lógica combinatoria). (es) B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCurry 1930において示された。 (ja) 1930年哈斯凱爾·加里在他的博士论文《Grundlagen der kombinatorischen Logik》中提议了一个組合子邏輯系統。它带有基本组合子B、C、K和W（采用了现在的命名）。 (zh) |
| dbo:wikiPageExternalLink | http://dkeenan.com/Lambda/index.htm http://www.angelfire.com/tx4/cus/combinator/birds.html https://doi.org/10.2307/2370619 https://web.archive.org/web/20081029051502/http:/cstein.kings.cam.ac.uk/~chris/combinators.html |
| dbo:wikiPageID | 550740 (xsd:integer) |
| dbo:wikiPageLength | 4013 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1078603177 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Lambda_calculus dbc:Combinatory_logic dbr:Intuitionistic_logic dbr:Peirce's_law dbr:Combinatory_logic dbr:Function_composition dbr:To_Mock_a_Mockingbird dbr:Law_of_excluded_middle dbr:Haskell_Curry dbr:Lambda_calculus dbr:Modus_ponens dbr:Classical_logic dbr:Implicational_propositional_calculus dbr:Raymond_Smullyan dbr:Sentential_logic dbr:SKI_combinator_calculus dbr:Argument_(computer_science) dbr:Hendrik_Pieter_Barendregt |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:ISBN dbt:Short_description |
| dct:subject | dbc:Lambda_calculus dbc:Combinatory_logic |
| gold:hypernym | dbr:Variant |
| rdfs:comment | The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930). (en) El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente por el matemático estadounidense Haskell Curry en su tesis doctoral Grundlagen der kombinatorischen Logik (Fundamentos de la lógica combinatoria). (es) B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCurry 1930において示された。 (ja) 1930年哈斯凱爾·加里在他的博士论文《Grundlagen der kombinatorischen Logik》中提议了一个組合子邏輯系統。它带有基本组合子B、C、K和W（采用了现在的命名）。 (zh) |
| rdfs:label | B, C, K, W system (en) Sistema B, C, K, W (es) B,C,K,Wシステム (ja) B,C,K,W系统 (zh) |
| owl:sameAs | freebase:B, C, K, W system wikidata:B, C, K, W system dbpedia-es:B, C, K, W system dbpedia-ja:B, C, K, W system dbpedia-zh:B, C, K, W system https://global.dbpedia.org/id/4zuZx |
| prov:wasDerivedFrom | wikipedia-en:B,_C,_K,_W_system?oldid=1078603177&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:B,_C,_K,_W_system |
| is dbo:wikiPageRedirects of | dbr:B,C,K,W_system dbr:B,_C,_K,_W_System dbr:B,C,K,W_System dbr:BCKW |
| is dbo:wikiPageWikiLink of | dbr:B,C,K,W_system dbr:B,_C,_K,_W_System dbr:List_of_functional_programming_topics dbr:Combinatory_logic dbr:To_Mock_a_Mockingbird dbr:B,C,K,W_System dbr:Lambda_calculus dbr:SKI_combinator_calculus dbr:BCKW |
| is foaf:primaryTopic of | wikipedia-en:B,_C,_K,_W_system |