title: Humus

text: El humus puede acumularse y crecer muy lentamente en climas fríos, hasta llegar a ser un sumidero de carbono, pero en los climas cálidos puede mineralizarse y desaparecer muy rápidamente. Por lo general, está ausente de los bosques tropicales, pero el hombre lo ha producido localmente en la Amazonía, a partir de carbón vegetal, un equivalente de humus llamado "Terra preta". Algunos entornos muy específicos pueden mostrar grandes acumulaciones de materia orgánica humificada, que constituyen zonas "sumidero de carbono": se trata de las turberas en climas fríos (montañas, regiones boreales) y grandes acumulaciones observadas en los bosques sobre "arena blanca" en las zonas tropicales.


title: Humus

text: El humus constituye una reserva importante de materia orgánica en el suelo. Es útil para el agricultor, jardinero o forestal conocer la cantidad total de humus y su calidad. Una pista de su calidad es la relación carbono/nitrógeno del suelo. Una relación C/N de 10/1 (o menos) indica una buena actividad biológica del suelo, mientras que la relación C/N (20/1 o más) indica una ralentización de esta actividad. El olor y la observación visual, así como la observación al microscopio de los organismos que lo componen, proveen información sobre la calidad de humus, y, si es necesario, el análisis de su composición química.


title: Humus

text: El humus, en el sentido químico del término, se compone de humus libre = materia orgánica humificada, no unida con arcillas u óxidos metálicos, y humus consolidado. El humus libre es fácilmente biodegradable (excepto en suelos muy ácidos, o anegados) y migra fácilmente al perfil en suelos bien drenados. Durante el proceso de lixiviación, hay una acumulación profunda de compuestos húmicos no biodegradables, que puede formar complejos con metales. El humus consolidado es más estable y es más interesante en usos agrícolas por su longevidad y su capacidad de intercambio catiónico (CCA) y aniónico.


title: Humus

text: Según que el humus se haya formado en un suelo aireado o no (por ejemplo, debido a una saturación de agua o compactación repetida) se puede clasificar en dos categorías: Los complejos arcillo-húmicos ("CAH") se forman por la combinación de arcillas y de humus, los dos en estado floculado, seguido del trabajo de los microorganismos del suelo, y sobre todo de las lombrices, que gracias a su presencia en medio líquido (como en un tubo de ensayo) pueden unir estas moléculas (negativamente polarizadas) por un catión bivalente: el calcio (Ca). Parece que el mucus de algunos organismos también puede desempeñar un papel en la formación de estos complejos que se hacen estables e insolubles una vez secos (como el cemento cuando "fragua"), lo que explica la resistencia del humus al agua y a la erosión y el mantenimiento de su estructura y su excepcional capilaridad.


title: Humus

text: Los aportes de biocidas, plaguicidas, y fertilizantes pueden degradar o eliminar el humus.


title: Humus

text: La labranza destruye el humus al enterrarlo, causando una mineralización muy rápida de la materia orgánica y la pérdida de suelo que puede llegar a 10 toneladas/año en las zonas templadas y hasta varios cientos de toneladas en los trópicos.


title: Humus

text: La pérdida de humus también se refleja en un fenómeno de glacis en los suelos labrados, lo cual reduce considerablemente su capacidad de absorber agua. Los suelos contaminados por pesticidas y el exceso de nitratos (responsables del aumento de algas verdes y cianobacterias visibles sobre el terreno) arrastran las partículas finas que aumentan la turbidez de ríos y arroyos.


title: Humus

text: Hoy en día, hay muchos métodos para el cultivo sin destruir el humus: agricultura biológica, siembra directa, madera de ramas fragmentada, agricultura natural, agricultura regenerativa.


title: Subrahmanyan Chandrasekhar

text: Subrahmanyan Chandrasekhar ( 19 de octubre de 1910 - 21 de agosto de 1995) fue un físico teórico, astrofísico y matemático estadounidense de origen indio. Subrahmanyan Chandrasekhar nació en Ludhiana pero creció principalmente en Madrás


title: Subrahmanyan Chandrasekhar

text: Ganó el en 1983 compartido con William Fowler por sus estudios sobre los procesos importantes en la estructura y evolución estelares. Se graduó en la Universidad de Madrás y se doctoró en la Universidad de Cambridge, aunque trabajó en la Universidad de Chicago desde 1937 hasta su muerte en 1995.


title: Subrahmanyan Chandrasekhar

text: Además del Premio Nobel, le fueron concedidas la "Henry Norris Russell Lectureship" de la American Astronomical Society (1949), la "Medalla Bruce" de la Sociedad Astronómica del Pacífico (1952), la "Medalla de oro de la Real Sociedad Astronómica" (1953), la "Medalla Henry Draper" de la Academia Nacional de Ciencias de Estados Unidos (1971) y la "Medalla Copley" de la Royal Society (1984).


title: Subrahmanyan Chandrasekhar

text: En 1999, la NASA llamó en su honor al tercero de sus cuatro Grandes Observatorios, el Observatorio de rayos X Chandra. Incluso un asteroide, el "1958 Chandra", le debe su nombre.


title: Subrahmanyan Chandrasekhar

text: Su nombre y apellido ―que se pronuncia "[subrajmánian chándra shékjar]"― son dos nombres del dios Shiva.


title: Subrahmanyan Chandrasekhar

text: En idioma sánscrito, Subrahmanyan (सुब्रह्मण्य) significa ‘el que es favorable a los sacerdotes’, siendo "su:" ‘muy’; y "brahmanya:" ‘amistoso con los brahmanes’.


title: Subrahmanyan Chandrasekhar

text: Chandrasekhar (चन्द्रशेखर) significa ‘el que tiene a la Luna como la joya cimera de la cabeza’; siendo Chandra: la Luna (o el dios de la Luna); y "shékhar:" la coronilla de la cabeza, una corona, una diadema, una corona de flores, la cima de una montaña, la parte más elevada, lo más hermoso de algo, el verso introductorio de una canción (recurrente como estribillo). Es un nombre del dios Shiva, cuyo iconografía le muestra con una media luna sobre la cabeza.


title: Subrahmanyan Chandrasekhar

text: En 1930, Chandrasekhar ingresó en el "Trinity College" de la Universidad de Cambridge, Inglaterra. Por aquel entonces leyó uno de los libros de Arthur Eddington, "The Internal Constitution of Stars", que le influyó profundamente. En dicho libro, Eddington sostenía que las estrellas acababan sus vidas transformadas en objetos pequeños del tamaño de la Tierra y conocidos como enanas blancas, tras agotar sus fuentes de energía. Chandrasekhar incluyó en sus cálculos efectos de tipo cuántico y relativistas, concluyendo que tan solo las estrellas de baja masa podían terminar sus vidas tal y como Eddington había planteado. Sus cálculos más elaborados mostraban que para estrellas de masa superior a 1,4 la masa de nuestro propio Sol, estas, en ausencia de una fuente interna de calor, se colapsarían por debajo del tamaño terrestre. Este límite se conoce como límite de Chandrasekhar. Sus descubrimientos apuntaban a la formación de estrellas de neutrones y agujeros negros.


title: Subrahmanyan Chandrasekhar

text: En 1937, Chandrasekhar aceptó un trabajo en la Universidad de Chicago, donde permanecería durante el resto de su carrera científica. En Chicago, Chandrasekhar inició una nueva línea de trabajo que culminaría en la publicación de su obra "The Principles of Stellar Dynamics" (1942). Durante la Segunda Guerra Mundial, Chandrasekhar colaboró con otros físicos de la Universidad de Chicago ―como Enrico Fermi― en el Proyecto Manhattan. A comienzos de los años 1950, Chandrashekhar estudió detalladamente el transporte radiativo en el interior de las estrellas, pero su trabajo en este campo se referencia en numerosas ocasiones para el estudio del transporte radiativo de energía en cualquier medio ("Radiative transfer"). Más tarde, trabajaría en los efectos del magnetismo sobre las galaxias, su forma y evolución publicando otro clásico: "Hydrodynamics and Hydromagnetic Stability" (1961).


title: Subrahmanyan Chandrasekhar

text: Durante la siguiente década intentó descubrir cómo la rotación afecta la forma de los planetas, estrellas, galaxias y clústeres de galaxias. En los años 1970, Chandrasekhar volvió a examinar el colapso de las estrellas al final de su vida. Este trabajo concluyó con la publicación de la que quizás sea su obra más famosa: "The Mathematical Theory of Black Holes", publicada en 1983. Por estos trabajos recibió el Premio Nobel de Física en 1983, que compartió con William Fowler. Su último libro fue "Newton's Principia for the Common Reader".


title: Espina

text: Espina, en botánica, puede referirse a:Asimismo, en zoología, puede hacer referencia a:


title: Espina

text: También, puede referirse a:


title: Espina

text: Asimismo, puede hacer referencia a los siguientes topónimos de España:


title: Espina

text: Además, como apellido, puede referirse a las siguientes personas:


title: Cálculo lambda

text: En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930 como parte de sus investigaciones sobre los fundamentos de las matemáticas. Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una "función computable".


title: Cálculo lambda

text: El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un algoritmo general. Esta fue la primera pregunta, incluso antes que el problema de la parada, cuya indecidibilidad fue probada. El cálculo lambda tiene una gran influencia sobre los lenguajes funcionales, como Lisp, ML y Haskell.


title: Cálculo lambda

text: Se puede considerar al cálculo lambda como uno de los lenguajes universales de programación más minimalistas. Consiste en una regla de transformación simple (sustitución de variables) y un esquema simple para definir funciones.


title: Cálculo lambda

text: El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él. Por lo tanto, es equivalente a las máquinas de Turing. Sin embargo, el cálculo lambda no hace énfasis en el uso de reglas de transformación y no considera las máquinas reales que pueden implementarlo. Se trata de una propuesta más cercana al software que al hardware.


title: Cálculo lambda

text: Este artículo se enfocará sobre el cálculo lambda sin tipos, como fue diseñado originalmente por Church. Desde entonces, algunos cálculo lambda tipados fueron creados.


title: Cálculo lambda

text: Originalmente, Church había tratado de construir un sistema formal completo para modelizar la matemática; pero en 1934 Kleene y Rosser publicaron una implementación de la paradoja de Richard. Desde ese punto, el cálculo lambda fue usado para estudiar la computabilidad, culminando en la respuesta negativa al problema de la parada. En 1940, Church introdujo el Cálculo lambda simplemente tipado que es computacionalmente menos poderoso, pero lógicamente consistente.


title: Cálculo lambda

text: Considérese las siguientes dos funciones. Por un lado, la función identidad "I(x) = x", que toma un único argumento, "x", e inmediatamente devuelve "x". Por otro lado, la función suma "S(x,y) = x + y", que toma dos argumentos, "x" e "y", y devuelve la suma de ambos: "x + y". Usando estas dos funciones como ejemplo, es posible hacer algunas observaciones útiles acerca de varias ideas fundamentales del cálculo lambda.


title: Cálculo lambda

text: La primera observación es que las funciones no necesitan ser explícitamente nombradas. Esto es, la función "S(x,y) = x + y" puede ser reescrita como una función anónima: "x,y → x + y" (que se lee: «el par de "x" e "y" se mapea a "x + y"»). Del mismo modo, "I(x) = x" puede ser reescrita de forma anónima como "x → x", que se lee: «el argumento "x" se mapea a sí mismo».


title: Cálculo lambda

text: La segunda observación es que el nombre que se asigne a los argumentos de la función es generalmente irrelevante. Esto es, "x → x" e "y → y" expresan la misma función: la función identidad. Del mismo modo, "x,y → x + y" y "u,v → u + v" expresan la misma función: la función suma.


title: Cálculo lambda

text: Una tercera observación es que toda función que requiere dos argumentos, como por ejemplo la función suma, puede ser reescrita como una función que acepta un único argumento, pero que devuelve "otra" función, la cual a su vez acepta un único argumento. Por ejemplo, "x,y → x + y" puede ser reescrita como "x → (y → x + y)". Esta transformación se conoce como currificación, y puede generalizarse para funciones que aceptan cualquier número de argumentos. Esto puede parecer difícil de entender, pero se entiende mejor mediante un ejemplo. Considérese la función suma no currificada:


title: Cálculo lambda

text: Al tomar a los números 2 y 3 como argumentos, se obtiene:


title: Cálculo lambda

text: Lo cual es igual a 5. Considérese ahora la versión currificada de la función:


title: Cálculo lambda

text: Si se toma al número 2 como argumento, se obtiene la función:


title: Cálculo lambda

text: Y tomando luego al número 3 como argumento, se obtiene:


title: Cálculo lambda

text: Lo cual es igual a 5. De modo que la versión currificada devuelve el mismo resultado que la versión no currificada. En el cálculo lambda, todas las expresiones representan funciones anónimas de un solo argumento.


title: Cálculo lambda

text: Una cuarta observación es que una función puede aceptar como argumento a "otra" función, siempre y cuando esta otra función tenga ella misma un solo argumento. Por ejemplo, la función identidad puede aceptar como argumento a la función suma (currificada). Es decir, se toma a la función "x → (y → x + y)" y se la pone como argumento en "z → z". El resultado será obviamente "x → (z → x + z)", (igual a la "x → (y → x + y)") pues la función identidad siempre devuelve lo mismo que se le da.


title: Cálculo lambda

text: En el cálculo lambda, las funciones están definidas por expresiones lambda, que dicen qué se hace con su argumento. Por ejemplo, la función "sumar 2",  "f"("x") = "x" + 2  se expresa en cálculo lambda así:  λ "x". "x" + 2  (o, equivalentemente,  λ "y". "y" + 2 ya que el nombre de su argumento no es importante). Y el número "f"(3) sería escrito como  (λ "x". "x" + 2) 3. La aplicación de funciones es asociativa a izquierda:  "f" "x" "y" = ("f" "x") "y".  Considerando la función que aplica una función al número 3: λ "f". "f" 3. , podemos pasarle "sumar 2", quedando así:  (λ "f". "f" 3) (λ "x". "x" + 2).


title: Cálculo lambda

text: Las tres expresiones: son equivalentes. No todas las expresiones lambda pueden ser reducidas a un "valor" definido. Considérese la siguiente:


title: Cálculo lambda

text: o tratar de reducir estas expresiones solo lleva a encontrarse con la misma expresión o algo más complejo.  (λ "x". "x" "x")  es conocido como ω combinador; ((λ "x". "x" "x") (λ "x". "x" "x"))  se conoce como Ω,  ((λ "x". "x" "x" "x") (λ "x". "x" "x" "x"))  como Ω, etc.


title: Cálculo lambda

text: En el cálculo lambda, una "expresión" o "término" se define recursivamente a través de las siguientes reglas de formación:Según estas reglas de formación, las siguientes cadenas de caracteres son términos:


title: Cálculo lambda

text: Por convención se suelen omitir los paréntesis externos, ya que no cumplen ninguna función de desambiguación. Por ejemplo se escribe (λz.z)z en vez de ((λz.z)z), y se escribe x(y(zx)) en vez de (x(y(zx))). Además se suele adoptar la convención de que la aplicación de funciones es asociativa hacia la izquierda. Esto quiere decir, por ejemplo, que xyzz debe entenderse como (((xy)z)z), y que (λz.z)yzx debe entenderse como ((((λz.z)y)z)x).


title: Cálculo lambda

text: Las primeras dos reglas generan funciones, mientras que la última describe la aplicación de una función a un argumento. Una abstracción lambda λx.t representa una función anónima que toma un único argumento, y se dice que el signo λ "liga" la variable x en el término t. En cambio, una aplicación lambda ts representa la aplicación de un argumento s a una función t. Por ejemplo, λx.x representa la función identidad x → x, y (λx.x)y representa la función identidad aplicada a y. Luego, λx.y representa la función constante x → y, que develve y sin importar qué argumento se le dé.


title: Cálculo lambda

text: Las expresiones lambda no son muy interesantes por sí mismas. Lo que las hace interesantes son las muchas nociones de equivalencia y reducción que pueden ser definidas sobre ellas.


title: Cálculo lambda

text: Las apariciones (ocurrencias) de variables en una expresión son de tres tipos:Las variables de ligadura son aquellas que están entre el λ y el punto. Por ejemplo, siendo E una expresión lambda:


title: Cálculo lambda

text: (λ "x y z". E) Las ligaduras son "x","y" y "z".


title: Cálculo lambda

text: La ligadura de ocurrencias de una variable está definido recursivamente sobre la estructura de las expresiones lambda, de esta manera:Expresiones lambda tales como  λ "x". ("x" "y")  no definen funciones porque las ocurrencias de "y" están libres. Si la expresión no tiene variables libres, se dice que es cerrada.


title: Cálculo lambda

text: Como se permite la repetición del identificador de variables, cada binding tiene una zona de alcance asociada (scope de ahora en adelante). Un ejemplo típico es:  (λx.x(λx.x))x, donde el scope del binding más a la derecha afecta solo a la "x" que tiene ahí, la situación del otro binding es análoga, pero no incluye el scope de la primera. Por último la "x" más a la derecha está libre. Por lo tanto, esa expresión puede reexpresarse así  (λy.y(λz.z))x


title: Cálculo lambda

text: La regla de alfa-conversión fue pensada para expresar la idea siguiente: los nombres de las variables ligadas no son importantes. Por ejemplo  λ"x"."x"  y  λ"y"."y"  son la misma función. Sin embargo, esta regla no es tan simple como parece a primera vista. Hay algunas restricciones que hay que cumplir antes de cambiar el nombre de una variable por otra. Por ejemplo, si reemplazamos "x" por "y" en λ"x".λ"y"."x", obtenemos λ"y".λ"y"."y", que claramente, no es la misma función. Este fenómeno se conoce como captura de variables.


title: Cálculo lambda

text: La regla de alfa-conversión establece que si "V" y "W" son variables, "E" es una expresión lambda, y


title: Cálculo lambda

text: "E"["V":= "W"]


title: Cálculo lambda

text: representa la expresión "E" con todas las ocurrencias libres de "V" en "E" reemplazadas con "W", entonces


title: Cálculo lambda

text: si "W" no está libre en "E" y "W" no está ligada a un λ donde se haya reemplazado a V. Esta regla nos dice, por ejemplo, que  λ "x". (λ "x". "x") "x"  es equivalente a  λ "y". (λ "x". "x") "y".


title: Cálculo lambda

text: En un ejemplo de otro tipo, se ve que


title: Cálculo lambda

text: for (int i = 0; i < max; i++) proc (i);


title: Cálculo lambda

text: es equivalente a


title: Cálculo lambda

text: for (int j = 0; j < max; j++) proc (j);


title: Cálculo lambda

text: La regla de beta reducción expresa la idea de la aplicación funcional. Enuncia que


title: Cálculo lambda

text: si todas las ocurrencias de "E′" están libres en "E"["V":= "E′"].


title: Cálculo lambda

text: Una expresión de la forma ((λ "V". "E") "E′") es llamada un beta redex. Una lambda expresión que no admite ninguna beta reducción se dice que está en su forma normal. No toda expresión lambda tiene forma normal, pero si existe, es única. Más aún, existe un algoritmo para computar la forma normal: la reducción de orden normal. La ejecución de este algoritmo termina si y solo si la expresión lambda tiene forma normal. El teorema de Church-Rosser nos dice que dos expresiones reducen a una misma si y solo si son equivalentes (salvo por el nombre de sus variables ligadas)


title: Cálculo lambda

text: Es la tercera regla, esta conversión, que podría ser añadida a las dos anteriores para formar una nueva relación de equivalencia. La eta conversión expresa la idea de extensionalidad, que en este contexto implica que dos funciones son la misma si y solo si dan el mismo resultado para cualquier argumento. La eta conversión convierte entre  λ "x". "f" "x"  y  "f"  siempre que "x" no aparezca sola en "f". Esto puede ser entendido como equivalente a la extensionalidad así:


title: Cálculo lambda

text: Si "f" y "g" son extensionalmente equivalentes, es decir, si  "f" "a"== "g" "a"  para cualquier expresión lambda "a" entonces, en particular tomando "a" como una variable "x" que no aparece sola en "f" ni en "g", tenemos que  "f" "x"  == "g" "x"  y por tanto  λ "x". "f" "x" ==  λ "x". "g" "x",  y así por eta conversión  "f"  == "g".  Entonces, si aceptamos la eta conversión como válida, resulta que la extensionalidad es válida.


title: Cálculo lambda

text: Inversamente, si aceptamos la extensionalidad como válida entonces, dado que por beta reducción de todo "y" tenemos que  (λ "x". "f" "x") "y" ==  "f" "y",  resulta que  λ "x". "f" "x"   ==  "f";  es decir, descubrimos que la eta conversión es válida.


title: Cálculo lambda

text: Hay varias formas posibles de definir los números naturales en el cálculo lambda, pero el más común son los números de Church, que pueden definirse como sigue: y así sucesivamente. Instintivamente el número "n" en el cálculo lambda es una función que toma a otra función "f" como argumento y devuelve la "n"-ésima composición de "f". Así que, un número de Church es una función de alto nivel -- toma una única función "f" como parámetro y otra función de parámetro único.


title: Cálculo lambda

text: Dada esta definición de los números de Church, se puede establecer una función de sucesión que dado un número "n" devuelve "n" + 1: La suma se define así: PLUS puede entenderse como una función que toma dos números naturales como parámetros devolviendo otro; puede verificarse que son expresiones lambda equivalentes. La Multiplicación se expresa como la idea es que multiplicar "m" y "n" es lo mismo que sumar "m" veces a "n". De otra manera: La función Predecesor  PRED "n" = "n" - 1  de un entero positivo "n" es más compleja: o alternativamente Véase que el truco consiste en que ("g" 1) (λ "u". PLUS ("g" "k") 1) "k" que devuelve "k" si el valor de "g"(1) es cero o "g"("k") + 1 en cualquier otro caso.


title: Cálculo lambda

text: Para poder llegar a una definición de booleanos en cálculo lambda, se comienza con su especificación: TRUE, FALSE y ifthenelse deben ser λ-expresiones en forma normal, tal que para todo par de λ-expresiones P y Q


title: Cálculo lambda

text: Cualquier par de expresiones que cumplan esto sirve. La solución más simple resulta de fijar ifthenelse como λb.λx.λy. b x y, dejando que todo el trabajo de aplicar los booleanos recaiga sobre TRUE y FALSE, entonces:


title: Cálculo lambda

text: Quedando:


title: Cálculo lambda

text: Los booleanos (como era de esperarse) también son funciones. Es fácil ver que es posible cambiar la λ-expresión ifthenelse para que aplique los parámetros en orden inverso, cambiando la forma de TRUE y FALSE. Por eso, se adapta, por convención, de esta manera (conocida como booleanos de Church). Nótese que FALSE es equivalente al número de Church cero.


title: Cálculo lambda

text: Luego, con estas dos definiciones podemos definir algunos operadores lógicos:


title: Cálculo lambda

text: Ahora podemos reducir, por ejemplo:


title: Cálculo lambda

text: y vemos que AND TRUE FALSE es equivalente a FALSE.


title: Cálculo lambda

text: Un predicado es una función que devuelve un valor booleano. El predicado más simple es ISZERO el cual nos devuelve TRUE si el número de Church argumento es 0 o FALSE en otro caso.


title: Cálculo lambda

text: Por supuesto, esta definición nos sirve solo para los números naturales definidos previamente.


title: Cálculo lambda

text: Un par (2-tupla) puede ser definido en términos de TRUE y FALSE.


title: Cálculo lambda

text: Una estructura de datos del tipo lista enlazada puede ser definida, tanto como NIL para la lista vacía, o como el CONS de un elemento y de la lista más pequeña en tal caso sea requerido.


title: Cálculo lambda

text: Recursión es la definición de una función usando la función que se está definiendo. El cálculo lambda no permite esto. Sin embargo, esta noción es un poco confusa. Considere por ejemplo la definición de la función factorial "f"("n") definida recursivamente por:


title: Cálculo lambda

text: En el cálculo lambda, no es posible definir funciones que se incluyan a sí mismas. Para sortear esta dificultad, se comienza por definir una función, denominada aquí como "g", que toma a una función "f" como argumento y devuelve otra función que toma "n" como argumento:


title: Cálculo lambda

text: La función que devuelve "g" es o bien la constante 1, o "n" veces la aplicación de la función "f" a "n"-1. Usando el predicado ISZERO, y las definiciones booleanas y algebraicas anteriores, la función "g" puede ser definida en el cálculo lambda.


title: Cálculo lambda

text: Sin embargo, "g" todavía no es recursiva en sí misma; para usar "g" para crear la función factorial recursiva, la función pasada a "g" como "f" debe tener unas propiedades específicas. A saber, la función pasada como "f" debe expandirse a la función"g" llamada con un argumento -- y que el argumento debe ser la función que ha sido pasado como "f" de nuevo.


title: Cálculo lambda

text: En otras palabras, "f" debe expandir a "g"("f"). Esta llamada a "g" expandirá a la siguiente a la función factorial y calculará otro nivel de recursión. En la expansión la función "f" aparecerá nuevamente, y nuevamente expandirá a "g"("f") y continuara la recursión. Este tipo de función, donde "f" = "g"("f"), es llamada un "fixed-point" de "g", y resulta que puede ser implementado en el cálculo lambda usando lo que es conocido como el "paradoxical operator" or "fixed-point operator" y es representado como "Y" -- el Y combinator:


title: Cálculo lambda

text: En el cálculo lambda, "Y g" es un punto fijo de "g", debido a que expande a "g" ("Y" "g"). Ahora, para completar nuestra llamada recursiva a la función factorial, simplemente llamaría  "g" ("Y" "g") "n",  donde "n" es el número del cual queremos calcular el factorial.


title: Cálculo lambda

text: Dado, por ejemplo "n" = 5, esta se expandirá como:


title: Cálculo lambda

text: Y así, se va evaluando la estructura del algoritmo de forma recursiva. Cada función recursiva definida puede ser vista como un punto fijo de otra función adecuada, y por lo tanto, utilizando "Y", cada función recursiva definida puede expresarse como una expresión lambda. En particular, ahora podemos definir limpiamente la resta, la multiplicación y la comparación de predicado de los números naturales de forma recursiva.


title: Cálculo lambda

text: Una función "F": N → N de números naturales es una función computable si y solo si existe una expresión lambda "f" tal que para todo par de "x", "y" in N,  "F"("x") = "y"  si y solo si  "f" "x" == "y",  donde "x" e "y" son numerales de Church correspondientes a "x" e "y", respectivamente. Esta solo es una de tantas maneras de definir computabilidad; véase tesis de Church-Turing para una discusión, otras aproximaciones y sus equivalencias.


title: Cálculo lambda

text: No hay un algoritmo que tome dos expresiones lambda arbitrarias y produzca TRUE o FALSE dependiendo de si las dos expresiones son o no equivalentes. Este fue históricamente el primer problema para el cual la irresolubilidad pudo ser probada. Por supuesto, de manera previa para hacer esto, la noción de algoritmo tuvo que ser definida de forma clara; Church la definió usando funciones recursivas, la cual se sabe que es equivalente a todas las otras definiciones razonables de esta noción.


title: Cálculo lambda

text: La primera prueba de Church reduce el problema de determinar si una expresión lambda dada tiene una "forma normal". Una forma normal es una expresión equivalente irreductible. Entonces se asume que este predicado es computable y que puede ser expresado de aquí en adelante en notación de cálculo lambda. Basándose en un trabajo previo de Kleene y construyendo una numeración de Gödel para expresiones lambda, Church construyó una expresión lambda "e" que seguía la prueba del teorema de incompletitud de Gödel. Si "e" se aplica a su propio número Gödel, se produce una contradicción.


title: Cálculo lambda

text: Como lo menciona Peter Landin en su libro clásico Correspondencia entre ALGOL 60 y el cálculo lambda de Church, la mayoría de los lenguajes de programación tienen sus raíces en el cálculo lambda, lo que provee los mecanismos básicos para las abstracciones de procedimiento y abstracciones de aplicaciones (subprogramas).


title: Cálculo lambda

text: La implementación del cálculo lambda en una computadora involucra tratar a las "funciones" como objetos de primera clase, lo que aumenta la complejidad de su implementación. Un problema particularmente difícil es la implementación de funciones de orden superior, conocido como el problema de Funarg.


title: Cálculo lambda

text: Las contrapartes más prominentes del cálculo lambda en programación son los lenguajes de programación funcional, que esencialmente implementa el cálculo aumentado con algunas constantes y tipos de dato.


title: Cálculo lambda

text: Los lenguajes funcionales no son los únicos que soportan las funciones como objetos de primera clase. Muchos lenguajes de programación imperativa, como Pascal, hace tiempo que permiten pasar subprogramas como argumentos a otros subprogramas. En C y su derivado C++ el resultado equivalente se obtiene pasando punteros al código de las funciones (subprogramas). Estos mecanismos están limitados a subprogramas escritos explícitamente en el código, y no soportan directamente funciones de alto nivel. Algunos lenguajes imperativos orientados a objetos, tiene notaciones que representan funciones de cualquier orden; tales mecanismos están disponibles en C++, Smalltalk y más recientemente en ("agentes" de ) Eiffel y ("delegados" de) C#. Como ejemplo, la expresión de "agente en línea" de Eiffel


title: Cálculo lambda

text: denota un objeto correspondiente a la expresión lambda λ x. x*x (con llamada por valor). Puede ser tratada como cualquier otra expresión, por ejemplo, asignarla a una variable o pasada a una rutina. Si el valor de square es el de la expresión de agente anterior, entonces el resultado de aplicar square a un valor (una reducción β) es expresada como square.item ([a]), donde el argumento es pasado como una tupla.


title: Cálculo lambda

text: Un ejemplo en Python usa la forma lambda de funciones: func = lambda x: x * x Lo anterior crea una función anónima llamada func que puede ser pasada como parámetros a otras funciones, ser almacenada en variables, etc. Python también puede tratar cualquier otra función creada con la sentencia estándar def como un first-class object.


title: Cálculo lambda

text: Lo mismo se aplica a la siguiente expresión en Smalltalk: [ :x | x * x ] Este es un objeto de primera clase (clausura de bloque), que puede ser guardado en variables, pasado como argumento, etc.


title: Cálculo lambda

text: Un ejemplo similar en C++ (usando la biblioteca Boost.Lambda): for_each(v.begin(), v.end(), cout « _1 * _1 « endl;); Aquí, la función de librería estándar for_each itera sobre todos los miembros del vector (o lista) v, e imprime el cuadrado de cada elemento. La notación _1 es la convención Boost de Lambda para representar el elemento contenedor, representado como x en cualquier otro lado.


title: Cálculo lambda

text: Un delegado simple de c# que toma una variable y retorna el cuadrado. Esta variable función puede ser pasada a otros métodos (o delegados de funciones) // Declare a delegate signature delegate double MathDelegate (double i);


title: Cálculo lambda

text: // Create an delegate instance MathDelegate f = delegate (double i) { return Math.Pow (i, 2); };


title: Cálculo lambda

text: // Passing 'f' function variable to another method, executing, // and returning the result of the function double Execute (MathDelegate func)


title: Cálculo lambda

text: El que un término llegue a una forma normal o no, y cuanto trabajo debe realizarse para ello si se puede, depende sustancialmente de la estrategia de reducción utilizada. La distinción entre las estrategias de reducción está relacionada con la distinción en lenguajes de programación funcional entre evaluación estricta y evaluación perezosa.El orden aplicativo no es una estrategia de normalización. El ejemplo más típico es el siguiente: se define Q = ωω donde ω = λx.xx. Esta expresión solo contiene una redex (la expresión completa), la cual resulta al ser reducida otra vez en Q. Como es la única reducción posible, Q no tiene forma normal "bajo ninguna estrategia de reducción". Utilizando orden aplicativo, la expresión KIΩ = (λx.λy.x) (λx.x)Ω es reducida reduciendo primero Q, pero como no tiene forma normal, esta estrategia fracasa a la hora de encontrar una forma normal para KIQ.


title: Cálculo lambda

text: En contraposición, el orden normal siempre encuentra la forma normal si esta existe. En el ejemplo anterior, KIQ es reducido bajo orden normal a I, una forma normal. Uno de los inconvenientes es que las redexes en los argumentos pueden ser copiadas, resultando en trabajo duplicado. En ese caso, el orden aplicativo se encuentra en ventaja, porque nunca sustituye argumentos que contengan redexes, y el trabajo es realizado una única vez.


title: Cálculo lambda

text: La mayoría de lenguajes de programación funcionales "puros" (sobre todo Miranda y sus descendientes, incluyendo Haskell) utilizan "evaluación perezosa", que es esencialmente idéntica a la llamada por necesidad. Esta es similar a la reducción por orden normal, pero evita la duplicación de trabajo mediante la representación indirecta de los términos repetidos, abstraída de su posición real y accedida de forma indirecta (y por tanto, varias posiciones pueden "compartir" el mismo término).


title: Cálculo lambda

text: La propiedad Church-Rosser del cálculo lambda significa que la evaluación (reducción-β) puede ser llevada a cabo en "cualquier orden", incluso al mismo tiempo (de hecho, el cálculo lambda es de transparencia referencial). Aunque esto significa que el cálculo lambda puede crear un modelo de diversas estrategias de evaluación no deterministas, no ofrece ninguna noción acerca de la computación paralela, ni expresa ningún lenguaje de programación simultáneo (o concurrente). Procesadores de cálculo tales como el CSP, CSS, el Cálculo-π y el Cálculo ambiente han sido diseñados para tales propósitos.


title: Cálculo lambda

text: A pesar de que el cálculo lambda no determinista es capaz de expresar cualquier "función" parcial recursiva, no es capaz de expresar cualquier "computación". Por ejemplo, no es capaz de expresar no-determinismos infinitos (como cualquier expresión lamba no determinista que termine; terminará en un número finito de expresiones). Sin embargo, hay programas concurrentes que garantizan la interrupción de ese término en un número infinito de estados [Clinger 1981, Hewitt 2006].


title: Cálculo lambda

text: Lévy define en su publicación de 1988 "Sharing in the Evaluation of lambda Expressions" la noción de compartir óptimamente, de forma que "no se duplique el trabajo". Por ejemplo, realizar una reducción beta en orden normal sobre codice_1 la reduce a codice_2. El argumento codice_3 es duplicado por la aplicación al primer término lambda. Si la reducción se realizó en orden aplicativo primero, se ahorra trabajo porque no se duplican esfuerzos: codice_4 se reduce a codice_5. Por otra parte, emplear orden aplicativo puede resultar en reducciones redundantes o incluso nunca reducirse a una forma normal. Por ejemplo, realizar una reducción beta en orden normal en codice_6 resulta en codice_7, que puede ser realizado sin duplicar esfuerzos. Hacer lo mismo pero en orden aplicativo resulta en codice_8, por lo que ahora el trabajo se duplica.


title: Cálculo lambda

text: Lévy muestra la existencia de términos lambda donde "no existe" una secuencia de reducciones que las reduzca sin duplicar el trabajo a realizar. El siguiente término lambda es un ejemplo de estos términos:


title: Cálculo lambda

text: Está compuesto de tres términos similares, codice_10, codice_11 y codice_12. Solo hay dos reducciones beta posibles, sobre x y sobre y. Reducir el término x externo primero resulta en términos duplicados (el término interno y el término y), y cada copia debe ser reducida; pero reducir el término y primero duplica su argumento z, que causará que se duplique el trabajo cuando se conozcan los valores de h y w. Curiosamente, dicho término se reduce a la función identidad codice_13, y se construye realizando encapsulaciones sucesivas.


title: Cálculo lambda

text: La noción precisa de trabajo duplicado se basa en darse cuenta de que tras hacerse la primera reducción a codice_14, el valor de otro codice_14 puede determinarse, porque tienen la misma estructura (y tienen de hecho el mismo valor), y resultan de un ancestro común. A dichas estructuras similares se les puede asignar una etiqueta que puede ser rastreada durante las reducciones. Si un nombre es asignado a la redex que produce todos los términos codice_3 resultantes, después todas las ocurrencias duplicadas de codice_3 pueden ser localizadas y reducidas de una vez. Sin embargo, no es obvio si una redex producirá el término codice_3. Identificar las estructuras que son similares en partes diferentes de un término lambda puede requerir de algoritmos complejos y puede conllevar incluso una complejidad igual al historial de la reducción misma.


title: Cálculo lambda

text: Mientras Lévy define la noción de compartir óptimamente, no proporciona un algoritmo para hacerlo. En la publicación de Vincent van Oostrom, Kees-Jan van de Looij y Marijn Zwitserlood "Lambdascope: Another optimal implementation of the lambda-calculus", se proporciona tal algoritmo transformando términos lambda en redes de interacción, que después son reducidas. En términos generales, la reducción resultante es óptima porque cada término que tuviese la misma etiqueta según el trabajo de Lévy serían el mismo grafo en la red de interacción. En la publicación, mencionan que su prototipo de Lambdascope rinde de forma similar a la versión "optimizada" de la implementación de referencia de la BOHM.


title: Cálculo lambda

text: El hecho de que los términos del cálculo lambda puedan actuar como funciones sobre otros términos, o incluso sobre sí mismos, llevó a cuestionarse la semántica del cálculo lambda. ¿Se le puede asignar un significado a los términos del cálculo lambda? La semántica natural era encontrar un conjunto "D" isomórfico al espacio de funciones "D → D", de funciones de sí mismo. Sin embargo, no puede existir tal "D" que no sea trivial, por restricciones de cardinalidad, porque el conjunto de todas las funciones de "D" a "D" tiene mayor cardinalidad que "D" a menos que sea un conjunto unitario


title: Cálculo lambda

text: En 1970, Dana Scott mostró que, si solo se consideran funciones continuas, un conjunto o dominio "D" con las propiedades necesarias se puede encontrar, proporcionando por tanto un modelo para el cálculo lambda.


title: Cálculo lambda

text: Este trabajo también sentó las bases para la semántica denotacional de los lenguajes de programación


title: Cálculo lambda

text: "Some parts of this article are based on material from FOLDOC, used with permission."


title: Alain Badiou

text: Alain Badiou (Rabat, Protectorado francés de Marruecos, 17 de enero de 1937) es un filósofo, dramaturgo y novelista francés.


title: Alain Badiou

text: Su padre, Raymond Badiou (1905-1996), fue miembro de la SFIO ("Section française de l'Internationale ouvrière"), formando parte de la Resistencia francesa durante la ocupación nazi, y siendo elegido alcalde de Toulouse entre 1944 y 1958.


title: Alain Badiou

text: Realizó estudios de filosofía en la Escuela Normal Superior de París entre 1956 y 1961. Ha impartido lecciones en la Universidad de París VIII y en la ENS desde 1969 hasta 1999, fecha en la que fue nombrado director del departamento de filosofía de esta. También imparte cursos en el "Collège international de philosophie". Fue discípulo de Louis Althusser, influenciado por sus primeros trabajos epistemológicos. Es considerado, junto con su contemporáneo Jacques Rancière, uno de los filósofos más importante de la actualidad en Francia.


title: Alain Badiou

text: Militante temprano, fue miembro fundador del Partido Socialista (PSU) en 1960. Implicado en los movimientos políticos en torno al mayo francés, y simpatizante con la izquierda maoísta, ingresó en la "Union des communistes de France Marxiste-Léniniste" en 1969. Actualmente participa en el grupo "L'Organisation Politique", junto con Sylvain Lazarus y Natacha Michel.


title: Alain Badiou

text: Su obra principal es "El ser y el acontecimiento", donde defiende que las matemáticas constituyen la verdadera ontología, o "ciencia del ser en tanto ser". En 2006 ha publicado su segunda parte, "Logique des mondes. L'être et l'événement 2", publicada en castellano en 2008.


title: B (lenguaje de programación)

text: B es el nombre de un lenguaje de programación desarrollado en los Bell Labs, predecesor del lenguaje de programación C.


title: B (lenguaje de programación)

text: Fue mayoritariamente un trabajo de Kenneth L. Thompson con contribuciones de Dennis M. Ritchie publicado por primera vez en el año 1969 .


title: B (lenguaje de programación)

text: B fue esencialmente una simplificación del lenguaje BCPL, eliminando cualquier componente que Thompson considerase prescindible de forma que cupiese en la memoria de las minicomputadoras de la época. El lenguaje también incluyó algunos cambios de acuerdo con las preferencias de Thompson (la mayoría para reducir el número de caracteres de un programa típico).


title: B (lenguaje de programación)

text: Al igual que BCPL, y FORTH, B sólo tenía un tipo de datos, que correspondía con una palabra de máquina. La mayoría de operadores lo manejaban como un entero; por ejemplo + (suma), - (resta), * (multiplicación) o / (división). Otros operadores lo trataban como una dirección de memoria a la que hacer referencia: un puntero. B ofrecía operadores que permitían obtener la dirección de una determinada variable, o escribir en la dirección apuntada por una variable puntero.


title: B (lenguaje de programación)

text: Las primeras implementaciones fueron para las minicomputadoras PDP-7 y PDP-11 ejecutando versiones antiguas de UNIX; y para los mainframes de 36 bits Honeywell ejecutando el sistema GCOS.


title: B (lenguaje de programación)

text: La naturaleza "sin tipos" de B tenía sentido en el Honeywell, en la PDP-7 y muchas otras computadoras antiguas, pero fue un problema en la PDP-11 porque era difícil acceder a tipos de caracteres de datos que la PDP-11 y la mayoría de computadoras modernas soportaban. Comenzando en 1971, Ritchie hizo cambios al lenguaje al mismo tiempo que convertía su compilador para producir lenguaje de máquina nativo. El más notable fue la adición de tipos de datos diferentes para las variables.


title: B (lenguaje de programación)

text: Durante 1971 y 1972 B evolucionó primero en "Nuevo B" ("New B", NB) y después en C. Más tarde, a principios de 1973, fue añadido un preprocesador a petición de Alan Snyder.


title: B (lenguaje de programación)

text: El esfuerzo fue lo suficientemente completo en este año como para que durante el verano el núcleo del sistema UNIX para la PDP-11 fuese reescrito en C.


title: B (lenguaje de programación)

text: Durante el periodo 1972-1973 hubo la necesidad de portarlo al Honeywell 635 y al IBM 360/370, por lo que Mike Lesk escribió el "paquete de E/S portable" que se convertiría en la "E/S estándar" ("standard I/O" o stdio) del lenguaje C.


title: B (lenguaje de programación)

text: B se continuó utilizando hasta los años 90 en los mainframes Honeywell y en ciertos sistemas embebidos por una variedad de razones, incluyendo el uso de "hardware" limitado en estos sistemas; librerías extensivas, herramientas; o simplemente porque era lo suficientemente bueno como para hacer el trabajo.


title: B (lenguaje de programación)

text: B fue enormemente influido por BCPL, y su nombre fue probablemente una contracción de "BCPL". Sin embargo es posible que su nombre se hubiera basado en el lenguaje de programación Bon, un lenguaje más antiguo y no relacionado con B, diseñado por Thompson para su uso en MULTICS.


title: B (lenguaje de programación)

text: La siguiente función de ejemplo está tomada del "Users' Reference to B" por Ken Thompson: /* La siguiente función imprime un número no negativo, n, en


title: B (lenguaje de programación)

text: printn(n,b) {


title: B (lenguaje de programación)

text: Este programa de ejemplo en B utiliza la función anterior para sumar tres números imprimiendo por pantalla el resultado. main( ) {


title: Occam (lenguaje de programación)

text: Occam es un lenguaje de programación imperativo y estructurado (al igual que Pascal). Fue desarrollado por David May en Inmos Limited, Bristol, Inglaterra, para desarrollar software para su línea de procesadores Transputers, existiendo también implementaciones para otras plataformas.


title: Alarico

text: El nombre de Alarico puede referirse a:


title: Fórmula

text: El término fórmula puede referirse a:


title: Grand Theft Auto: Vice City

text: Grand Theft Auto: Vice City (también conocido por su abreviatura GTA: VC o, simplemente, Vice City), es un videojuego de acción-aventura de mundo abierto en tercera persona. Es el quinto título de la serie Grand Theft Auto y el segundo en gráficos 3D.


title: Grand Theft Auto: Vice City

text: El juego lanzado en 2002 de Rockstar north y publicado por Rockstar Games, implementa nuevos atributos como por ejemplo: poder agacharse (ideal en misiones de tiroteos), nuevas armas y mejores gráficos comparados con los anteriores de la saga Grand Theft Auto.


title: Grand Theft Auto: Vice City

text: La historia comienza cuando en una reunión en el Marco's Bistró de Liberty City en 1986, al líder de la familia criminal Forelli, Sonny, se le ocurre la idea de expandir sus negocios al sur, ya que está viendo cómo los traficantes mexicanos y colombianos, e incluso los refugiados cubanos, se están llevando los beneficios y él también quiere su parte. Uno de sus hombres le advierte que todo es dinero procedente de drogas y que eso le podría traer problemas, ya que las familias no aceptan involucrarse en eso, pero Sonny está convencido de que las familias lo acabarán viendo bajo su punto de vista y no se muestra preocupado.


title: Grand Theft Auto: Vice City

text: Sin embargo empieza a preocuparse cuando le hablan sobre la liberación de Tommy Vercetti, uno de sus antiguos matones. Sonny no lo considera bueno para el negocio así que decide deshacerse de él: la idea es mandarlo a Vice City para que empiece los negocios allí, luego lo dejará a su libre albedrío y pasado un tiempo le irá a visitar para recoger su parte. Posteriormente, Vercetti llega a Vice City junto con Harry y Lee. Allí son recogidos por Ken Rosenberg, un abogado que trabaja para la familia Forelli. Rosenberg ha organizado un intercambio de drogas por dinero en el puerto con los hermanos Vance.


title: Grand Theft Auto: Vice City

text: Pero cuando se está efectuando el trato son sorprendidos por unos sicarios que matan a Harry, a Lee y a Víctor Vance, quedando solo vivos Lance Vance el hermano de Víctor, quien escapó en helicóptero, Tommy y Rosenberg, quienes escaparon del lugar en el coche de este último, quedando la droga y el dinero en poder de los sicarios. Ambos regresan a la oficina de Rosenberg, el cual está nervioso y asustado por lo que le pueda pasar tras el incidente, ya que Sonny no estará muy contento. Vercetti intenta calmarlo, le dice que le espere en su oficina y se marcha a su hotel.


title: Grand Theft Auto: Vice City

text: Una vez allí, llama a Sonny por teléfono para explicarle lo sucedido. Tras enterarse, Sonny se enfurece, pero le da la oportunidad de que pueda recuperar el dinero. Vercetti, ahora sin opción, emprende la búsqueda del responsable del robo.


title: Grand Theft Auto: Vice City

text: Para ello comienza por conocer a figuras importantes de la ciudad, como el coronel Cortez y Avery Carrington, un magnate inmobiliario, a los cuales Vercetti ayudará de una forma u otra. También ayudará a Giorgio Forelli, el primo de Sonny, extorsionando a los miembros del jurado de su proceso judicial. Durante sus andanzas tropezará con Kent Paul, una especie de soplón que siempre está informado sobre lo que acontece en Vice City. Gracias a él Vercetti dará con Leo Teal, un hombre que podría saber algo sobre el incidente durante el intercambio. Será entonces cuando coincida con Lance Vance, el otro superviviente a la emboscada del intercambio, ya que él también estaba buscando pistas sobre el asesino de su hermano.


title: Grand Theft Auto: Vice City

text: Más tarde, Vercetti conocerá mediante el coronel Cortez a un Colombiano llamado Ricardo Díaz, el traficante de droga más poderoso de Vice City, realizando encargos para él, varios de ellos junto a Lance Vance.


title: Grand Theft Auto: Vice City

text: Pero finalmente parece ser Díaz quien está detrás del sabotaje al trato entre los Vance y Vercetti, así que este comienza a planear la forma de eliminarlo, pero Lance, en su impulsividad, se adelanta y salta sobre Díaz, estropeando así el plan y siendo retenido y torturado. Vercetti se entera de esto mediante Kent Paul y decide rescatar a Lance. Lo consigue y se cita con Lance, una vez que lo curan, para acabar con Díaz, ya que todo el plan se había estropeado y debían hacerlo cuanto antes.


title: Grand Theft Auto: Vice City

text: Una vez que se encuentran, asaltan la mansión de Díaz, logrando eliminarlo a él y a varios de sus hombres. Es entonces cuando Vercetti decide tomar el control de la ciudad y forma su propia organización. Para tomar el control de la ciudad primero extorsiona a los negocios que anteriormente pagaban protección a Díaz, dejando claro a quién debían pagarle tras la muerte de este. Una vez conseguido Vercetti comienza a comprar varias propiedades con las que hará negocio y podrá blanquear el dinero.  También conocerá a Umberto Robina, el líder de la banda cubana de Little Havana, y lo ayudará en su guerra contra los haitianos. Pero también entablará contacto con Tía Poulet, una santera relacionada con la banda haitiana que controla a Vercetti mediante vudú y le obliga a realizar diversos trabajos, muchos de ellos en contra de los cubanos.


title: Grand Theft Auto: Vice City

text: Además conocerá al grupo de rock Love Fist, los cuales van a dar un concierto en la ciudad, siendo Kent Paul el encargado de la organización del evento. Vercetti debe solucionarle algunos asuntos a la banda. Entre ellos está proporcionarles drogas y chicas, para lo que recurre a Mercedes Cortez, la hija del coronel, pero también se encargará de que la banda de moteros de Mitch Baker se ocupe de la seguridad en el concierto, ya que Paul no está dispuesto a pedírselo por ciertos problemillas que tuvo con la banda.


title: Grand Theft Auto: Vice City

text: Vercetti también cometerá un atraco al Banco Corrupto Grande, con la ayuda de Phil Cassidy, Hilary King y Cam Jones. Posteriormente también ayudará a Phil en un par de asuntos.


title: Grand Theft Auto: Vice City

text: En su carrera de adquisición de propiedades comprará el estudio de cine X InterGlobal Films, y se ocupará de que las mediocres películas de Steve Scott (el único director con el que contaba el estudio) dejen de serlo, recurriendo de nuevo a Mercedes y también a la actriz porno, Candy Suxxx. También se ocupa de promocionar el estudio y poner fin a las nuevas barreras legales que prohibirían la distribución de las películas.


title: Grand Theft Auto: Vice City

text: También se hará con una imprenta. Con ella comenzará a dedicarse a la falsificación de billetes, no sin antes obtener el material necesario.


title: Grand Theft Auto: Vice City

text: Una vez que Vercetti comienza a hacerse con el control de la ciudad, empieza a recibir llamadas de Sonny Forelli exigiéndole su parte, así que finalmente Sonny envía a algunos de sus hombres para cobrar el "impuesto" a los negocios de Vercetti. Cuando este se entera de esto, y de que cuando pasaron por la imprenta dejaron malherido a Earnest Kelly (el anciano trabajador de la imprenta que a Vercetti le recordaba a su padre), enfurece y sale a eliminar él mismo a los cobradores. Tras esto, Sonny más furioso que nunca, decide presentarse en persona en Vice City para reclamar lo que él considera suyo, pero Vercetti no está dispuesto a pagarle e imprime billetes falsos. Pero cuando Sonny llega, ya sabe lo de los billetes, ya que Lance, quien se sentía excluido y sin crédito, decidió traicionar a Vercetti y contarle a Sonny el plan.


title: Grand Theft Auto: Vice City

text: Finalmente todo desemboca en un enfrentamiento entre Sonny y Lance contra Vercetti, el cual sale victorioso de la batalla, Ya terminada la pelea Ken Rosenberg le dice que nunca pudo confiar en ese tipo Lance y Tommy le dice que esto es el inicio de una amistad, Finalizando la historia de Vice City.


title: Grand Theft Auto: Vice City

text: Vice City incluye docenas de personajes, muchos aparecen solo en las escenas de vídeo en los que son descritos en cada misión. El reparto que prestó su voz a los personajes incluyen actores y celebridades como Ray Liotta, como el protagonista Tommy Vercetti; Tom Sizemore como Sonny Forelli, Robert Davi como el Coronel Juan García Cortez, William Fichtner como Ken Rosenberg, Danny Dyer como Kent Paul, Dennis Hopper como el director pornográfico Steve Scott, Burt Reynolds como Avery Carrington, Luis Guzmán como Ricardo Díaz, la estrella de "Miami Vice" Philip Michael Thomas como Lance Vance, Danny Trejo como Umberto Robina, Gary Busey como Phil Cassidy, Lee Majors como , Fairuza Balk como Mercedes Cortez y la estrella del porno Jenna Jameson como Candy Suxxx. La voz de la teleoperadora de la Kauffman Cabs fue prestada por la cantante de Blondie Debbie Harry.


title: Grand Theft Auto: Vice City

text: Aunque el protagonista principal no es el mismo que el de "Grand Theft Auto III", Vice City contiene unos pocos protagonistas de "GTA III" que aparecen muy jóvenes en esta edición. Donald Love, por ejemplo, un magnate de los negocios en "GTA III" aparece como aprendiz del poderoso Avery Carrington. El manco Phil Cassidy de "GTA III" aparece en Vice City también y una de las misiones explica cómo perdió su brazo.


title: Grand Theft Auto: Vice City

text: Por otra parte, muchas de las emisoras de radio de "GTA III" aparecen en Vice City: Lazlow, el presentador de Chatterbox, la emisora hablada en "GTA III", es el DJ de la emisora de hard rock V-Rock en Vice City (mencionaba en "GTA III" que una vez fue DJ en una emisora de rock). Toni, la DJ de la emisora de música de los años 1980 Flashback 95.6 de "GTA III", aparece en Vice City como una joven presentadora de la emisora pop Flash FM. Por último, Fernando, un auto-glorificado proxeneta de mujeres ("no soy un chulo... soy un salvador", afirma) que aparece en el programa de Lazlow en "GTA III", es el encargado de conducir Emotion 98.3, una emisora de baladas. El naturista Barry Stark, un oyente que llama a Chatterbox en "GTA III", aparece también en Vice City como invitado en la emisora Vice City Public Radio.


title: Grand Theft Auto: Vice City

text: Como Vice City fue desarrollado después de Grand Theft Auto III, el juego sigue un diseño muy similar, pero con varias mejoras que su predecesor. Es bastante libre, característico de todos los Grand Theft Auto; aunque las misiones deben ser completadas para seguir la trama y desbloquear otras zonas de la ciudad. El jugador podrá visitar cualquier zona de la ciudad si no está en medio de una misión y hacer lo que desee. A lo largo del mapa, hay también varios objetos como armas ocultas, objetos ocultos y saltos únicos.


title: Grand Theft Auto: Vice City

text: El jugador puede robar vehículos, barcos, motocicletas e incluso helicópteros; disparar desde el vehículo, robar y generar cualquier tipo de caos. Sin embargo, atraerás atención por parte de la policía (en casos extremos al FBI y el ejército). También los cuerpos policiales tienen helicópteros y unidades policiales encubiertas.


title: Grand Theft Auto: Vice City

text: Una nueva mejora con respecto a su predecesor es la de la habilidad de comprar propiedades repartidas a lo largo de Vice City y pisos francos. Algunas de estas propiedades, son negocios que el jugador puede comprar. Incluyen un estudio cinematográfico, un burdel, una compañía de taxis, una compañía de helados, un astillero, una imprenta y un concesionario de coches. Al completar las misiones de cada una de estas propiedades, el jugador comenzará a recibir ingresos de estas, que pueden ser recolectados periódicamente.


title: Grand Theft Auto: Vice City

text: Varias bandas criminales hacen su aparición en el juego, algunas de ellas integradas a eventos de la historia. Estas bandas tienen normalmente una opinión positiva o negativa del jugador, dependiendo de esto, pueden dispararle al jugador y seguirle.


title: Grand Theft Auto: Vice City

text: Hay misiones opcionales en el juego o submisiones, donde Vercetti trabaja como repartidor de pizza, de paramédico en una ambulancia, en un taxi o camión urbano transportando pasajeros y como policía matando a los criminales. Estas misiones otorgan recompensas en dinero y mayores habilidades al jugador.


title: Grand Theft Auto: Vice City

text: Cómo incrementar de 100 a 150 puntos de vida: completa 10 niveles en la entrega de pizzas. Cómo incrementar de 100 a 150 puntos de vida del chaleco: completa 12 niveles de Vigilante con el coche de policía. La misión Trueno marrón (con el hunter) no tiene nivel límite y tampoco tiene recompensa más que el dinero.


title: Grand Theft Auto: Vice City

text: En Vice City, existen los saltos únicos, que son maniobras, generalmente saltos con rampas, siendo 36 los saltos únicos repartidos en toda Vice City. Se deben usar vehículos muy rápidos y motos. Aconsejable la PCG 600.


title: Grand Theft Auto: Vice City

text: El jugador también puede recolectar los objetos ocultos por toda Vice City, que son 100. Tienen forma de loro azteca, la forma del objeto es una referencia a la serie Miami Vice, y al igual que en la serie se puede observar dentro del hotel Ocean View que estos objetos tienen cocaína dentro de ellos, precisamente este objeto aparece en el episodio “Tráfico Blanco” de 1984. Por cada 10 objetos recolectados se obtiene un premio. El helicóptero del ejército puede encontrarse en un helipuerto cerca del faro. También en la base militar ubicada en el barrio de Escobar International, después de haber completando la misión de "Manten cerca a tus amigos".


title: Grand Theft Auto: Vice City

text: El sistema de armas usado en Grand Theft Auto: Vice City es el mismo utilizado en sus predecesores, pero ha sido expandido. De la cantidad total de 12 armas de Grand Theft Auto III, en Vice City se muestran un total de 35 divididas en 10 clases, de acuerdo al tipo de arma, permitiéndole al jugador portar un arma de cada tipo solamente.


title: Grand Theft Auto: Vice City

text: Las armas, que van desde las armas blancas hasta las armas de fuego, llegan a ser disponibles a la vez que el jugador vaya completando misiones. Armas como pistolas, rifles, granadas o armas pesadas pueden ser compradas en Ammu- Nation o por medio de Phil Cassidy, que es traficante de armas. Armas de cuerpo a cuerpo como bates de béisbol y martillos puede ser comprados en la ferretería. Hay también armas pesadas como lanzallamas y lanzacohetes. La versión de Vice City para PlayStation 2 y Xbox, es la única donde hay granadas de gas lacrimógeno, fueron eliminadas de las versiones posteriores porque bajaban temporalmente el rendimiento del juego. Aunque se puede colocar en PC mediante el programa Sanny Builder (además puedes colocar armas en diferentes lugares y agregar la Cámara fotográfica, que sólo se puede obtener en una misión).


title: Grand Theft Auto: Vice City

text: GTA Vice City da la posibilidad de hacer asaltos a distintas tiendas, joyerías, farmacias, etc. En Vice City hay un total de 15 tiendas las cuales son posibles de robar. Para ello, hay que acercarse al vendedor y apuntarle (pero no dispararle). Se demorará un poco en sacar el dinero y nos dará cuatro paquetes (de billetes) dando un total de $1000.


title: Grand Theft Auto: Vice City

text: Por cada paquete (excepto el primero) se aumentara un nivel de búsqueda aumentando la dificultad. Cuando uno haya obtenido todo el dinero se tendrá un total de tres estrellas en el nivel de búsqueda. Igualmente si le paras de apuntar antes de conseguir 4 fajos tendrás dos estrellas de nivel de búsqueda.


title: Grand Theft Auto: Vice City

text: "Vice City" incluye un extenso catálogo musical de canciones de 1986 y de años anteriores que se pueden escuchar en las diversas estaciones de radio que existen. Cada emisora está caracterizada por un género en particular, como el rap (Wildstyle), heavy metal (V-Rock), pop (Flash FM) y New Wave (Wave 103). La mayoría de las canciones corresponden a artistas y bandas reales como Slayer, Megadeth, Electric Light Orchestra, Judas Priest, Toto, Yes, Autograph, Blondie, Quiet Riot, Iron Maiden, Ozzy Osbourne, David Lee Roth, INXS, Michael Jackson, Bryan Adams, Laura Branigan, Kool & the Gang, A Flock of Seagulls, Frankie Goes to Hollywood, Spandau Ballet, Grandmaster Flash & the Furious Five y Eumir Deodato. También se incluyen emisoras que emiten talk-shows (KCHAT) y debates (VCPR). Las emisoras y la trama del videojuego se refieren, a menudo, a una banda de glam metal ficticia llamada Love Fist. El box set que incluía todas las emisoras de radio en CD se convirtió en todo un éxito comercial.


title: Grand Theft Auto: Vice City

text: El sistema de radio para la versión de PC incluía además la posibilidad de escuchar también dentro del juego tus canciones almacenándolas en una carpeta ubicada en los archivos de guardado, y que podías sintonizar ubicando la frase "Reproductor MP3" al conducir tu vehículo.


title: Grand Theft Auto: Vice City

text: Como toda la serie, su alto contenido en violencia, lenguaje soez, sexo y discriminación, hizo que fuera catalogado solo para mayores de edad y recibió la calificación M (Mature) por parte de la ESRB, y 18+ por parte de PEGI. En Australia, el juego fue editado previamente para recibir una clasificación MA15 +; una versión sin censura fue lanzada en la región en 2010, conservando su clasificación.


title: Grand Theft Auto: Vice City

text: Take Two, la distribuidora del juego, tuvo que lidiar con una denuncia puesta por la comunidad haitiana alrededor de diciembre de 2003. Según los denunciantes, el título de una misión, que decía Matar a los Haitianos, fomentaba el odio hacia los haitianos, y desmejoraba la imagen de ese colectivo social. Según la denuncia, en Vice City, los haitianos aparecen como la peor banda del juego. Según la historia, la comunidad cubana de Vice City quiere eliminar a toda costa hasta el último haitiano y por eso recurren a Tommy. Sin embargo, el jugador también realiza misiones para los haitianos bajo el embrujo de "Tía Poulet", la cual mediante una llamada lo invita a su rancho y le hace beber una sopa, para obligarlo a realizar las misiones mencionadas, generalmente matando cubanos.


title: Grand Theft Auto: Vice City

text: Después de haber puesto la denuncia, Rockstar eliminó esta línea en las nuevas ediciones de Vice City, y se disculpó públicamente con la comunidad haitiana. Sin embargo, aunque no fue la única etnia reflejada que se quejó, no se hicieron más modificaciones: en su lugar, se dejó a un lado el uso del nombre de la cultura o el origen para identificar las bandas que parecen en las sucesivas entregas de la saga, con el fin de evitar denuncias.


title: Grand Theft Auto: Vice City

text: El 7 de junio de 2003, Devin Moore, de 18 años, disparó y mató a dos policías de Alabama y a un despachador antes de huir en una patrulla; luego fue detenido. En declaraciones a la policía, Moore dijo que "la vida es como un videojuego. Todos tienen que morir alguna vez". Se presentó una demanda judicial de 600 millones de dólares contra Rockstar Games, Take-Two Interactive, Sony Computer Entertainment, GameStop y Wal-Mart, alegando que Moore jugaba con frecuencia a "Vice City" y que su experiencia con el juego lo llevó a cometer los crímenes. El abogado de los demandantes, Jack Thompson, afirmó que la naturaleza gráfica del juego causó que Moore cometiera los asesinatos. Thompson se retiró del caso "Strickland v. Sony" en noviembre de 2005, después de ser examinado por el juez por conducta no profesional. En marzo de 2006, la Corte Suprema rechazó una apelación de los acusados para desestimar el caso.


title: Grand Theft Auto: Vice City

text: En septiembre de 2006, Thompson presentó otra demanda por 600 millones de dólares contra Cody Posey, Rockstar Games, Take-Two Interactive y Sony Computer Entertainment. La demanda afirmaba que Posey, de 14 años, jugaba obsesivamente antes de asesinar a su padre, madrastra y hermanastra en un rancho en Hondo, Nuevo México. El equipo de defensa de Posey argumentó que fue abusado por su padre  y estaba tomando Zoloft en el momento de los asesinatos. La demanda alegaba que los asesinatos no habrían tenido lugar si Posey no hubiera jugado obsesivamente a "Vice City". El caso fue desestimado en diciembre de 2007, ya que Nuevo México no tenía jurisdicción sobre Sony o Take-Two.


title: Grand Theft Auto: Vice City

text: En julio de 2017, Psychic Friends Network demandó a Rockstar por el personaje llamado Auntie Poulet, alegando similitudes entre el personaje y Youree Harris. Harris, quien actuó como psíquica bajo el nombre de Miss Cleo, también fue la actriz de voz de Auntie Poulet.


title: Grand Theft Auto: Vice City

text: La versión japonesa del juego fue lanzada mucho después; trajo consigo mejoras gráficas, contenido exclusivo y arreglo de muchos bugs. Sin embargo el nivel de sangre y algunas escenas fueron removidas y censuradas por motivos culturales.Misiones:


title: Grand Theft Auto: Vice City

text: El 11 de noviembre de 2021 se lanzó una versión remasterizada del juego dentro del paquete "", que incluye las versiones remasterizadas de "Grand Theft Auto III" y "". Está disponible para Windows, Nintendo Switch, PlayStation 4, PlayStation 5, Xbox One y Xbox Series X/S; las versiones para dispositivos portátiles con sistemas Android e iOS serán lanzadas en 2022. La versión "The Definitive Edition" reemplazará a las versiones disponibles en las plataformas de venta de videojuegos en línea.


title: Günter Verheugen

text: Günter Verheugen (Bad Kreuznach, 28 de abril de 1944) es un historiador y político europeo de nacionalidad alemana.


title: Günter Verheugen

text: Verheugen ha dicho con respecto a la Unión Europea: ""A pesar de todas las merecidas críticas, conservar la paz es su principal función"".


title: Günter Verheugen

text: Verheugen nació en Renania-Palatinado en el seno de una familia de clase media. En la segunda mitad de los años 1960 estudió Historia, Sociología y Ciencias Políticas en Colonia y Bonn y fue periodista en prácticas del diario "Neue Rhein-Neue Ruhr-Zeitung"


title: Günter Verheugen

text: Está casado y no tiene hijos.


title: Günter Verheugen

text: Es militante del Partido Socialdemócrata de Alemania (SPD) desde 1982. Anteriormente, entre 1969 y 1974 fue director de Relaciones Públicas del Ministerio Federal del Interior, director de la Célula de Análisis e Información del Ministerio de Asuntos Exteriores (1974-1976), miembro de la ejecutiva del Partido Liberal (FDP) y secretario general de este entre 1978 y 1982.


title: Günter Verheugen

text: Ya como militante del SPD, fue diputado federal (1983-1999), miembro de la Comisión de Asuntos Exteriores de la Cámara Baja (1983-1998), portavoz del comité ejecutivo del SPD (1986-1987), redactor jefe de la revista del partido (1987-1989), presidente del Consejo de Administración de la sociedad de radiodifusión "Deutsche Welle", secretario general del SPD (1993-1995), vicepresidente del grupo parlamentario de SPD sobre Política Exterior, Seguridad y Desarrollo (1994-1997), miembro de la Comisión de Asuntos Exteriores y ministro de exteriores entre 1998 y 1999.


title: Günter Verheugen

text: En el período 1999-2004 ocupó el cargo de comisario para la ampliación de la Unión Europea. Desde esta posición tomó parte en la proceso de ampliación de 2004 e impulsó las negociaciones de adhesión de Turquía.


title: Günter Verheugen

text: Entre noviembre de 2004 y noviembre de 2009, dentro de la Comisión Barroso se encarga de los asuntos empresariales e industriales, además es uno de los vicepresidentes de la Comisión.


title: Bayezid I

text: Bāyazīd I (en turco otomano: بايزيد; turco moderno: "Yıldırım Bayezid"), llamado "Yıldırım" («el Rayo»), conocido en Occidente como Bayaceto (Bursa, 1354-Aksehir, 9 de marzo de 1403) fue un sultán otomano de 1389 a 1402. Se considera como uno de los primeros grandes sultanes del Imperio otomano. Construyó uno de los ejércitos más grandes en el mundo conocido en ese momento y asedió Constantinopla sin éxito. Adoptó el título de "Sultan-i Rûm", siendo Rûm un antiguo nombre islámico para el Imperio Romano. Derrotó decisivamente a los cruzados en Nicópolis (en la moderna Bulgaria) en 1396, y fue derrotado y capturado por Tamerlán en la batalla de Ankara en 1402 y murió en cautiverio en marzo de 1403, lo que provocó el Interregno otomano.


title: Bayezid I

text: Reinó sobre un extenso Imperio, que en Europa incluía Tracia (sin Constantinopla), Macedonia (sin Salónica), Bulgaria y el protectorado serbio. En Anatolia, sus dominios se extendían desde los Montes Tauros (que separaban su territorio de la Cilicia en poder de los Mamelucos), hasta el macizo armenio (que constituía su frontera con los dominios de Temür), y la cordillera Póntica (frontera con el Imperio de Trebisonda). Su ejército (que venció a la famosa caballería franco-borgoñona) fue, con justicia, considerado el mejor del Cercano Oriente.


title: Bayezid I

text: Bayezid nació el palacio del Bey de Bursa en 1354, durante el reinado de su abuelo Orhan I. Hijo del sultán Murad I y de su esposa de origen griego Gülçiçek Hatun. Poseía la misma capacidad y poder organizativo de su padre, sin embargo Bayezid se distinguió por seguir los caprichos de su voluntad, con el cual podría ser tanto magnánimo como cruel sin límites en un mismo día.


title: Bayezid I

text: El primer papel importante de Bayezid fue como "sandjak-bey" de Kütahya, una ciudad que le fue cedida a su padre por el bey Süleyman Şah de Germiyan, el cual se convirtió en suegro de Bayezid. Era un soldado impetuoso, ganándose el apodo de "Yıldırım" ("el Rayo") en una batalla contra Karaman.


title: Bayezid I

text: Fue proclamado sultán después de la muerte de su padre en la batalla de Kosovo, en la que el ejército serbio había sido casi destruido. En pleno campo de batalla, tras tomar el control total del ejército, mando a llamar a la tienda del comando general a su hermano Yakub Bey (presente también en la batalla) el cual, apenas llegado, fue estrangulado. Completó la conquista de Serbia, concluyó un tratado con el líder serbio Vuk Brankovic y la princesa Milica Nemanjić Hrebeljanovic, que daba a ese país considerable autonomía. En 1390, Bayezid tomó como esposa a la princesa Olivera Lazarević, hija del príncipe Lazar de Serbia, quien lideró las fuerzas serbias y también perdió la vida en Kosovo. Bayezid reconoció a Stefan Lazarević, el hijo de Lazar, como el nuevo líder serbio (más tarde déspota), con considerable autonomía.


title: Bayezid I

text: La parte superior de Serbia resistió a los otomanos hasta que el general Pashá Yiğit Bey capturó la ciudad de Skopje en 1391, convirtiendo la ciudad en una importante base de operaciones otomanas.


title: Bayezid I

text: Mientras tanto, el sultán comenzó a unificar Anatolia bajo su gobierno. La forzosa expansión en los territorios musulmanes podría poner en peligro la relación otomana con los "ghazis", que eran una importante fuente de guerreros para esta casa gobernante en la frontera europea. Así que Bayezid comenzó la práctica de asegurar primero "fatwas", o decisiones legales de los estudiosos islámicos, justificando sus guerras contra estos estados musulmanes. Sin embargo, sospechaba la lealtad de sus seguidores musulmanes turcomanos, ya que Bayezid dependía en gran medida de sus tropas vasallas serbias y bizantinas para realizar estas conquistas. Por lo general elegía las campañas ciñéndose a las necesidades del momento, presionado otras veces por su entorno. Su mujer y los consejeros intentaban hacerle abandonar de forma definitiva la tradición "ghazi" y obligarle a atacar hacia el este (turco y musulmán), convirtiéndolo en defensor de los restos de la cultura cristiana oriental. Esta opinión era compartida por los vasallos cristianos de los otomanos, que preferían ver desplazadas las fuerzas de su soberanos lejos de sus territorios y que si tenían que servirlo preferían realizarlos avanzando sobre el este musulmán. Por el otro extremo, la aristocracia turca tenía preferencia de seguir la tradición "ghazi" de avanzar hacia el corazón de la Europa cristiana, ya que su poder y sus ingresos dependían de los "timars". Apoyando a la aristocracia turca, se encontraban los "Akıncıs", remanentes de los antiguos "ghazis" turcomanos, los cuales siempre se encontraban necesitados de botín que solo las tierras cristianas le podían otorgar; además, veían en los ataques otomanos a los beylicatos turcomanos del este como una traición a su raza y a su religión. En una sola campaña en Anatolia durante el verano y el otoño de 1390, Bayezid conquistó los beylicatos de Aydin, Saruhan y Menteşe. Su principal rival, su cuñado Alâeddin Ali Bey de Karaman, respondió aliándose con el gobernante de Sivas, Tokat y Kayseri de Capadocia, Kadi Burhan al-Din, y los restantes beylicatos turcomanos. Sin embargo, Bayezid prosiguió su avance y en el otoño y el invierno de 1390 abrumó a los beylicatos restantes, Hamid, Teke y Germiyan, y tomó las ciudades de Akşehir y Niğde, así como Konya, la capital de Karaman. En este punto, Bayezid aceptó las propuestas de paz de Karaman (1391), preocupado de que los futuros avances antagonizarían a sus seguidores turcomanos y los conducirían a aliarse con Kadi Burhan al-Din. En ese momento, y en plena campaña otomana en Anatolia, sucedió la conquista de la última ciudad bizantina en Asia: Filadelfia. Ya en 1378, Juan V Paleólogo prometió entregar esta ciudad a Murad I a cambio de ayuda de los otomanos en la guerra civil bizantina. Sin embargo, los ciudadanos de Filadelfia se negaron a rendirse y la ciudad, aislada ya del resto del territorio bizantino, fue en realidad totalmente autónoma. No fue hasta 1390 cuando fue tomada por los otomanos; su sultán Bayezid I convocó a los líderes contendientes de la guerra civil, sus vasallos Manuel II Paleólogo y Juan VII Paleólogo, ordenando que un contingente bizantino se incorporara a las fuerzas sitiadoras. La caída de Filadelfia fue la caída del último asentamiento independiente cristiano griego en el oeste de Asia Menor. La ciudad cambió el nombre por el de Alaşehir. Una vez que se consumó la paz con Karaman, Bayezid se movió hacia el norte contra Kastamonu, que había dado refugio a muchos que huían de sus fuerzas, y conquistó tanto esa ciudad como Sinope. Sin embargo, su campaña subsiguiente fue detenida por Burhan al-Din en la batalla de Kırkdilim (1392). Bayezid intentó armar un nuevo y poderoso ejército para aplastar al Kadi Burhan al-Din y completar su conquista de Anatolia, sin embargo la llegada de noticias amenazadoras de Europa lo obligó a abandonar ese plan y dirigirse apresuradamente hacia el oeste.


title: Bayezid I

text: Los problemas en Anatolia envalentonó a los vasallos balcánicos de los otomanos, que intentaron recuperar su perdida independencia. Los bizantinos del emperador Manuel II Paleólogo (que había sucedido a su padre Juan V en 1391, escapando del cautiverio otomano) recuperaron Tesalónica y gran parte de Macedonia. El principado de Valaquia pactó una nueva alianza con Hungría y con la ayuda del zar Iván Shishman de Bulgaria los aliados no solo habían establecido su control en la orilla sur del Danubio, sino incluso sobre el Despotado de Dobruja. Bayezid, de regresó a Europa, reconquistó toda estas tierras rápidamente y sin problemas. Tomó Tarnovo, la capital búlgara, el 17 de julio de 1393 tras un breve asedio. Iván Shishman escapó a Nicópolis, a orillas del Danubio. Fue entonces cuando marchó contra los bizantinos, reconquistando Tesalónica el 21 de abril de 1394 y enviando expediciones destructivas a Morea. En 1394, Bayezid cruzó el río Danubio para atacar al sur de Hungría y a Valaquia, gobernada en ese momento por Mircea el Viejo. Los otomanos eran superiores en número, pero el 10 de octubre de 1394, en la batalla de Rovine, en terrenos boscosos y pantanosos, los valacos ganaron la feroz batalla e impidieron que el ejército otomano avanzara más allá del Danubio. Cuando regresó de Valaquia después de la batalla de Rovine, Bayezid atacó y capturó a Nicópolis, la nueva capital búlgara y mandó decapitar al zar Iván Shishman el 3 de junio de 1395. De esta manera, Bayezid impuso la administración otomana en Bulgaria, inaugurando un sistema de gobierno más directo que habría de extenderse después al resto de las otras provincias balcánicas.


title: Bayezid I

text: La frontera entre el islam y el cristianismo se estaba acercando poco a poco hacia Hungría, en la cual reinaba al sazón el rey Segismundo de Luxemburgo (futuro rey de Bohemia y Emperador del Sacro Imperio Romano Germánico, hijo del emperador Carlos IV), de origen germano-checo. En 1390 comenzaron las incursiones turcas dentro de los territorios húngaros del sur y, a pesar de que Segismundo condujo una victoriosa campaña en 1392 contra los turcos (apoyando de paso a los valacos de Mircea I) repeliéndolos hacia regiones serbias del sur, estos continuaron avanzando, por lo cual el monarca húngaro decidió llamar a una guerra cruzada. En 1394, el papa Bonifacio IX proclamó una nueva cruzada contra los turcos, aunque en este tiempo el Cisma de Occidente había partido el Papado en dos, siendo rivales Aviñón y Roma. El Papa tuvo que esperar largo tiempo para proclamar la cruzada. Después de diversos llamamientos, Inglaterra y Francia, sumidas en la que se llamaría Guerra de los Cien Años, pactaron una tregua y los reyes Ricardo II y Carlos VI financiaron la empresa. Los franceses negociaron con los húngaros, algo que llevaban haciendo ya desde 1393. El plan original había sido realizado por los duques Juan de Gante (tío de Ricardo II), Luis de Orleans y Felipe II de Borgoña (hermano y tío de Carlos VI, respectivamente), partiendo en 1395, con los reyes Carlos VI y Ricardo II que les seguirían al año siguiente. Sin embargo, a comienzos de 1396 los planes ya habían sido abandonados. En vez de lo planeado, y el heredero borgoñón Juan Sin Miedo (hijo del duque Felipe II) tomó la iniciativa con aproximadamente 1600 borgoñones, la mayoría caballería, junto con un contingente inglés de alrededor de 200 hombres. A estos también se unieron unos 1200 soldados llegados desde el Palatinado, Baviera y Núremberg. Pequeñas unidades militares de Castilla, Aragón, Portugal, Navarra, Bohemia y Polonia. Mircea I de Valaquia, aunque ortodoxo, participó en la cruzada aportando un contingente de soldados. Del otro lado del Danubio, el zar búlgaro Iván Sracimir de Vidin (hermano de Iván Shishman) se unió a la cruzada. Entre tanto, Segismundo había reunido un ejército de 10000 húngaros. Las fuerzas cruzadas finalmente lograron reunirse en territorio húngaro hacia principios de julio de 1396. El duque Juan de Borgoña se puso a la cabeza del ejército cruzado y se lanzó hacia el Danubio. Las repúblicas de Venecia y de Génova aportaron embarcaciones y apoyo logístico para los cruzados en el cruce de este río. Cuando el ejército cruzado franqueó finalmente el Danubio, alcanzó Vidin, el zar Iván Sracimir abrió sus puertas y entregó a la guarnición turca. Los turcos de la guarnición de Oryahovo trataron de resistir, pero los búlgaros lograron capturar la fortaleza. En su avance los cruzados (unos 16.000 hombres) saquearon Rahova, cuyos habitantes en su mayoría fueron pasados a cuchillo, y llegaron hasta Nicópolis, a la cual pusieron sitio. La ciudad estaba bien defendida y abastecida, y los cruzados no estaban pertrechados de máquinas de asedio. Sin embargo, se quedaron y esperaron a los otomanos. Bayezid, ya preparando el asedio de Constantinopla, marchó con su ejército hacia Nicópolis. Su aliado, el príncipe Stefan Lazarević de Serbia, se reunió con bayezid el 24 de septiembre, consiguiendo el sultán, de esta manera un contingente muy similar al de los cruzados (unos 15.000 hombres). El 25 de septiembre de 1396, en la batalla de Nicópolis, los cruzados fueron aniquilados. Vencidos los turcos al principio, los cruzados pensaron que ganaron la batalla, sin embargo un contraataque exitoso dirigido por Bayezid en persona cambió la situación bruscamente. Los cruzados sufrieron una aplastante derrota; cayeron en masa en manos de los otomanos (entre ellos Juan Sin Miedo), y los que escaparon de caer prisioneros (como el caso del rey Segismundo), huyeron hacia el Danubio, se arrojaron al agua e intentaron salvarse a nado o abordando las embarcaciones venecianas o genovesas. Las fuerzas de Bayezid también sufrieron grandes pérdidas. Bayezid, enfurecido por los ejecutados en Rahova y las bajas de sus fuerzas en la batalla, mandó a ejecutar a 3000 prisioneros cruzados. Los obligó a desfilar ante él y después los entregó a los verdugos. Los escasos prisioneros que sobrevivieron eran nobles y solo con inmensas sumas y regalos se los pudo rescatar.


title: Bayezid I

text: El escape de Bursa de Manuel II para ser coronado emperador y la negativa de este para asistir a una reunión con Beyazid I motivaron a cumplir el mayor deseo de su vida: la conquista de Constantinopla.


title: Bayezid I

text: Entre 1394 y 1396, se estableció el bloqueo alrededor de Constantinopla. Los otomanos se contentaron con evitar que alguien entre o salga de la ciudad. A principios de 1394, Manuel II entró en contacto con los venecianos, quienes temieron por sus intereses en caso de que la ciudad fuera tomada por los turcos. Venecia incluso hace el esfuerzo de llegar a un acuerdo con su enemiga tradicional, Génova. Manuel II favorece el entendimiento de ambas. Mientras tanto, Venecia le ofreció a Manuel que solicite la ayuda del papa y contribuyó al abastecimiento de Constantinopla mediante el envío de naves de transporte. De hecho, la debilidad de la armada otomana hizo la ruta marítima como la única vía de acceso a Constantinopla.


title: Bayezid I

text: Durante la cruzada, que desembocó en el desastre cristiano en Nicópolis, una flotilla veneciana liderada por Tommaso Mocenigo logró llegar a Constantinopla. Esta flota fue destinada para la defensa de los estrechos y sirvió de enlace entre Bizancio y los cruzados. Sin embargo, la catastrófica derrota cruzada frustró los planes bizantinos. Las consecuencias de esta derrota fueron dramáticas para Constantinopla cuyos líderes contaban con el éxito de los cruzados para romper el bloqueo otomano. De esta manera, Bayezid reanudó muy rápidamente sus proyectos contra el Imperio bizantino y se apoderó de Selimbria, un puesto avanzado para la defensa de su capital. La mayoría de las tropas otomanas estaban ante Constantinopla, excepto 30000 hombres que estaban asolando la Morea bizantina. Venecia y Génova se movilizaron para proporcionar navíos en defensa de la capital bizantina, mientras que Manuel II se negaba a entregar la ciudad sin luchar. Bayezid, para fortalecer su asedio, construyó la fortaleza de Anadolu Hisar en la orilla asiática del Bósforo y tenía planeado usar a Juan VII Paleólogo para reemplazar a su tío Manuel II a la cabeza de lo que quedaba del Imperio Bizantino.


title: Bayezid I

text: En 1397, a pesar de haberse debilitado el asedio otomano, Manuel II solicitó en vano ayuda al mundo cristiano. Sin embargo, gracias a la gestión de su tío materno Teodoro Cantacuzeno, recibe ayuda francesa. Desembarcan en Constantinopla, en medio de la ovación del pueblo hambriento, unos 1200 hombres, al mando del mariscal Juan Le Maingre "Boucicault". Nombrado Gran Condestable Imperial, el mariscal Boucicault, juntamente con Manuel II, dirigió varias expediciones contra los turcos a Asia Menor. Por lo tanto, las posiciones turcas del mar de Mármara y el Bósforo pasaron a ser altamente vulnerables. sin embargo la ayuda francesa resultó insuficiente. Boucicault, liderando el trabajo de consolidación de las defensas de Constantinopla, también logra reconciliar a Manuel II con Juan VII. El mariscal Boucicaut luego persuade a Manuel a viajar a Europa a fin de crear una cruzada entre los príncipes católicos que solo podrían salvar a Constantinopla. Manuel II acepta la propuesta y delega el mando imperial a Juan VII durante su viaje. Del mismo modo, Chateaumorand, es nombrado capitán del rey de Francia por el mariscal Boucicaut en la ciudad de Constantinopla, se queda con cien hombres allí. El 10 de diciembre de 1399, Manuel II y su familia abandona Constantinopla hacia el oeste.


title: Bayezid I

text: En Constantinopla, durante la ausencia de Manuel II, las pocas tropas francesas llevan a cabo varias acciones ofensivas contra los turcos, en particular para buscar comida. En cuanto a Bayezid no emprendió ninguna acción ofensiva de gran escala para tomar Constantinopla.


title: Bayezid I

text: Fue en 1400 la providencial aparición del emir turco-mongol Timur en las fronteras orientales otomanas. En la capital bizantina, se esperó por muchos años utilizar a Timur como un aliado, siendo siempre vehementes rechazadas las preposiciones bizantinas por el líder asiático. En 1401, Juan VII le prometió, si derrotaba a los otomanos, a pagarle el tributo que ya le pagaba a Bayezid. Finalmente la sorpresiva derrota de este último ante Timur levantó el asedio a Constantinopla.


title: Bayezid I

text: Parecía estar a punto de coronar sus triunfos al conquistar Constantinopla, cuando entró en conflicto con Temür, que le resultaría fatal. Después de su victoria en Nicópolis, Bayezid regresó a Anatolia para poner fin a sus conquistas que habían quedado interrumpidas por sus campañas en los Balcanes y en Valaquia. Aplastó rápidamente a Karaman, último principado independiente de los otomanos, tomando su capital, Konya, y alcanzando el Éufrates en 1397. Al año siguiente, Bayezid eliminó al estado del Kadi Burhan al-Din, establecido en Anatolia oriental, y penetró en el valle superior del Éufrates ocupando territorios mamelucos en el área de Malatya y Elbistan. El sultanato mameluco de Egipto en esa época comenzó su decadencia y el sultán Barquq (fundador de la dinastía buryí) se vio incapaz de emprender una acción ofensiva contra el invasor otomano, cuyo grueso se retiró nuevamente en dirección a Constantinopla, para proseguir con el asedio de esa ciudad.


title: Bayezid I

text: Sin embargo el avance otomano hacia el este puso al sultán Bayezid I en contacto con un rival mucho más poderoso, el emir Temür de Transoxiana, un caudillo turco-mongol que representaba política y militarmente a los oscurecidos kanes del Ulus Chagatai. Temür, por medio de efectivas y sangrientas conquistas, se había creado un gran imperio que incluía el centro y el sur de Asia Central, toda la meseta iraní, Anatolia oriental, el Cáucaso, Irak y el noroeste de Indostán, hasta la ciudad de Delhi (la cual saqueó en 1398). A pesar de que empezó a prestar atención a la amenaza de creciente poder otomano en su flanco occidental, Temür no deseaba conflictos armados con Bayezid y le dirigió un mensaje con el fin de solucionar las causas de las confrontación. Bayezid I cometió el error, en 1400, de intentar imponer su soberanía sobre el emir Taherten, súbdito de Temür. Este emir gobernaba en Erzincan y Erzurum. Para cumplir su cometido, Bayezid se valió del bey Qara Yusuf, jefe de confederación tribal turcomana Kara Koyunlu y enemigo de Temür. En apoyo de su vasallo, Temür se dirigió en agosto de 1400 hacia Anatolia. Pero mientras Temür guerreaba contra los mamelucos (aliados nominales de los otomanos) en Siria, Bayezid tomó Erzincan, capturando a la familia de Taherten.


title: Bayezid I

text: Temür no tomó represalias de inmediato, sino que pasó el invierno de 1401-02 en Karabaj, y la primavera siguiente se situó en las fronteras de Georgia, para invadir finalmente el imperio Otomano en junio de 1402. Pasó por Erzurum y Erzincan con el objetivo de recuperar la disputada fortaleza de Kemah, donde se controlaba el alto Éufrates y que había sido arrebatada a Taharten, por Bayezid: la fortaleza cayó en cuestión de diez días y regresó a su antiguo señor. De aquí se dirigió a la planicie de Sivas donde se encontró con mensajeros otomanos. Temür exigió la rendición de Ahmad Yalaír, el sultán fugitivo de Bagdad, y de Qara Yusuf, de los Kara Koyunlu. Ambos se encontraban refugiados con los otomanos. Sin embargo, los mensajeros del sultán le informan de que Bayezid no pensaba aceptar sus exigencias, sino al contrario, que el propio Temür le rinda tributo. Ante este fracaso de la diplomacia, Temür decidió continuar su marcha hacia Anatolia. Temür pasó revista a sus tropas en Sivas, y avanzó con rapidez hacia Ankara, siguiendo el río Kizilirmak, llegando y poniéndola bajo asedio.


title: Bayezid I

text: Al enterarse de la llegada del ejército timúrida, el sultán Bayezid levantó de manera definitiva el sitio de Constantinopla y, tras reconcentrar su ejército en Bursa, marchó hacia el este para enfrentarse a Temür. En las fuerzas de Bayezid, iban como comandantes subalternos los hijos del sultán otomano: los príncipes Süleyman Çelebi, Mehmed Çelebi, Musa Çelebi y Mustafa Çelebi. Además, como fuerza vasalla, iba un contingente serbio, al mando del príncipe Esteban Lazarević. Coincidentemente, el ejército otomano ya había pasado por Ankara y se dirigió hacia el este en busca del ejército de Temür.


title: Bayezid I

text: Sin embargo, los exploradores de Bayezid pronto informaron de que los timúridas estaban asediando Ankara esencialmente detrás de él. De hecho, los timúridas estaban usando el mismo campamento que los turcos habían usado recientemente en su marcha hacia el este. El ejército otomano dio la vuelta inmediatamente, y a marchas forzadas se dirigió contra el invasor. Temür levantó el asedio cuando los exploradores trajeron la noticia de que se acerca el ejército otomano, reubicándose a varios kilómetros al noreste de Ankara, cerca de la ciudad de Bar. El ejército de Bayezid estaba exhausto debido a la larga marcha forzada desde Bursa a Sivas y a Tokat, y de nuevo de vuelta a Ankara, en persecución del enemigo.


title: Bayezid I

text: Además de su inferioridad numérica y de su estado de extenuación, otro factor que debilitó considerablemente al ejército otomano fue la falta de agua, un gran inconveniente si se tienen en cuenta las altas temperaturas del verano en Anatolia. Temür destruyó los pozos situados en torno a Ankara. Además, desvió el río Cubuk, que atraviesa la llanura del mismo nombre, construyendo una presa y un embalse al sur de la ciudad de Cubuk. De este modo, las fuerzas de combate otomanas y sus caballos no disponían de agua para beber. Cuando el ejército otomano se acercó al campo de batalla, sediento, y casi agotado por varios días de marchas forzadas calientes, se encontraron con las fuerzas timúridas dispuestas en orden de batalla a lo largo de las orillas del río Cubuk, al sur de la ciudad.


title: Bayezid I

text: La mayor sorpresa de los extenuados otomanos fue cuando vieron que su principal fuente de agua se había reducido al mínimo, y que estaba a punto de desaparecer por completo. Frenéticamente en busca de una fuente alternativa, los otomanos encontraron un solo pozo, que por supuesto había sido contaminado por los timúridas. Sin ninguna otra fuente de agua disponible, la moral del ejército otomano se desplomó. A la mañana siguiente ambos jefes decidieron poner sus ejércitos en orden de batalla, era el viernes 20 de julio de 1402.


title: Bayezid I

text: En la batalla de Ankara (20 de julio de 1402) Bayezid I observó con horror como los turcomanos de Aydin, Mentese, Saruhan y Kermian, viendo a sus príncipes entre las fuerzas de Temür, se cambiaron de bando en pleno campo de batalla. Beyazid luchó durante todo el día, a la cabeza de 10000 jenízaros y de las tropas serbias. Finalmente, al atardecer decidió retirarse después de ver a su guardia aniquilada. Pero su caballo cayó muerto y fue hecho prisionero junto con uno de sus hijos, Mustafa Çelebi.


title: Bayezid I

text: Cuando el sultán otomano, finalmente, aceptó el consejo de su esposa y de sus allegados, de avanzar por segunda vez hacia el este perdió el apoyo de la aristocracia turca en un momento en que el nuevo ejército de "Kapıkulları" (esclavos) aún no se encontró preparado para librar acciones bélicas importantes, particularmente contra un ejército tan aguerrido y poderoso como el de Temür. En la práctica, solo contó con los vasallos serbios para formar su ejército, y estos resultaron insuficientes para su misión. De este modo la expansión de Bayezid hacia el este acabó en desastre.


title: Bayezid I

text: A pesar de que, de acuerdo con la mayoría de los cronistas e historiadores, Bayezid fue relativamente bien tratado por Temür, quebrado por el desastre y la humillación, falleció pocos meses después (9 de marzo de 1403) en Aksehir.


title: Bayezid I

text: Temür continuará su campaña en Anatolia, arrasando la capital otomana, Bursa, la ciudad de Alaşehir (la antigua Filadelfia), donde construyó un muro con los cadáveres de sus prisioneros, y el enclave cristiano de los Caballeros de Rodas en Esmirna (último enclave de los cruzados en Asia), cuyo asedio fue seguido de una masacre. El territorio otomano experimentó una fuerte sacudida, quedando reducido a poco más que el norte de Frigia, Bitinia y Misia, Balcanes y lo que restaba del Imperio bizantino.


title: Dinastía osmanlí

text: La dinastía osmanlí, también llamada la Casa de Osmán (, "Ḫānedān-ı Āl-ı ʿOsmān"; en turco moderno, "Osmanlı Hanedanı"), fue la familia gobernante del Imperio otomano desde su fundación en 1299 hasta su disolución en 1922.


title: Dinastía osmanlí

text: De acuerdo a la tradición otomana, la dinastía osmanlí se remonta a una familia de la tribu Kayı de los turcos Oğuz. La dinastía se originó en los "bey" (líder) de la tribu Kayı, destacando Ertuğrul, quien fue asignado por el Sultanato de Rum con el dominio de Söğüt y sus alrededores, en el noroeste de Anatolia (actual provincia de Bilecik, Turquía), cerca de la zona fronteriza con el Imperio bizantino. Su hijo, Osmán, declaró su independencia de los selyúcidas de Rum en 1299, lo que daría inicio formalmente al Imperio otomano. Tanto la dinastía como el imperio que originó toman su denominación en su honor.


title: Dinastía osmanlí

text: Durante los siglos siguientes, el pequeño dominio de Osmán se convirtió en un sultanato que cubrió tres continentes. En 1383, el tercer monarca de la dinastía, Murad I, se declaró sultán, título que mantendrían los gobernantes hasta la disolución del imperio. Sin embargo, dicho título también se le fue otorgado a sus predecesores de forma póstuma.


title: Dinastía osmanlí

text: La sucesión en la dinastía otomana tuvo lugar inicialmente entre los diversos hijos del sultán independientemente de su edad. Esto desembocó en luchas,  guerras civiles o en verdaderas masacres (la llamada ley del fratricidio). Después de Mehmed III, que tenía 19 hermanos ejecutados en el momento de su ascenso al trono, se introdujo el sistema de Seniorato, que reconocía el derecho de sucesión al miembro masculino mayor de la familia, encerrado, junto con los demás príncipes, en un área separada del palacio.


title: Dinastía osmanlí

text: El sultanato fue abolido en 1922 por el gobierno nacionalista que surgió triunfante de la Guerra de Independencia turca, forzando al sultán Mehmed VI a partir al exilio, y estableciendo una república en Turquía sobre los restos del Imperio otomano tras su disolución. Aunque el establecimiento de la república acabó con el poder político de la dinastía otomana, esta mantuvo por algunos meses el poder religioso bajo la figura de Abdul Mejid II, quien se mantuvo como califa hasta 1924, fecha en que el gobierno secularizador de Mustafa Kemal Atatürk abolió formalmente el califato. Los miembros de la dinastía osmanlí fueron declarados "persona non grata", inicialmente. Con el paso de los años, algunos miembros de la dinastía han podido regresar a Turquía, aunque como ciudadanos comunes. De forma civil, los descendientes de la dinastía osmanlí han adoptado el apellido "Osmanoğlu".


title: Interregno otomano

text: El Interregno Otomano (también conocido como "Triunvirato Otomano"; en turco "Fetret Devri") o Guerra civil otomana fue un período caótico en el Imperio otomano, a comienzos del siglo XV, posterior a la derrota del sultán Bayezid I en la batalla de Ankara a manos del emir turco-mongol Temür el 20 de julio de 1402. Aunque Mehmed Çelebi fue confirmado como sultán por Temür, sus hermanos Süleyman Çelebi, İsa Çelebi, Musa Çelebi y, posteriormente, Mustafa Çelebi, se negaron a reconocer su autoridad y cada uno reclamó para sí mismo el trono. La guerra civil fue el resultado.