Sistema B

Sistema B

Sistema B,C,K,W

El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] Grundlagen der kombinatorischen Logik.[1]

Contenido

Introducción

Haskell Curry, en su tesis doctoral [GKL], propuso un sistema con las características funcionales separadas: asociación, conversión, cancelación y duplicación. Si además pedimos combinadores regulares, propios y (y entre estos, los minimales) quedan, con la nomenclatura actual, B, C, K y W. Como es difícil tener el sistema de axiomas combinatorios original reproducimos aquí la versión dada en Rosenbloom 1950. ([EML] usa prefijo de aplicación que convertimos a la notación infija usual y en el contexto de recuperar [GKL] deja I sin definir: por tanto, cuidado con lo que sigue los sigientes terminos)

Axiomas

  • 1) BI = I
  • 2) C(BB(BBB))B = B(BB)B
  • 3) C(BB(BBB))C = B(BC)(BBB)
  • 4) C(BBB)W = B(BW)(BBB)
  • 5) C(BBB)K = B(BK)I
  • 6) CBI = I
  • 7) B(B(BC)C)(BB) = BBC
  • 8) B(B(B(B(BW)W)(BC)))(BB)(BB) = BBW
    • error [EML]?
      • 8) B(B(B(B(BW)W)(BC)))B(BB)B = BBW
  • 9) BBK =BKK
  • 10) BCC = I
  • 11) B(B(BC)C)(BC) = B(BC(BC))C
  • 12) B(B(BW)C)(BC) = BCW
  • 13) BCK = BK
  • 14) BWC = W
  • 15) BW(BW) = BWW
  • 16) BWK = xxxxxxxxxxxxxxxxxxI

Reglas

Damos por sentadas las reglas de la igualdad.

Las combinatorias las presentamos como ecuaciones:

  • B x y z = x (y z)
  • C x y z = x z y
  • K x y = x
  • W x y = x y y

Véase también

Refrencia

  1. ↑ Curry (1930), Amer. J. Math.
  • [GKL] [Curry30] Curry, Haskell B.; Grundlagen der kombinatorischen Logik; Amer. J. Math.; 52:509-536;789-834 (1930)
  • [EML] [Rosenbloom50] Rosenbloom, Paul C.;

The Elements of Mathematical Logic, Dover 1950;

Obtenido de "Sistema B,C,K,W"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • sistema — |ê| s. m. 1. Conjunto de princípios verdadeiros ou falsos reunidos de modo que formem um corpo de doutrina. 2. Combinação de partes reunidas para concorrerem para um resultado, ou de modo a formarem um conjunto: Sistema nervoso; sistema… …   Dicionário da Língua Portuguesa

  • sistema — sustantivo masculino 1. Conjunto organizado de principios, reglas, instituciones, que rigen una cosa: sistema económico, sistema jurídico, sistema de gobierno. 2. Área: anatomía, biología Conjunto de órganos conectados entre sí, que contribuyen a …   Diccionario Salamanca de la Lengua Española

  • sistema — (Del lat. systēma, y este del gr. σύστημα). 1. m. Conjunto de reglas o principios sobre una materia racionalmente enlazados entre sí. 2. Conjunto de cosas que relacionadas entre sí ordenadamente contribuyen a determinado objeto. 3. Biol. Conjunto …   Diccionario de la lengua española

  • sistema — sistemà sf. (2) Š, DŽ, NdŽ, TrpŽ; Rtr, L 1. planingas, taisyklingas sudedamųjų dalių išdėstymas: Sistema – aibė elementų, kuriuos sieja tam tikri santykiai bei ryšiai, sudarantys vienybę rš. Sekos sistema SkŽ276. Klaidų radimo sistema SkŽ273. 2 …   Dictionary of the Lithuanian Language

  • sistema — m. anat. Conjunto de órganos que están formados por un mismo tejido y tienen una única función, como por ejemplo, el sistema circulatorio, nervioso, etc. Medical Dictionary. 2011. sistema …   Diccionario médico

  • sistema — statusas T sritis švietimas apibrėžtis Pedagoginė tikslų, turinio, priemonių, metodų ir formų visuma, kaip spręsti problemą ar atlikti darbą, atsižvelgiant į pedagogų ir ugdytinių savybes ir situaciją. Kiekvienas objektas yra sistema, pvz.,… …   Enciklopedinis edukologijos žodynas

  • sistema — acusatorio sistema crediticio sistema económico sistema inquisitivo Economía. Grupo de elementos o componentes interdependientes que pueden ser identificados y tratados como un conjunto …   Diccionario de Economía Alkona

  • sistema — acusatorio sistema crediticio sistema económico sistema inquisitivo Economía. Grupo de elementos o componentes interdependientes que pueden ser identificados y tratados como un conjunto …   Diccionario de Economía

  • sistema — statusas T sritis Kūno kultūra ir sportas apibrėžtis Bendros funkcijos siejamų organų visuma (pvz., širdies ir kraujagyslių sistema, kvėpavimo sistema, nervų sistema). kilmė gr. systema – sandara, junginys atitikmenys: angl. system vok. System, n …   Sporto terminų žodynas

  • Sistema 49 — (System 49) fue el diseño de transbordador espacial soviético que siguió al cancelado Spiral y que precedió al concepto MAKS. El orbitador habría tenido una masa de 13 toneladas y habría sido capaz de poner 4 toneladas en órbita, que… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”