Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo.
La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Para escribir este libro he usado el lenguaje mesurado y sobrio del testigo, no el lamentoso lenguaje de la víctima ni el iracundo lenguaje del vengador: pensé que mi palabra resultaría tanto más creíble cuanto más objetiva y menos apasionada fuese; sólo así el testigo en un juicio cumple su función, que es la de preparar el terrero para el juez. Los jueces sois vosotros.
El carácter humano es como una balanza: en un platillo está la mesura, y en el otro la audacia. El mesurado tímido y el audaz indiscreto son balanzas con un brazo, trastos inútiles.
En el amor sobreviene un momento en que llega a su apogeo; en ese momento no tiene nada de reflexivo ni de sensual: es sólo pureza moral
La verdadera educación no sólo consiste en enseñar a pensar sino también en aprender a pensar sobre lo que se piensa y este momento reflexivo -el que con mayor nitidez marca nuestro salto evolutivo respecto a otras especies- exige constatar nuestra pertenencia a una comunidad de criaturas pensantes.
Siempre he creído que cada uno hace su propia felicidad y es responsable de sus propios problemas
...¿hasta qué punto es responsable de sus actos una persona abandonada, sin recursos ni capacidad específica, enloquecida por los malos tratos, la indiferencia y la imposibilidad de alimentar a los suyos?
El necio egoísta y sonriente, y el necio triste y ceñudo serán tenidos por sabios y servirán de norma.
Deseo que se me haga un entierro solemne y que todos los escritores y artistas me guarden luto durante cinco años
Cuando enviamos a nuestros jóvenes y mujeres a la guerra, nosotros tenemos una obligación solemne de no evadir los números ni esconder la verdad sobre porque ellos van, y preocuparnos por sus familias una vez se han ido, tener expectativa del retorno de los soldados, y nunca jamás entrar en guerra sin tener tropas suficientes para vencer la guerra, asegurar la paz, y ganar el respeto del mundo.
Es un orgullo ser del real Valladolid.
A veces tenía la sensación de haberse pasado la mayor parte de la vida viajando sin llegar nunca a un sitio que importara. Pero bueno, aquella podía ser una descripción tan buena de la vida como cualquier otra. El único destino real era la muerte, y nuestra vida consistía en encontrar el camino más cómodo y agradable para llegar a ella.
El verdadero éxito de la globalización se determinará en la medida en que la misma permita disfrutar a cada persona de los bienes básicos de alimento y vivienda, educación y empleo, paz y progreso social, desarrollo económico y justicia.
El líder que reclama todos los honores por el trabajo de sus seguidores, seguramente encontrará resentimiento. El verdadero líder no reclama ninguno de los honores. El está satisfecho de ver los méritos cuando los hay, va hacia sus seguidores porque él sabe que los hombres que más trabajaran serán por elogios y reconocimiento que sólo por el dinero.
Y de nuevo volvió a sentir que la vida volvía a tener suficiente fuerza para arrastrarla y hacerle reemprender sus tareas, de la misma manera que el marinero ve, no sin cierto tedio, cómo el viento vuelve a henchir su vela pero no siente el deseo de irse otra vez, y piensa que si el barco se hundiera, bajaría con él girando y girando hasta encontrar descanso en el fondo del mar.
Ya hemos indicado, por otra parte, que el favorecer la irrupción de los maketos es fomentar la inmoralidad en nuestro país; porque si es cierto que las costumbres de nuestro pueblo han degenerado notablemente en ésta época, débese sin duda alguna a la espantosa invasión de los maketos, que traen consigo la blasfemia y la inmoralidad.
Una mujer observa su cuerpo intranquila, como si fuera un aliado poco fiable en la lucha por el amor
Este es un momento muy importante en mi vida. No puedo ser solo la chica que cantaba I Kissed A Girl. Tengo que dejar mi huella.
No considero a la bomba atómica como una fuerza tan importante como ciertas personalidades piensan
La más alta, la gloria más trascendental de la Revolución Americana fue - que conecta, en un vínculo indisoluble, los principios del gobierno civil con los preceptos del cristianismo.
Tocar al niño es tocar el punto más delicado y vital, donde todo puede decidirse y renovarse, donde todo está lleno de vida, donde se hallan encerrados los secretos del alma, por ahí se elabora la educación del hombre del mañana.
Yo reconozco, amo y venero el canto a lo humano y el canto a lo divino, desde el punto de vista del texto literario y del punto de vista musical. Basta con conocer un verso a lo divino para conocer el espíritu fino, sabio y delicado del cantor chileno.
Pienso que será difícil igualar un año tan bueno como este pues la liga española es la más difícil del mundo y competir con el Barcelona, como todo el mundo sabe, es muy complicado pero al final acabamos a nueve puntos de ellos y por eso ha sido un año asombroso
El arte es la expresión de uno mismo. ¡Cuanto más complicado y restrictivo es un método, menos oportunidad para la expresión del sentido original propio de libertad!
Cuanto más complejo se vuelve un sistema, más improbable resulta, mas cosas pueden fallar y más esfuerzo conlleva su mantenimiento.
Todo pueblo colonizado -es decir, todo pueblo en cuyo seno haya nacido un complejo de inferioridad a consecuencia del enterramiento de la originalidad cultural local- se sitúa siempre, se encara, en relación con la lengua de la nación civilizadora, es decir, de la cultura metropolitana.
Para amar a una persona y perdonárselo todo basta con contemplarla un rato en silencio. A veces vivimos durante muchos años al lado de otra persona y sólo vemos de verdad en el momento de sobrevenirle una desgracia.
Si yo pudiera decir todo esto en un poema, si pudiera decirlo, si de verdad pudiera, si decirlo pudiera, si tuviera el poder de decirlo. ¡Qué poema, Señor!
Tenga el valor de vivir grandes emociones profundamente para crear un carácter alto y verdadero.
Yo me considero, sí, la solución del PSOE, la persona que tiene que abanderar el cambio en su nueva etapa. No soy hipócrita y ¡claro que tengo un alto concepto de mí misma! Por eso creo que puedo ser una buena secretaria general del PSOE
El pasado es una colección interminable de horrores que sólo merece el más completo de los olvidos; el futuro, una incógnita poco confiable que es preciso asegurar; el presente, el campo de batalla donde hay que garantizarse la vejez.
Así tenemos en la cámara fotográfica el recurso más confiable para el inicio de la mirada objetiva. Todos serán obligados a ver lo que es ópticamente cierto, explicable en sus propios términos, objetivo, antes de poder llegar a cualquier posible posición subjetiva.
No hace falta decir que la cultura que deja insatisfecho a un núcleo tan considerable de sus partícipes y los incita a la rebelión, no puede durar mucho tiempo ni tampoco lo merece
Acaso no haya nada tan considerable en la historia de los cristianos como Rancé rezando a la luz de las estrellas, apoyado en los acueductos de los césares, a la puerta de las catacumbas: el agua se lanzaba con fragor por encima de las murallas de la Ciudad Eterna, mientras la muerte, abajo, entraba silenciosamente en la tumba.
Llevo quince años jugando al máximo nivel y creo que eso me puede ayudar en el Real Madrid. Soy consciente de que todo el mundo me va a exigir lo máximo, pero estoy preparado para responder adecuadamente. Quiero aprovechar la oportunidad de jugar en este Club
El mal poeta suele ser inconsciente, donde debe ser consciente, y consciente de donde debe ser inconsciente.
La próxima vez que te vea será en la iglesia. Se acabó para siempre el amor recatado que ni a ti ni a mí nos agrada. Adiós. Al amor de banca y al amor de sala. Adiós al pudor inmaculado. Ahora viviremos el amor a tambor batiente con muchas formas de besos y muchas formas dé agarre.
El que es prudente es moderado; el que es moderado es constante; el que es constante es imperturbable; el que es imperturbable vive sin tristeza; el que vive in tristeza es feliz; luego el prudente es feliz.
Sé flexible como un junco, no tieso como un ciprés
El hombre juicioso solo piensa en sus males cuando ello conduce a algo práctico, todos los demás momentos los dedica a otras cosas
Cualquier hombre poco juicioso e ilustrado percibe fácilmente el poco fundamento que tienen incluso sistemas que han obtenido el mayor crédito y que han pretendido poseer en el más alto grado una argumentación exacta y profunda.