
English: 
From Boole to Google: Boolean logic in daily life 
 10th November 2015 
We are going to check objectives and celebrate 
the bicentenary of the birth of Boolean Algebra’s father 
The mathematician and logician George Boole
The video we just watched has been edited by University College Cork
Basically, this act will consist of a short talk
Taught by Professor José Miguel Pacheco Castelao
Lecturer of mathematics, whom you all know
He is also member of the Real Academia Canaria de Ciencia (Royal Canary Academy of Science)
And after this, he will take part too on the round table
With José María González Yuste, IT services and communications colleague
Also PhD on intelligent system
Boole is important both for electronic circuits and computing
And for library and documentation worlds too

Spanish: 
…comprobar objetivos y celebrar el bicentenario del nacimiento del padre del álgebra booleana
Del matemático y lógico George Boole
El vídeo que acabamos de ver es un vídeo preparado y editado por la universidad de Cork
Y el acto va a consistir básicamente en una breve charla
Impartida por el profesor José Miguel Pacheco Castelao
Catedrático de matemáticas a quien todos conocen
Y además miembro de la Real Academia Canaria de Ciencia
Y después de esta, participará también en la mesa redonda
Junto a José María González Yuste, compañero del servicio de informática
Y comunicaciones de nuestra universidad y, además, Doctor en el Sistema Inteligente
Boole es importante tanto para los circuitos electrónicos y para informática
Como también para el mundo de la biblioteca y la documentación

English: 
Since all our databases, the ones you use to check
When you go to the library: every resource, every platform, every search engine
Is mainly based on boolean operators, precisely on “Y” and “O”
Me, myself, in order not to prolong this, because they are the main characters
Whom I want to thank their participation
I give the floor to them, thank you very much (applause)
I’m afraid it’s my turn
I’m going to thank some people just to be here
First, to young people present here
Because I think they, as our future, has the right to know about our past
That’s essential for daily life
To the University Library, in which/on whose Organizing Committee I had the honour to be part of some centuries ago

Spanish: 
Puesto que todas nuestras bases de datos, todas las bases de datos que ustedes consultan
Cuando van a la biblioteca, cualquier recurso, cualquier plataforma, cualquier buscador
Se basa principalmente en los operadores booleanos, precisamente en el ”Y”  y “O”
Yo sin más, para no alargarles mucho, como los protagonistas son ellos
A quienes quiero agradecer su participación desinteresada
Les cedo la palabra, muchas gracias (aplausos)
Me temo que me toca, ¿no? Me toca
Bueno, pues yo voy a agradecer a unas cuantas personas el hecho de estar aquí
La primera es a la gente joven que está por ahí
Que el futuro yo creo que también tiene derecho a enterarse de cómo era el pasado
Lo cual es fundamental para andar por la vida
A la Biblioteca Universitaria, en cuyo comité organizador tuve el honor de participar en siglos pasados

Spanish: 
Cuando se estaba creando toda la infraestructura y tal
Aquí al amigo Yuste, que hacía que no nos veíamos por lo menos 12 o 13 años, pero en fin
Siempre tuvimos buena sintonía y es agradable volvernos a encontrar y más a este lado de la mesa
- Efectivamente
- Siempre es mucho más cómodo estar al mismo lado de la mesa que en lados enfrentados
Pues a mí me había llegado la noticia de que había que hablar del Sr. Boole en su relación con Google
Esto es para aquellos que no lo sepan aunque ya lo he comentado antes
“Google” no deriva de “Boole” aunque se parece mucho, o sea
Google es una mezcla de dos palabros ingleses: uno que es el “googol”
Que significa algo así como 10 elevado a 100, o sea, un número enorme
Un 1 seguido de 100 ceros, y de la palabra inglesa “goggle”
Que es lo mismo pero cambiando la segunda “o” por una “g”, sale “Google”
Que significa gafas, además de esas de soldador o de buceador

English: 
When they were creating their facilities
To my friend Yuste; we haven’t seen each other since 12 or 13 years ago at least
We always had mutual understating and I’m delightful to find him again, more now that we are at the same part of the table
- Of course
- It’s always easier to be on the same side of the roundtable than in opposite sides
Well, I had been told I had to talk about Mr. Boole concerning  to Google
For those who doesn’t know it, even if I have said it before
The word “Google” doesn’t come from “Boole”, even if they look very similar
“Google” is a mix between two English words: “googol”
Meaning something like 10 square/raised to 100, a huge number
1 followed by 100 zeros, and “goggle”
You obtain “Google” changing the second “o” for a “g"
That means “glasses”, but those for welders or scuba divers

English: 
It is a lucky mix, it has to be said
It has led to this search engine, well known as Google
That, at the end, is just a commercial brand
So I don’t know if we have to put an ® or an ™
Or something similar, it has to be said
I am going to start, I will be brief, I am not going to bore you too much
I have there some students, so this will serve them as a lecture
We will also have some mathematical formulae
And it would dreadful, let’s make this clear
Let’s start
What I’m saying is that without certain man named Boole
Who lived in those dates on the slide
We wouldn’t be talking about search engines here, right now
There is 3 search engine s on the slide
The newest probably is Duck Duck Go 

Spanish: 
Entonces esa mezcla es muy afortunada, la verdad, hay que decirlo
Ha dado lugar a este buscador que se conoce con el nombre de Google
Que a fin de cuentas no es más que una marca comercial
Entonces no sé si tendría que haberle puesto una  ®
de marca registrada allá arriba, o un ™
O alguna cosa de estas, las cosas como son
entonces, voy a empezar; voy a ser breve, no les voy a cansar mucho
Y como tengo ahí unos cuantos alumnos para que esto les sirva de clase
También saldrá alguna fórmula 
las cosas como son 
Y la fórmula será espantosísima, esto que quede claro
Empecemos entonces con esto
Lo que digo aquí para empezar es que si no hubiera existido un cierto Sr. Boole
Que vivió en las fechas que se dicen ahí
Pues ahora no estaríamos aquí charlando acerca de buscadores de internet
Ahí hay tres buscadores, de los cuales el más reciente posiblemente sea el Duck Duck Go

Spanish: 
Que es uno de estos de software libre
Google es un buscador que últimamente está muy en entredicho
Por su política, digamos, casi monopolística
Yahoo como buscador está un poco caído, de capa caída
Pero el mayor problema es cómo funcionan por dentro
Esa es la verdadera pregunta, aunque hay otras preguntas anteriores a esta
La primera es: ¿por qué la informática se ha dedicado a hacer buscadores y no a hacer otra cosa?
Es importante preguntarse el porqué de que alguien se haya puesto a hacer buscadores
La segunda pregunta, también anterior a esta de cómo funcionan por dentro, sería
¿Y estos sistemas van a acabar con el trabajo de Doña Avelina y Doña Mari Carmen?
¿En algún momento acabarán con las bibliotecas? ¿Tú qué crees?
Que no (risas)

English: 
A free software search engine
Google is a search engine very questioned lately
Because of its, let’s say, almost monopolistic policy
Yahoo is a little forgotten, has been fallen
But the main problem comes from how they work inside
That’s the real question, although there are more questions
First question: why computing has spent time doing search engines and not doing something else?
It is important to ask ourselves why someone had started to do search engines
Second question, previous to “how they work inside”, would be:
Do those systems will end with Avelina and Mari Carmen jobs?
Do they would put an end to libraries? What do you think?
- I think not (laughter)

Spanish: 
Dice que no, o sea que sus razones tendrá
Estas son las tres preguntas que ahí hay, dos preguntas anteriores, que son:
¿Por qué se hacen buscadores?
Se podían haber dedicado a, yo qué sé, macramé con los ordenadores o cosas por el estilo
La segunda es si acabarán con determinado tipo de cultura
Y la tercera es cómo funcionan por dentro
El cómo funcionan por dentro desde el punto de vista de un matemático
No es nada emocionante, es muy poco emocionante
Pues pensando un poco y usando muchas matemáticas, muchas, muchísimas matemáticas
Y especialmente para la clientela esta joven, álgebra lineal
Google esencialmente lo que hace es calcular autovalores de una matriz enorme
Una matriz gigantesca, tremenda
Y lo único que hace es calcular los autovalores
Son los resultados que nos saca ahí puestos, eso es lo que hay

English: 
She doesn’t think so, she would have her reasons
Those are the 3 questions:
Why search engines are done?
They could have done with computers, I don’t know, macramé or something similar
Second question: will those search engines end up with specific type of culture?
And third one: how do they work within?
How do they work inside, from a mathematician point of view
It's not exciting at all
Thinking a little and using  many maths, lots of maths
And, especially for young people, using  linear algebra
What Google does is, essentially, calculate eigenvalues of a huge matrix
A gigantic, enormous one
And the only thing it does is to calculate those eigenvalues
Eigenvalues are the results Google give us, that’s what it is

English: 
Because of that, because we are having an exam on, I don’t know what day of January
Please study this eigenvalues, someone will test you about that
There are other interesting parts too
Not only linear algebra, which is a vital tool
But for understanding of how they work
We have to use graph theory, we need a clear understanding of statistics
And to control all that, we need mathematical analysis and this sort of things
Which we make students from first and second course suffer
They believe the only purpose of this is to make them suffer, and they are not wrong at all
But fundamentally this is the base of computing itself
So mathematics we use are fundamental, as I say
The only thing required is, 
from computer experts and programmers

Spanish: 
Así que por eso, como vamos a tener un examen el día no sé cuántos de enero
Pues se me estudian los autovalores que ya alguien les examinará de ello
Hay otras partes también que tienen muchísimo interés en esto
No solo el álgebra lineal, que es una herramienta fundamental
Sino para la comprensión de cómo funciona
Hay que usar teoría de grafos, hay que tener una comprensión clara de lo que es la estadística
Y para el control de todo ello pues análisis matemático y este tipo de cosas
Con las cuales se hace sufrir a los alumnos de primero y segundo
Ellos creen que se pone únicamente para que sufran, no les falta razón, desde luego
Pero en el fondo están en la base de lo que es la informática en sí
Bien, entonces las matemáticas que se usan, ya digo, son elementales
Y lo único que se necesita es, por parte de los informáticos y de los programadores

Spanish: 
Que no son lo mismo, estarás de acuerdo conmigo
- Totalmente
Bien, entonces lo que se necesita es un cierto virtuosismo, hay que ser elegante
Hay que hacer las cosas de manera racional y también de una manera
En que la gente se sienta convencida de que aquello es lo que hay que hacer
Pero, sobre todo, en programación y en el diseño en algoritmo
Hay que usar una palabra que está últimamente muy mal vista, pero que es “elegancia”
Google es un algoritmo elegante, un algoritmo matemáticamente muy preciso, muy bien diseñado
Y, por lo tanto, cumple un montón de propiedades que para un matemático son satisfactorias
Bien, pues vamos a empezar ya con nuestra historia, ya digo
También hace falta usar mucha lógica
Y ahí tienen ustedes a todos los lógicos que en el mundo han sido previos al momento actual
La lógica clásica, la de los silogismos

English: 
That are not the same concept, you’ll agree with me
- Absolutely
Then, what you need is some virtuosity, you have to be elegant
You have to act rationally, in a way
That convince people of what have to be done
Especially during programming and designing of an algorithm
We have to use a very unpopular word: “elegance”
Google is an elegant algorithm, it’s very precise mathematically, extremely well designed
Therefore, it fulfills a lot of satisfactory features for a mathematician
OK, let’s get started with our history!
We also need a lot of logic
You can find on the slide every logician in the world, previous to this moment
Classical logic, talk of syllogisms

English: 
Like the following: “I, John Doe and whatever with everything and all” and then “John Doe is whoever“
That’s the classical logic, Aristotelian one
It prevailed over so many years until Pascal’s times, the year one thousand six hundred and something
Pascal was a philosopher, nowadays we will call him a “polymath”
He knew about everything, he was basically a philosopher
A mathematician too, he invented an adding machine and arithmetic machine
He left as an heritage a number of theorems of geometry
That no one remembers, of course
He left as an key heritage Port-Royal Logic, a school for logicians
Whose influence was very powerful until one thousand eight hundred and something
Where it was replaced by Boole and like-minded people
Next one of this, let’s say, “hit parade” is Leibniz

Spanish: 
Esa de “yo, fulanito es tal y no sé qué con todos los gajes no sé cuánto” y luego “fulanito es tal”
Esa es la lógica clásica, aristotélica
Que reinó durante muchísimos años hasta la época de Pascal, en el año mil seiscientos y pico
Pascal era un filósofo, lo que hoy en día diría un inglés un “polymath”, o sea, un “polímata”
Era un señor que sabía de todo, básicamente era filósofo
También fue matemático, inventó una máquina de sumar, una máquina aritmética
Y dejó como herencia una serie de teoremas de geometría
Que por supuesto ya nadie recuerda
Pero dejó como herencia fundamental la lógica de Port Royal, que era una escuela de lógicos
Cuya influencia fue potentísima hasta el año mil ochocientos y tantos
Donde ya fue sustituida por Boole y gente de este pelaje
Bueno, el siguiente, digamos, del hit parade (lista de éxitos) es Leibniz

Spanish: 
Aparte de ser el padre del cálculo infinitesimal y de muchísimas más cosas
Porque era otra especie de Pascal, escribió sobre la minería
En la frontera de Polonia con Alemania y un montón de cosas más
Inventó el cálculo infinitesimal entre otras cosas
Pues también tenía una manía, que era diseñar una lengua universal
En la cual se pudiera entender todo el mundo
Claro, la lengua universal de Leibniz todavía no se ha conseguido
Pero sí puso los cimientos de la utilización del código binario
Que viene siendo una especie de lengua universal como todos nosotros más o menos sabemos
Todo el mundo se entiende en código binario
Y a Leibniz se le ocurrió un dicho que se dice muchas veces
Que es que cualquier discusión entre personas puede hacerse simplemente utilizando el verbo “calculemos”

English: 
Besides being the father of the infinitesimal calculus and so much more
Because he was like another Pascal
He also wrote about mining at the border of Poland with/and Germany and so much more
He invented infinitesimal calculus among other things
He also had a infatuation about creates an universal language
With which everybody could understand each other
Of course, Leibniz’s universal language has not yet been achieved
But he did placed the foundations of binary code
Which is kind of an universal language as well all know, more or less
Everybody understands each other on binary code
Y a Leibniz se le ocurrió un dicho que se dice muchas veces
Que es que cualquier discusión entre personas puede hacerse simplemente utilizando el verbo “calculemos”

Spanish: 
Ponemos nuestras ideas en el código de la lengua universal y esa lengua universal
Que tiene unas normas perfectamente claras, bien estructuradas, permiten hacer un cálculo
Y ese cálculo era la gran idea de Leibniz
No se llevó a cabo, Leibniz no pasó más de eso, de decir que quería la lengua universal
Y puso algunas cosas del código binario
Bueno, para que no nos tachen de poco amigos de las señoras
Aquí tenemos a la única señora que sale en toda esta historia
Que es Ada Lovelace
Aparte de eso era hija de Lord Byron, el famoso poeta inglés
Y como ven ustedes no tuvo una vida muy larga, treinta y tantos años
Entonces su nombre da nombre a un lenguaje de programación
Que antes se usaba aquí para iniciar a los niños
Que es el lenguaje “Ada”, es un lenguaje de programación muy conocido

English: 
Ponemos nuestras ideas en el código de la lengua universal y esa lengua universal
Que tiene unas normas perfectamente claras, bien estructuradas, permiten hacer un cálculo
And that calculus was Leibniz’s great idea
It didn’t came true, never went beyond that, beyond talk about it
Well, we don’t want to be brand as no friends of ladies
So here we have the only woman who appears in all this
Ada Lovelace
She was daughter of Lord Byron, the famous English poet
And as you can see on the slide, she didn’t have a long life,  
thirty-something years 
Ada Lovelace gives name to a programming language
Used before to initiate children to programming
“Ada language" is a well-known programming language

Spanish: 
De estos de introducción, y se llama así en honor de Ada Lovelace
Pero su principal aportación es que inventó el concepto de programa
Inventó la idea de programa aplicada a una máquina
que un contemporáneo suyo, un poquito mayor que ella
Que era Charles Babbage
Él había inventado una máquina que se llamaba la máquina diferencial
Yo he visto un ejemplar, es una máquina así de grande con unas manivelas
Unas ruletas, una serie de cosas; y se puede programar
Y fue Ada Lovelace la que tuvo en su haber
La capacidad de haber diseñado el tal programa
Claro, una vez diseñado un programa, ya se van diseñando todos los demás
Todo viene en retahíla
Y aquí llegamos al homenajeado de hoy, que es George Boole
Cuya obra principal es el álgebra de la lógica
No se llama así, ahora veremos cómo se llamaba oficialmente

English: 
An introductory one, named after her
However, her most important contribution was that she devised the concept of “program”
Applied to a machine
Charles Babbage, a contemporary partner, a little bit older than her
Had invented a machine named difference engine
I have seen one, is a machine this big with some cranks
Wheels and a number of things
And it can be programmed, it was her who has the ability
To design such program
Of course, once the program was designed, the rest began to be designed too
And here we come to our honored, George Boole!
His main work is the algebra of logic
Its name is not that one, we will see now its official name

English: 
There, it is explained Boolean algebra
Those laws regulates how you say “A then B”, “A and B”, “A or B”
Those are regulated by Boolean algebra
Meaning two math operations can be reduced to one if you want
It allows lengthy deductions, just calculating
In the wake of what Leibniz said it could be done
In other words, this is the end of Aristotelian or term logic
With Boole logic purely rhetoric comes to an end
Words solo with syllogistic
After that, it creates something that can beat it and beat more things
Then there is Wittgenstein. He was focus on philosophize about what logic was for many years

Spanish: 
Y es donde están contenidas las leyes del álgebra de Boole
Que son las leyes que rigen cómo se dice si “A entonces B”, “A y B”, “A o B”
Este tipo de cosas se rigen mediante un álgebra de Boole
O sea, dos operaciones que pueden reducirse a una si uno quisiera, en fin
Y permite hacer deducciones larguísimas simplemente calculando
En la estela de lo que había predicho Leibniz que se podría hacer
O sea, que este es el final de la lógica aristotélica
Esto es Boole cuando acaba con la lógica puramente retórica
El solo de palabras con la silogística
Y además genera algo que puede con ella y más cosas
Luego tenemos a Wittgenstein, que se dedicó a filosofar sobre qué era la lógica durante muchísimos años

Spanish: 
El concepto de ordenador es de Turing que es otro matemático "archicélebre"
Hacia al año 1930-33, cuando publicó la idea de ordenador
Aparte de eso Turing es muy conocido por el destripamiento de la máquina Enigma, en la Segunda Guerra Mundial
También es más conocido porque el pobre se tuvo que envenenar a sí mismo
por aquello de ser gay, que entonces estaba muy mal visto, en los primeros años 50
En la muy religiosa Gran Bretaña
Y ya como ultima contribución a la informática
Tenemos a John Von Neumann que, a pesar de ese nombre tan alemán
Y el John tan americano, era húngaro
Vivió casi toda su vida, a partir de los años 30, en EEUU
Y fue el diseñador de la arquitectura actual de los ordenadores

English: 
Computer concept belongs to Turing, another enormously famous mathematician
Around the 1930’s, when he published the idea of computer
Turing is also very well-known for the decoding of Enigma machine on WWII
He is also known because the poor man has to poison himself
Because he was gay, by the beginning of 1950’s
That was poorly considered in the very religious Great Britain
And last contribution to computing
Next one is John Von Neumann. Even if he has that name that sounds German or American
He was Hungarian
He lived almost all his life in the USA, after 1930’s
He designed the current computer architecture

Spanish: 
Esto es la inclusión del programa dentro del ordenador
Entonces estos son los pensadores de la lógica que han influido más en todo esto
Claro, sin toda esta gente hoy día no habría buscadores de internet, no habría nada de nada
También es verdad que, sin toda esta gente
El gobierno nos controlaría un poquito menos, todo hay que decirlo
Pero bueno, eso forma parte también de los pros y contras del progreso
Pero a mí personalmente me interesa muchísimo el papel de Leibniz
Que yo creo que es casi el antecesor directo de Boole
Y luego, posteriormente, ya vienen Turing y Von Neumann
Que son los más, digamos, pegados a la dura realidad
Bueno, vamos a ver aquí a Mr. Boole
Del Sr. Boole solo se conoce una fotografía
Con la que se han hecho multitud de perrerías

English: 
Meaning inclusion of program on computers
These are the logic thinkers who has influenced the most in this topic
Without all of them nowadays it wouldn’t be search engines or anything
It is also true that, without all of them, Government would control us a Little bit less, it must be said
Well, this is part of pros and cons of progress
Personally, I’m really interested in Leibniz role
I think he’s almost the predecessor of Boole
And after them, Turing and Von Neumann came
And they are the most linked to the harsh reality
Let’s see Mr. Boole!
There is only known one photography of him
And it has been used to make some jokes

English: 
Here you got him disguised with some Ray Ban glasses, those Wayfarer
It’s very usual that all geeks do this kind of things to Boole’s snap, right?
There is Boole disguised with his glasses and next to it, there is the text
On the first page, algebra of logic is there
It’s named “An Investigation of the Laws of Thought…”
I barely see it
“…on Which are Founded the Mathematical Theories of Logic and Probabilities”
by George Boole, PhD in Law
It was published in London by Walter and Maverick editorial
There is something important here: take notice of the fact that he hasn’t mathematician studies

Spanish: 
Aquí lo tienen disfrazado con unas Ray Ban de estas Wayfarer
Además, por más señas
Y entonces es muy típico que todos los frikis de la informática
Le dediquen algún tipo de cosa a Boole, ¿no?
Ahí tienen una foto de Boole disfrazado con sus gafas y al lado está el texto
La página inicial del texto donde está el álgebra de la lógica
Que se llama, traducido literalmente: “Una investigación de las leyes del pensamiento…
Es que casi no lo veo
…en las que se fundan las teorías matemáticas de la lógica y la probabilidad”
Por el Sr. George Boole, Doctor en Derecho
Fue publicado en Londres por la editorial Walter and Maverick no sé cuántos
Bien, es importante una cosa: fíjense que Boole no era matemático de carrera

Spanish: 
De hecho, no tenía carrera alguna casi
Era un autodidacta y ser Doctor en Derecho era lo que se conseguía con cierta facilidad
Pero al ser Doctor en Derecho tenía mucha experiencia
En haber andado por los tribunales, argumentando con unos y con otros
Esto es, podemos fundamentar los deseos de Boole de organizar toda la argumentación legal
De una manera completamente correcta
El haber estudiado derecho o haber sido abogado, tener su Doctorado en Derecho
Le llevó de alguna manera a pensar que esto se pudiera poner de manera sistemática
Esto es algo que, por ejemplo, en España, existe una revista que se llama “Theoría”, con TH
La publica la Universidad del País Vasco
Y tiene de epígrafe “Theoría” y luego, de subtítulo
pone “una revista de lógica judicial”

English: 
Actually, he had no academic background at all
He was a self-taught and becoming PhD in Law was relative ease to achieve
But as PhD in Law he had a lot of experience
Because he had expend some time into courts and contending with everyone
We can substantiate Boole’s ambition to organize all legal argument
In a completely correct way
The fact that he studied Law or that he was a lawyer
Was the thing that lead him to think about the possibility to make this in a systematic way
This, for example, in Spain, it’s reflected on “Theoría” magazine
Published on Universidad del País Vasco
Its subtitle is “a judicial logic magazine”

English: 
It’s specialized to logic applied to Law
So we can say there’s a strong connection
Between Law, the art of argument to convince others, and those logic laws
Here we have Boole, who was PhD in Law
And that’s not any banality
So, let’s continue then
I’m almost half way of the slides
We are going to talk about another fact
that English people are very pragmatic
During the early years of 20th century there was a Britannic mathematics school
Named “The Algebraic Computation”
Also known pejoratively as “FDD School”

Spanish: 
Está dedicada justamente a la lógica aplicada al derecho
Por lo tanto, digamos que hay una conexión potente
Entre el derecho, que es el arte de argumentar para convencer a otro, y estas leyes de la lógica
Aquí tenemos a Boole, que era Doctor en Derecho, este señor
Esto no es ninguna trivialidad, el ser Doctor en Derecho
Y entonces, vamos a avanzar un poco
Ya estoy casi a la mitad de la cosa esta
Hay otra cosa que va a aparecer ahora y es el hecho de que, en Inglaterra
Los ingleses son una gente muy, muy pragmática
Y entonces, durante los primeros años del s. XX, hubo una escuela de matemáticas británica
Que se llamó “El Cálculo Simbólico”
Se les conocía más bien, un poco despectivamente por “La Escuela FDD”

Spanish: 
Y en esta escuela lo que hacían era hacer cálculos puramente simbólicos sin significado alguno
Esto ha sido muy criticado sobre todo por los matemáticos de lo que los ingleses llaman “el continente"
Que para ellos es Europa y otras cosas por el estilo
E incluso por propios ingleses, por ingleses más serios
Entonces Boole era un simbolista bastante claro
Pero también había sido abogado, hay que tener en cuenta esas cosas
Bueno, entonces, por ejemplo, la derivada de una función, cosa que todo el mundo sabe lo que es
Pues era el resultado de un símbolo, esto lo llamaban “D”, que actuaba como tal y el símbolo se podía repetir
Esto da unos resultados que la mayor parte de las veces son ciertos
Lo que pasa que a veces da resultados valederos que se pueden interpretar en los lenguajes normales
Pero otras veces da verdaderos disparates
Y esto, hay gente que los ha encontrado
Pero bueno, dado que Boole no andaba con este tipo de cosas

English: 
At that school, the do purely symbolic calculus without any meaning
This has been very criticized for every mathematician of “the continent”
Europe and others according to English people
Even for another English man, more serious ones
Boole was clearly a symbolist
But he had been a lawyer too, that’s important
For example, a derived from a basic function, something everybody here knows
Was the symbolic result of a symbol. They call that “D”, that act as such and the symbol could be repeated
That give us true results most of the times
What happens is that sometimes gives us meaningful results 
That can be interpreted in regular languages 
But some other times, it gives crazy results, nonsense
There’s some people who have found them
But Boole wasn’t involved on that kind of things

Spanish: 
Sino que se iba a cosas tan mundanas como puede ser el ir a un juicio y entender lo que decían
Pero bueno, el símbolo en realidad era una ayuda
Más que nada para su forma de andar por la vida
Voy a pasar ahora a la segunda parte, que era…
No voy a hablar del libro de lógica porque es "archiconocido"
Sino que voy a hablar de otro libro de Leibniz; perdón, de Boole que es menos conocido
Que es “El Tratado sobre las Diferencias Finitas”
Las diferencias finitas, sobre todo aquellos de ustedes que ya tengan algún conocimiento
De cómo funciona la ingeniería hoy día
Sabrán que son las primeras letras del cálculo numérico
Y están basadas sobre todo en traducir cantidades continuas a cantidades discretas
Por el método de muestrear aquí y allí

English: 
He used to do mundane things as going to a trial and understand what they were talking about
Actually, the symbol was an aid
Particularly for his way of life
I will move on to the second part
I’m not going to take about this famous book of logic
But about another book of Leibniz - sorry, I meant Boole, less known
“Treatise on the Calculus of Finite Differences”
Finite differences, for those of you who already know something
About how engineering work nowadays
They are first letters of numerical calculation
They are based on translate continues quantities to discrete quantities
Using the method of sampling

English: 
The same thing a Techno music fanatic would call “sampling”, that’s what it is
That’s what it is to do finite differences, basically that
Of course, finite differences are very useful to used them symbolically
This is the difference between two terms of a sequence
If we put “delta squared”, we have to do terms of a sequence first
Then, repeat the process again and so on until you are bored
Indeed, from a purely symbolic point of view, more symbols can be generated
For example, this inverted triangle symbol, also called “nabla” sometimes
Is 1+Delta, “the next”; it calculates next term from another one
And then, working symbolically, we can see “delta raised to minus one"
That’s what we call an integral
Leibniz used to say that too

Spanish: 
Lo que un loco de la música techno diría un “sampleo”, pues eso es
Eso es lo que es hacer diferencias finitas, no es más que eso
Por supuesto, las diferencias finitas se prestan muy bien a ser tratadas simbólicamente
Entonces, esto que está aquí es la diferencia entre dos términos de una sucesión
Y si ponemos “Delta al cuadrado” es hacer primero los términos de la sucesión
Y luego volver a repetir el proceso y así hasta el aburrimiento
Claro, desde el punto de vista puramente simbólico, se pueden generar más símbolos
Por ejemplo, el símbolo este que es el triángulo al revés, se llama “nabla” a veces
Es 1+delta y es “el siguiente”, de un término calcula el siguiente
Y luego, trabajando simbólicamente se ve que delta elevado a menos uno
Que es el inverso de la diferencia
Que es lo que lo que nosotros llamamos la integral
Eso ya lo decía Leibniz también

Spanish: 
Ahora haciendo unas cuantas cuentas aquí
Vemos que hacer la integral es aplicar una serie
Muy complicada a la cuestión que sea
El cálculo en diferencias finitas fue una de las cosas a las que se dedicó Boole
Sobre todo, en su labor como profesor de matemáticas en la universidad de Cork
Esa que salió hace un rato ahí
Y que yo espero que todos ustedes, con el nivel B8 de inglés (risas)
Entenderían perfectamente el vídeo, ¿no? (risas)
Am I right or not?  (risas)
No han entendido (risas)
Completely claro (risas)
Bueno, entonces tenemos aquí esto y esto es lo que hizo Boole
Este fue casi su último libro
Los libros son de… este es del año 1860
Boole murió en el 64 y había publicado el otro en el 56

English: 
Now making some sums here
We can see making an integral is to apply
A very difficult series to any issue
Finite differences calculation was one of the things Boole was focus on
Mostly as his labor as math’s professor at University College Cork
We saw it before on the slides
I hope all of you will understand perfectly this video, because you have a CEF B8 English level (laughter)
Am I right or not? (laughter)
They didn’t understand
Completely clear (laughter)
That’s what we have here and what Boole did
This one was almost his last book
They are from… This one dates from 1860
Boole died in 1964 and he had published another book in 1956

Spanish: 
Fue casi su último libro
Y en realidad era un complemento a un libro intermedio que era el de las ecuaciones diferenciales
Que era lo que él explicaba en sus lecciones en Cork, en el sur de Irlanda
Bueno, vamos a ver el libro de diferencias finitas para que vean que existe
Ahí tenemos a Boole con un ejemplar de “El cálculo de diferencias finitas”
Esta de aquí es la única foto de Boole fiable que se conoce, la que está ahí es la única
A la cual se le recorta la cabeza y luego se le hacen con Photoshop y cosas de esas
Se le hacen todas las perrerías del mundo
Pero esta es la única foto que hay
Este libro para mí, esa edición concretamente, tiene un cierto valor sentimental
Ese es el ejemplar de la Universidad de Salamanca, “El cálculo de diferencias finitas”
Como pueden ver ahí, que tiene unos sellos que ponen “Universidad de Salamanca” y tal y cual
Y la letra está manuscrita, que se ve aquí

English: 
It was almost his last book
Actually, it was a supplement to another in-between book about differential equations
That was what he taught in Cork, in the south of Ireland
Let’s see the finite differences book, so you can see is real
There we have Boole with a handbook of “Treatise on the Calculus of Finite Differences”
This one is the only genuine photo of Boole ever known, it’s unique
Some people cut off his head and similar stuff
It has been used to make all the jokes in the world with Photoshop
This is the only photo of him that exists
For me, this book, this specific edition, has a sentimental value
That’s the handbook of the University of Salamanca, “Treatise on the Calculus of Finite Differences
As you can see there, it has some stamps of the University of Salamanca
There’s some handwritten, as you can see here

Spanish: 
Es la fecha de compra, que es el 21/12/1966; o sea, poquito
Y esa letra para mí tiene un cierto valor sentimental porque es de quien fue mi antiguo jefe
Allí en Salamanca hace muchísimos años
Y que ya falleció a su edad hace mucho tiempo
También era especialista en lógica y en cosas mucho más raras
Bueno entonces, este libro, ahí está hecho
Todo el desarrollo de las diferencias finitas y sus aplicaciones están en ese libro
Es un libro grueso, se puede encontrar en internet completo
Yo lo tengo ahí en el pen drive, que lo tengo por aquí
Si no lo he perdido, pues donde lo haya echado, a ver si está… ¡Ah, está aquí!
Ahí lo tengo; o sea, que se puede bajar y leerse
Tiene algunas cosas de notación, pero se puede leer hoy día
Las matemáticas del s. XIX se pueden leer perfectamente hoy día sin esfuerzo
Vean que los inicios de la informática, claro; aquí tienen que Boole

English: 
It’s the purchase date: 
21-12-1966 (a short while ago)
And that handwritten has a sentimental value for me because it belonged to my former boss
There in Salamanca many years ago
He passed away as an old man some time ago
He was also specialist in logic and another strange things
So, in this book you can find
All the developing of finite differences and its applications
It’s a thick book, you can find it complete online
I have it here on my USB memory
If I haven’t lost it, I just don’t know where it is right now, let’s see if… Oh, there it is!
So you can download it and read it easily
It has some notations but it can be read nowadays
Mathematics from 19th c. can be read easily nowadays effortlessly
You can see at the beginning of… Of course, you have Boole there

Spanish: 
Como esto de la informática da origen a mucha gente que está con ganas de divertirse
Pues ahí tienen en el inicio de la informática, antes de que hubiera electricidad, ¿eh? ¡Ojo!
La informática depende tanto de la lógica y de las matemáticas como de la electricidad
La velocidad de la luz es básica, pero bueno
Pues ahí tienen al Sr. Boole, que va de visita a Mr. Baggage, el de la máquina diferencial
Y a la Señora o Señorita Lovelace, que no sabemos qué estatus tenía porque no estaba muy claro
Y entonces el mayordomo le está invitando que si quiere tomar un té o café
En lo que espera a que bajen el Sr. Baggage y la Sra. Lovelace
Está claro que había un ambiente, en el cual se veía que algo estaba en marcha
Estaba en marcha la aplicación de la lógica al cálculo automatizado
Esta es la fórmula que les había prometido, que les iba a poner un “formulón” espantoso

English: 
Computing creates a lot of geeks who wants to have fun
You have there the beginning of informatics, before electricity, attention!
Informatics depend both of logic and mathematics and electricity
Speed of light is crucial
There you have Mr. Boole then, who is going to visit Mr. Baggage, difference engine father
and Mrs. or Miss Lovelace. We don’t know her civil status, it wasn’t very clear
A steward is asking him if he would like some tea or coffee
While waiting for Mr. Baggage and Lovelace
It’s clear that there is a mood and it’s obvious that something was going on
And that was the application of logic to automated calculation
This one is the formula I had promise you before, that dreadful formula I told you

English: 
This formula comes from Boole’s book
And it’s a very famous one: Euler-Maclaurin formula
It’s on Boole’s book
For a mathematician, this formula is wonderful, it works for…
Look, here it has a finite sum
And it’s said that it’s like and integral
After that you do an average of extreme values
And at the end we have an extremely complicated term and a remainder
In that formula, 3 things are established
And all of them are easy to automate with programs
A finite sum can be transformed into: an integral, a supplementary term
A possible infinite sum, here on the slide
Or a remainder that becomes smaller

Spanish: 
Esta fórmula está obtenida en el libro de Boole
Y es la fórmula "archifamosa", la fórmula de Euler-Maclaurin
Está en el libro de Boole
Y esta fórmula es, para un matemático, es maravillosa, esta fórmula sirve…
Mira, que aquí tiene una suma finita, o sea, podemos sumar los números del 1 al 8, bien
Y dice que esa suma es como una integral
Luego se hace un promedio de los valores extremos
Y finalmente hay aquí un término complicadísimo y un resto
En esa fórmula se establecen 3 cosas
Y todas ellas son fácilmente automatizables con programas
Primero: que una suma finita se puede transformar en una integral, un término complementario
Una suma que puede ser infinita, que es esto de aquí, y un resto
Que cada vez se va haciendo más pequeño

English: 
I don’t want to bore you too much, but this is the most important part of them all
This one, that huge summation is the most interesting one 
because it can give rise to  
When “K” tends to infinity, gives a convergent series or divergent
And then it works, even if it is divergent
Then you think, “well, this is wonderful”, right?
Because you have some terms and it works even if the series are divergent
This is explained by Boole on his book
And the remainder it’s a formula that looks similar to Taylor’s theorem
So those numbers on the slide, B2j
Are known as Bernouilli numbers
They also appear in a symbolic way, without any need of justification
Using this marvel formula

Spanish: 
No pienso aburrirles mucho, pero la parte esta es la más interesante de todas, la parte esta de aquí
La del sumatorio ese tremendo es el más interesante porque eso puede dar origen
Bien cuando “K” tiende a infinito, juega al origen a una serie divergente
Y entonces funciona, aunque sea divergente
Lo cual es algo que dices “Bueno, esto es maravilloso”, ¿no?
Porque se queda uno con unos cuantos términos y funciona muy bien aunque la serie sea divergente
Esto está explicado por Boole en su libro
El término este es un resto que se parece un poco a la fórmula de Taylor
Y entonces los números que aparecen aquí, los números B2j
Se llaman "los números de Bernoulli"
Que además salen también de modo simbólico sin necesidad de justificación alguna
Utilizando esta magnífica fórmula

Spanish: 
Para mis queridos alumnos de primero que ya han tenido la paciencia de aguantarme el desarrollo del binomio
Pues se desarrolla por el binomio esta expresión, cambiando la P (p1, p2, p3, p4, p5…)
Y por inducción, o si quieren por recurrencia, van saliendo los números de Bernoulli
Que son unos coeficientes que sirven para esto
Si volvemos atrás ven que son unos coeficientes
Y lo que hace la fórmula es contarnos cuánto vale esto en función de las derivadas
Es una fórmula de Taylor un poco complicada
Es muy utilizada en cualquier tipo de matemáticas
Y, por lo tanto, también le debemos a Boole el haberla formalizado
Que es lo que yo quería hablar hoy aquí, no solo del álgebra de la lógica
Y bueno, voy a poner unos comentarios finales
Como es natural, si no hubiera buscadores de internet, esta presentación, nada, no habría tenido lugar
Y sin Boole y su gente pues tampoco

English: 
For my beloved first-year students, who has been patience and had stand the binomial classes
This expression is developed because of binomial, changing the “P” (p1, p2, p3, p4, p5…)
And by mathematical induction, or recurrence if you prefer that, we obtain Bernoulli numbers
These are coefficients we use to do that
If we look back on the slides, we can see some coefficients
The formula tell us its value depending on derivatives
It’s a Taylor’s theorem a bit complicated
It’s widely used in any type of mathematics
So, therefore, we owe Boole its formalization
That’s what I wanted to talk about, not only about algebra of logic
And I’m going to give some last comments
Well, obviously, if search engines did not exist, this talk wouldn’t have made
Nor without Boole and the others

Spanish: 
Primero veníamos de Boole a Google y ahora vamos otra vez retrocediendo
Hemos empezado con Google, hemos encontrado a Boole y por eso hemos podido hablar todo esto
Todas las imágenes, excepto la portada del libro de Diferencias Finitas
Que ya he dicho de dónde viene, son de Internet
En alguna parte tengo apuntado dónde están
El procesador de texto también es de Internet, es de esos que salen gratis por internet
Que es LyX cosa que recomiendo que utilicen
Y luego la fórmula de Euler-Maclaurin es una herramienta imprescindible en el cálculo numérico
Aparece en lugar preminente en el libro de Boole
Está presente en muchos algoritmos de cálculo aproximado
Está por todas partes, la puede encontrar en casi cualquier sitio
Para el cálculo de integrales, de sumas, de análisis de series, etc.

English: 
We started with Boole to Google and now we are going back again
We have started with Google and we have found Boole
All this pictures, excluding finite differences book
Which I have already said where it comes from, comes from Internet
I have noted somewhere where they come from
This word processor comes from Internet too
It’s LyX, a free one, I recommended it to you
And Euler-Maclaurin formula is an essential tool for numerical calculation
It appears in an important part of Boole’s book
It’s involved in some rough calculation algorithms
It’s everywhere, you can find it almost anywhere
To do calculations of integrals, sums, series analysis, etc.

English: 
And with this I say goodbye
As we can appreciate it on the next slide
So thank you very much for your attention 
Watch Boole here already customized 
With some glasses with stripes
Boole is a character that gives a lot of fuss
He’s a minor mathematician, it has to be said
He’s not a first line mathematician
But he’s very famous, mostly because of the discovery of algebra of logic
Not that much because of his contributions, even if they are not less important than others from mathematical analysis
Well, that’s all I have to say, I hope I didn’t bore you too much
And if you have any questions, I will answer them
And if I don’t know the answer, I will say “ask him” (laughter)

Spanish: 
Y ya con esto casi me voy a ir despidiendo
Como podemos comprobar en la próxima transparencia
Pues entonces muchas gracias por su atención y vean aquí a Boole convenientemente tuneado ya
Con unas gafas más a la… vean ustedes que son unas gafas a rayas, de esas así
Boole es un personaje al que se le da mucha bulla
Como matemático es un matemático menor, hay que decirlo
No es un matemático de primera fila ni muchísimo menos
Pero es una persona muy conocida, sobre todo por el descubrimiento del álgebra de la lógica
Y menos por sus contribuciones, que no son menos importantes que las otras al análisis matemático
Pues eso ha sido todo por mi parte, espero no haberlos aburrido más de la cuenta
Y si tienen algo que preguntar pues yo contestaré
Y si no lo sé, pues digo “que conteste este” (risas)

English: 
Thank you (applause)
- Pacheco, I just want to tell you
That I think library profession is not going to disappear
Because, among others, we organize events like this one
We take professors out of their classes
To make them talk about Philosophy History, Science History or logic for example
We digitize documents and provide metadata to books like this one
So cherish for you, right?
I would say we don’t put so many stamps anymore
That doesn’t mean we don’t put them at all
So, I think this will continue
I would like Yuste, whom we all know
To say something about this topic

Spanish: 
Muchas gracias (aplausos)
- Yo solamente quiero decirte Pacheco
Que yo creo que el oficio de la biblioteca no va a desaparecer
Entre otras cosas, hacemos eventos como este
Sacamos a los profesores de las clases
Y los hacemos hablar en una universidad como la de Las Palmas
De Historia de la Filosofía, o Historia de la Ciencia, de la lógica
Digitalizamos documentos y aportamos metadatos a libros como ese
Tan querido para ti, ¿no? Concretamente ese
Ya diría yo que no ponemos tantos sellos
No quiere decir que no peguemos sellos (risas)
Así que yo creo que esto va para adelante
Y ahora, pues nada, me gustaría que Yuste, que conocemos
Pues digas lo que quieras sobre…

Spanish: 
Yo solo, de la presentación de Pacheco, solo una cuestión
Decías que sin Google no hubiera habido esta sesión
Igual sí la hubiera habido, pero no nos hubiéramos enterado
- Exacto, una precisión magnífica
Y bueno, Google, también, se le da nombre, no solo
El buscador Google no solo era, hasta hace poco, una empresa enorme
Ya no tan grande, han creado otra empresa por encima llamada Alphabet
Y han subdividido toda la que tenían en varios departamentos
Google no es solo el buscador, tiene sistemas operativos de móviles, vende teléfonos
Aunque mucha gente hacía Google solo al buscador Google, es mucho más
Aunque ya es mucho menos, se han subdividido y han creado varios departamentos en la empresa
Fundamentalmente nació como buscador, pero ahora tienen muchísimas líneas de trabajo

English: 
I only want to ask a question about Pacheco’s presentation
You said that without Google, this talk wouldn’t have made
- Exactly, what an excellent precision
Google search engine was a huge enterprise, not that huge now
They have created another enterprise named Alphabet
And they have divided everything in several departments
Google is not only the search engine, it has mobile operating systems, it sells phones
So many people think Google is only the search engine, but it’s so much more
But right it has been subdivided into several departments in the company
It was born as a search engine, but now it has a lot of work lines

Spanish: 
Y efectivamente, la expresión “búscalo en Google”; la expresión “googlear” que incluso la Real Academia, corrígeme Mari Carmen
Creo que la palabra “googlear” estaban por ahí estudiando qué hacer con ella
- Yo no sabía que Google se hubiera troceado
Había tenido un crecimiento enorme, ¿no? Muy grande, muy grande
Y desde luego iba adoptando nuevos nichos de mercado
Que si el Android, que si el tal, que si el cual, que si el no sé qué
Pero no sabía que en algún momento hubieran decidido
Que había que acabar con esas macroempresas y trocearla en subempresas
- La trocearon; de todas formas fue hace poquito, fue en agosto
Respecto a Boole, que te comentaba que lo estudié años atrás
- Con ese, ese fue el culpable (risas)
- No, fue con otro, pero él después… Con Carlos vimos el temade electrónica

English: 
Indeed, I think the expression “to google” (in Spanish “googlear”)
Mari Carmen, please correct me if it’s necessary 
Royal Spanish Academy of Language is thinking about include this term on the dictionary
- I didn’t know that Google had been divided
It had had a huge growth, right? Tremendous
And, of course, it developed new market niches
As Android among others
But I didn’t know they had decided
To cut up these multinational corporations into subsidiary companies
- Indeed they were divided, anyways, it was recently
Concerning to Boole, I studied him some years ago
- With that man, it was his fault (laughter)
- No, it was someone else. We saw this with Carlos

English: 
So, concerning to Boole, I took a look before I came here and I discovered
He was the one who provided a regular support to logic of circuits of today
We could say engineers already had a formalism
That let them know what they were doing was correct
We get from the simplest thing Boole was representing 0 and 1, to the most complicated: Google
Probably the enterprise which moves the largest volume of information in the world
In this presentation, we get from the simplest thing, 0 and 1
Tto more complex information or data movements
We have nowadays in informatics

Spanish: 
Entonces respecto a Boole lo que sí estuve mirando antes de que me comentaran venir
Es que fue realmente quien le dio soporte formal a lo que hoy día es la lógica de circuitos
Se diría que ya los ingenieros tenían
Un formalismo que les permitía, es decir, que aquello que estaban haciendo era correcto
Caminaron y llegamos a, de lo más simple que representaba Boole que era 0 y 1, a lo más complejo
Que es Google, que es probablemente la empresa que más volumen de información mueve en el mundo diariamente
Entonces un poco, va, lo que veía yo de la presentación o de la sesión de hoy es que pasábamos
De lo más simple, 0 y 1, a prácticamente los movimientos de información
O de datos más complejos que tenemos hoy día en la informática

English: 
- Well, as I see it, one of the biggest and serious problems of today’s society
Is the massive traffic of information, because is so big that is very difficult to distinguish
Meaning the biggest problem when you do a search, with Google or any other
Is that you obtain for example, 50 thousand results in 5 milliseconds
And you say: “Oh, my God! Where is the one I need?”
Practical experience show us that the result you need
Is always on page 20 more or less, I don’t know why
- Well, there are based-searches; Google is still a company
As every company, it seeks for some efficiency
One of the things they are accused of is that the search always has an orientation depending on your search history
If you are looking for a hotel, it offers you first the ones who has paid for this positioning

Spanish: 
- Hombre, a mi modo de ver, uno de los problemas más graves de la sociedad de hoy día
Es que el tráfico de información es tan grande, tan grande, que es difícil discriminar
O sea, el mayor problema cuando hacen una búsqueda, pongamos con Google, o con cualquiera de estos
Es que o sale “en 5 milisegundos he encontrado 50 mil concordancias” y dices
Ay, Dios mío, ¿y dónde está la concordancia que a mí me interesa?
La experiencia práctica dice que lo que a uno le interesa
Está por la página 20 siempre, de las que salen, no sé por qué
- Hombre, son búsquedas orientadas; Google no deja de ser una empresa
Busca, como toda empresa, tener unos rendimientos
Una de las cosas que le achacan es que la búsqueda siempre tiene siempre orientación en función de tu historial
Si estás buscando un hotel, pues te va ofreciendo aquellos de empresas que pagan para ese posicionamiento

Spanish: 
No siempre los resultados son todo lo limpios que uno podría pensar que son en un buscador neutral
Es una empresa privada que es lo que es su mercado
- Una pregunta, por ejemplo ¿hay alguna diferencia en usar el buscador en un idioma o en otro?
- Sí
- Es que es algo que yo he comprobado muchas veces
Por razones que no hacen al caso, yo suelo utilizar Google en inglés, alemán y español
Y desde luego no son iguales
- Yo he usado el Google de Francia, el “.fr”, y los dos son diferentes
- Son diferentes, ¿verdad? Entonces, claro, a este gente joven, ¿Qué se les puede decir en ese sentido?
- Yo he buscado en el francés alojamientos en Francia

English: 
Results are not always as “clean” as we can think about a neutral search engine
But it's a private enterprise and that’s its market
- One question: for example, is there any difference if you use a search engine in another language?
- Yes
- Because I have checked it sometimes, you know?
I tend to use Google in English, German and Spanish
and certainly they are not similar at all
- I have used Google France, with the “.fr” and it’s different
- They are different, aren’t they? So, what can we say to this young people about it?
- I have searched for accommodation in France

English: 
And the information was a lot more diverse
More focus to people from that country
Results given in Spanish Google wasn’t that refined (laughter)
It depends on what you need
But sometimes the search engine can detect you are not in France; well, It always detect it
There exist some ways to mask it
It depends on how exhaustive you need the search to be, on the data you want
- There’s something about searches we always say to users
We always say to them: “Use Boolean operators”
But you have to know exactly what you are looking for, with accuracy
You have to know how to put it into words

Spanish: 
Y la información era mucho más variada en francés
Más orientada a las personas del país
Los resultados que arrojaba en español pues no eran tan finos, tan ajustados (risas)
Depende de lo que uno necesite, pues igual es mejor intentar
Porque a veces el propio navegador es capaz de detectar que no estás en Francia; bueno, a veces no, lo detecta siempre
Pero bueno, hay distintas formas de camuflarlo y demás
Depende de lo fino que necesites el dato en la búsqueda que quieres hacer
- Hay una cuestión en las búsquedas que siempre decimos a los usuarios
Nosotros continuamente hablamos de “utiliza los operadores booleanos”
Pero en principio hay una idea previa, y es: usted tiene que saber bien, con precisión, qué es lo que quiere
Tiene que saber traducirlo a palabras

Spanish: 
¿Y qué pasa si no sabemos lo que queremos?
Que quizá tampoco tenemos la posibilidad de traducirlo a palabras
Entonces no nos adjuntamos un pensamiento deductivo
Como el que parece que hay detrás de la lógica de Boole
¿Qué podemos hacer?
- Hay alternativas, había un… no era un buscador, era una herramienta
Se llamaba Wolfram|Alpha, no sé si la conocen
Wolfram|Alpha lo que hacía eran preguntas, no eran búsquedas
El ejemplo que ponían ellos era: "¿Qué población había en el Reino Unido al final del s. XIX?"
Si fuera Google, no le puedes preguntar qué población había en el Reino Unido
Tendrías que irte a buscar una página de estadística del Reino Unido y además filtrar
Este Wolfram|Alpha lo que hacía era preguntarle directamente
¿Qué población había en el Reino Unido?

English: 
What happens if we don’t know what we want?
That perhaps you don’t know how to put it into words
So we don’t use a deductive thinking
Like the one behind Boole’s logic
What can we do?
- There’s some alternatives, there was some something similar to a search engine
It was a tool named Wolfram|Alpha, I don’t know if you know it
Wolfram|Alpha answers questions, it doesn’t do searches
For example, how many residents there were on United Kingdom by the end of 19th century?
With Google you couldn’t ask how many residents there were on UK
You should have search in a statistics page about UK and filter it
With Wolfram|Alpha you have to ask directly
“How many residents there were on United Kingdom?”

English: 
And it undertakes the mission of distinguish between all the information and offer results to you
Google doesn’t work this way, a search engine has an index page with its tags
And a very good, very fast algortihm
Practically unbeatable
And then you have to start distinguish results and see what pages serves better to our purpose
Which ones contains the information we are searching
You still have to think a little bit, while search engines evolve
It offers you a wonderful calculator and you put there your calculation
It solves them, even if they are not simple
But we still have to wait to wait for Google to answer a direct question
It wouldn’t be able to gives us those results yet

Spanish: 
Y él se encargaba, de toda la información que él buscaba, de discriminar y ofrecerte resultados
Google no funciona así; un buscador tiene un índice de páginas con sus etiquetas
Y entonces, en función de eso, pues un algoritmo muy bueno, muy rápido, muy eficaz
Insuperable, prácticamente
Y es empezar a discriminar resultados y ver qué páginas de las que van saliendo
Son las que más se ajustan a que contengan la información que buscamos
Hay que pensar un poquito todavía, en lo que van evolucionando los buscadores
Te saca una calculadora estupenda, que uno allí pone la operación
resuelve incluso operaciones no sencillas, algo más que operaciones sencillas
Pero todavía tenemos que bajar un poquito el nivel de pensamiento
A uno un poquito más lógico para hacer una pregunta demasiado directa

English: 
- Is there someone in the public someone who would want to ask something to our speakers?
I’m interested in participate
I would like to thank this initiative you are doing
In memory of Boole
Although we are also talking about Google, because of its importance nowadays
But mostly because of Boole
because without this kind of initiative
You can also ask Google about mathematical results
because without this kind of initiative
Most young people
Could think informatics was invented for large brands
And it’s not like that, that comes from some men that already had appear in a list on the slides

Spanish: 
Que no va a ser capaz de darnos resultados
- ¿El público asistente quiere hacerle alguna pregunta aquí a los ponentes?
Yo tenía interés en participar, en decir alguna cosa
Para agradecer esta iniciativa de hacerle este reconocimiento
Al personaje del que hablamos
Aunque también estamos hablando mucho de Google por su trascendencia en la actualidad
Pero sobre todo por la personalidad de Boole
Porque si no se hacen este tipo de iniciativas
A Google también se le puede preguntar por resultados matemáticos
Porque si no se hacen este tipo de iniciativas
Pues la mayor parte de las nuevas promociones, los más recientes
Puedan pensar que la informática ha sido inventada por los propietarios de las grandes marcas
Y esto no es así, esto surge de una serie de señores que ya han salido en un listado

Spanish: 
Que agradezco que el Profesor Pacheco nos haya colocado, haya situado perfectamente la evolución histórica
Primero de la lista veíamos de 3 siglos a.C. que era Aristóteles
Y después pues llegamos hasta la actualidad
Pero sin embargo con un hueco enorme en medio
Que es la época de la Edad Media, donde prácticamente el avance fue nulo
Yo en mi participación quisiera decir alguna cosa complementaria si se me permite
Para entrar un poco más en esa lista
Y quizás dado el peso matemático de la tribunal
Y quizás al final plantear alguna paradoja
Que he encontrado a lo largo de los años

English: 
I thank Professor Pacheco that he has situated perfectly evolution of history
At the beginning of the list, we saw Aristotle from 3th century BC
And then we arrived to the present
But there is a huge space between
Middle Ages, because the progress was practically non-existent
I would like to add some information if you allow me
And maybe at the end, because the speakers
Have quite a lot mathematician knowledge
I would like to suggest a paradox
I’ve been finding through the years
Boole’s importance is significant because is the one

English: 
Who promotes the emergence of the concept of “machine”
While with Gottfried Leibniz the base-2 numeral system appears
Used to the calculation part
But it wasn’t possible to add them to logic operations
Until Boole presented this theories
I would like to show you the gigantic step there is
Because is the resurgence of logic
Logic was mentioned by Aristotle 3 centuries BC
And after that briefly for

Spanish: 
Hay muchos que han sido mencionados pero Boole sí es la primera vez
La importancia de Boole es trascendental porque es el que permite que la máquina
Aparezca el concepto dentro de la ecuación
Si bien con Gottfried Leibniz aparece el sistema de base 2
que es usado para la parte de cálculo
Hasta que no surgen estas teorías que presenta Boole
No es posible incorporarlas a operaciones lógicas
Pero yo quisiera hacerles ver el salto tan grande que hay
Porque es la reaparición de la lógica
La lógica fue mencionada por Aristóteles 3 siglos a.C.
Y después vuelta a tocar indirectamente, muy brevemente

Spanish: 
Por Sir Francis Bacon, que introdujo el racionalismo en la experimentación
En el Reino de Inglaterra, en el s. XVII
A la vez que por Descartes en Francia, que introdujo la duda razonable en la misma época
Y todavía tuvo que pasar un siglo sin que hubiera filosofía suficiente
Como para rescatar la lógica
Hasta que en el s. XIX con las aportaciones de este señor
Sembraron las semillas que permitieron introducir los operadores lógicos elementales
La “O” lógica, el producto lógico y la inversión
Que son los que permite hacer del ordenador más potente al teléfono móvil más completo
Por tanto es llamativo, o sea
Cómo hay personas que han trabajado prácticamente solas en su campo

English: 
Sir Francis Bacon, who introduced rationalism
Into the Kingdom of England, by 17th century
At the same time, Descartes introduced in France his Cartesian doubt
And logic passed another century
without enough philosophy to be rescued
Until 19th century, where Boole’s contributions
Planted the seeds that allowed to introduce the elementary logic operators
The “OR”, the logic product and reversal of logic
These allow to make from more powerful computers to the fuller smartphone
So it’s interesting, I mean
How some people have worked practically alone in their fields

Spanish: 
Y sin que haya habido un apoyo inmediato del trabajo
De precursores en siglos anteriores
Rescatando la idea de la biblioteca y de los centros de documentación
Y hayan sido capaces de dar lugar a aportaciones
Que, bien aprovechadas por otros, han dado lugar a la producción de las máquinas
Las máquinas de la diapositiva anterior eran de calcular
Hacían operaciones aritméticas, no permitían programas
Sin embargo quizá echaría en falta en esa diapositiva
La incorporación de otros nombres, de un par de nombres más
Yo pondría por ejemplo también a Edgar Huntington
A principios del s. XX

English: 
Without an immediate support
Of pioneers in earlier centuries
Just rescuing this idea of libraries and library or documentation centers
They were able to give rise to contributions
That, well exploited by others, has given birth to machine production
Machines from last slide was calculating machines
They didn’t allow programs
However, on the slide, perhaps I would miss
The presence of another names, a couple more
 would include Edgar Huntington, for example
At the beginning of 20th century

Spanish: 
Él es el que da cuerpo a estos apuntes de Boole
Y los convierte en el álgebra de Boole
Porque Huntington estaba interesado en la axiomática
En la definición de reglas infalibles
Así como Boole estaba interesado en su obra, “An Investigation of the Laws of Thought”
Para la mejora del pensamiento y el entendimiento de las personas
Huntington lo que buscaba era, usando también ese mismo texto de 1854
Construir un cuerpo doctrinal dentro de las matemáticas
Que iba a ese álgebra de Boole y Lo consiguió
Porque es lo que ahora encontramos en los libros de texto
Boole, como cualquier constructor de teoría, no llegó a plantearla tan nueva

English: 
He was the one who gape shape to Boole’s annotations
And they become the Boolean algebra
Because Huntington was interested in axiomatic
The definition of set rules
As Boole on his work “An Investigation of the Laws of Thought”
Was interested in improving the thinking and understanding of people
Using that text from 1854, what Huntington wanted
Was to build a doctrinal body inside mathematics
About Boolean algebra, and he suceded
Because that is what we can find now in textbooks

Spanish: 
Yo tuve la suerte de manejar en el año 1995 gracias a Félix Pintado, de la biblioteca
Y me lo trajo a Inglaterra, lo tuve durante un mes, después tuve que devolverlo
Pero no era tampoco el original antiguo, si no una impresión de 1940 o algo así
Ahora sin embargo es fácil, vas por Internet y te lo puedes descargar, es facilísimo
Por eso te digo que he estado mirando desde un montón de tiempo
Al principio miraba libros y ahora, en los últimos cursos, voy también a las fuentes
Que vienen a través de los buscadores de Internet y se encuentra bastante información
Entonces cuando Huntington completó y puso en claro el álgebra
Que había preparado Boole con sus primeras ideas
En un libro que es bastante fabuloso de leer
Yo no pude terminarlo, me quemé (risas)
- Pobrecito (risas)

English: 
I was lucky to hold a copy of the book in 1995, thanks to Félix Pintado from the library
He brought it to me to England and I had for a month
It wasn’t the original, it was the 1940’s edition or so
On the contrary, nowadays is very easy; you can download it online
I’ve taking a look for such a long time
At the beginning I saw books and now I watch the sources too
Through search engines you can find a lot of information
Huntington completed the algebra
Boole had been preparing with his first ideas
In a fabulous book
I couldn’t finish it, I was exhausted (laughter)
- Poor man (laughter)

English: 
- Even without finishing it, I realized it was difficult
However, I noticed that he wasn’t completely organized in the current design
We could introduce Huntington on the slides
Because of what he did in 1938
Because, as I see it, he was more important the Von Neumann, for example.
He was important, but Kevin Mautin was it too
Von Neumann was important but there were too Ecker & Mauchly. 
They created an alternative computer 
But it was Claude Elwood Shannon who used Huntington’s work
Boole’s work in turn
With it they could try electric contact circuits
That was relevant to AT&T and American Bell Labs
American telephone companies of that time

Spanish: 
- Pero aun así ya me di cuenta de que era complicado
Sin embargo, lo que sí percibí era que no era ordenado completamente en la concepción actual
Y, sin embargo, con lo que hizo Huntington posteriormente, en 1938
Que podríamos introducir en esa diapositiva
Que es, para mi gusto, más importante que Von Neumann por ejemplo
que era importante, pero también lo era Kevin Mautin
Von Neumann era muy importante pero también lo eran Ecker y Mauchly, que hicieron un ordenador alternativo y otros más
Pero era simplemente Claude Elwood Shannon que trasladó toda esa teoría de Huntington
Que ha salido a su vez de Boole
Y con él pudo probar que los circuitos construidos con contactos
Lo cual era de mucho interés para la AT&T la American Bell Labs
Las compañías de teléfono de americanas

Spanish: 
Pues podían aprovecharlas para mejorar la computación en las centralitas telefónicas
Y entonces se consiguió ver que se manejaban muy bien los circuitos de comunicación
Analizados a partir de la ley de Boole y a partir de ahí vino la explosión
Casi 10 años después del transistor por William Bradford Shockley
Ya fue el desarrollo de la microelectrónica
Y la continuación hacia grandes estructuras más avanzadas
Que permitieron hacer circuitos que después los ordenadores los hacían más pequeños y más potentes
Y por tanto yo diría que quizás esas personas que he citado
También son dignos de estar mencionados ahí como lo está Boole
Porque su contribución fue descomunal para permitir hacer máquinas

English: 
They could benefit from it to improve computation of telephone exchanges
They achieve to handle communication circuits very well
Analysed after Boolean law
Almost 10 years after William Bradford Shockley’s transistor
It became microelectronics development
And more advanced and bigger structures
Which allowed to make circuits increasingly smaller and stronger
Therefore, I would say these people I have mentioned
Are as worthy as Boole to be on that slides
Because their contribution was massive and that allowed to create machines

Spanish: 
Que no solamente calculaban sino que también eran programables
Les dije antes de mi intervención que quería dejar también una paradoja
Pues por lo menos me parecía oportuno dejarla
Y es que a lo mejor el matemático nos la resuelve (risas)
- Alguno de esos seguro que en unos años la resolverá
Resulta ser que vinculado a estos nombres que me mencionamos
También olvidamos a otro
Que también ha hecho cosas que siempre hemos considerado como menor
Yo ya digo que he tenido la suerte de poner montones de búsquedas
Desde que estamos en este siglo
Pues entonces hago como mis pinitos para preparar las primeras clases del curso
Cuando voy a hablar un poquito de todas las cosas
Después ya me olvido hasta el curso siguiente

English: 
That not only could calculate, they could be programed too
I said before that I wanted to leave a paradox
It seemed appropriated to me to do it
Maybe the mathematician in here can solve it (laughter)
- Someone of our students will do it in a few years
- We are forgetting another name linked to the other ones
We are forgetting someone else who has also done
Something we have consider less important
I can say I’m lucky to be able to do a lot of searches
Since the century started
Because I can use all that on my lessons
When I’m going to talk about a little about everything
Then, I just forget about it until next year

English: 
So there’s some ideas that stays in my mind
So, what’s going on?
Among all this men, there is one that always appears with just a little significance
and perhaps he’s far from being less important
He’s Mr. Augustus De Morgan, De Morgan's laws producer
These laws are very important on the development of digital electronic circuits
It provides greater simplification and lower price to its manufacturers
It’s not only important because of that
If what I have found on search engines is truth
De Morgan was an English mathematician too
He was an English born in India, third generation

Spanish: 
Por lo tanto se van quedando ideas
Entonces, ¿qué es lo que ocurre?
Que me aparece entre todos estos un señor
Que siempre aparece con importancia menor y quizás tenga más de la que nos parece
Era el Señor Augustus De Morgan, el que aporta las leyes de De Morgan
Que son muy importantes para el desarrollo de los circuitos electrónicos digitales
Porque aporta una mayor simplificación y menor costo a los fabricantes de estos circuitos
La importancia no solo es por eso, si no que si es verdad lo que estoy encontrando
A través de los buscadores
Resulta que De Morgan, que era un matemático inglés también
Era un inglés nacido en la India de tercera generación

Spanish: 
El padre era militar de Las Colonias, estaba destinado igual que el abuelo
Y de pequeño tuvo un problema y quedó sin visión en un ojo
Después estuvo huérfano de padre y entonces a corta edad regresó con su madre a Inglaterra
Entonces allí fue cuando se le notaron las habilidades en matemáticas, cuando fue escolarizado en Inglaterra
Pero quizá no fuera tan estimado
Porque además era bastante carente de creencias
Así como por ejemplo el Señor Boole
Tenía una devoción bastante espiritual en todas sus actuaciones
Y estaban reguladas o bastante medidas por la iglesia anglicana
Sin embargo el Señor De Morgan pues no tenía
¿Y qué ocurre?

English: 
His father was a soldier of the colonies and he was based there, just like his grandfather
As a child, De Morgan lost the sight of one eye
After that his father died and then, still young, he returned to England whit his mother
It was there where its math skills came out, when he went to school in England
Maybe he wasn’t so high regarded
Because he wasn’t a religious believer
As Mr. Boole was a believer, he was a devout
All his actions were controlled or at least very supervised
For the Anglican church
But Mr. De Morgan wasn't like that
And what happens?

Spanish: 
Que entre otras cosas, he visto que el Sr. De Morgan tiene una publicación de 1840
Que es una introducción a la lógica
Y después en 1854, que es cuando se publicó la investigación del libre pensamiento
Y además tiene de esa misma época aproximadamente, mil ochocientos cincuenta y tantos
Tiene “Lógica formal: probabilidad y estadística”
- Igual que este
- Al mismo tiempo que Boole
Sin embargo, la notoriedad de De Morgan es prácticamente ignorada
Bueno, yo solamente estoy diciendo cosas gracias a los buscadores, a Google y demás
Porque antes, en los años 90, miraba en libros y tal
Ahora, a partir del 2000 para acá, ya miro en buscadores en vez de otras cosas

English: 
Among others, I have seen Mr. De Morgan has a publication from 1840
An introduction to logic
And another one in 1854, when free thinking investigation was published
And also from that period he has the book
“Formal logic, or, The calculus of inference, necessary and probable”
- Like this one
- Exactly, at the same time as Boole
However, De Morgan significance is practically ignored
Well, I’m only saying this thing thanks to the information on Google and others
Because in the past, on 1990’s, I just looked on books and others
From 2000 until now I rather look on search engines and others

English: 
That’s the paradox I have found because, in addition
As De Morgan was a little older than Boole
Maybe he was the one who introduced logic
Then we should have been celebrating the bicentenary 10 years ago (laughter)
- I have found De Morgan on my search too
He was almost a contemporary of Boole
It’s true that they met, they talked and all
Meaning, I believe somehow, this is what is said normally
“It was in the air”, something has to be done 
If one didn’t do it, it was done for the other 

Spanish: 
Esa es la paradoja que me encuentro y que, como además
Como De Morgan era un poco mayor que Boole
Y también vivió mal, pues quizás
Si a lo mejor resulta que el que introdujo la lógica fue De Morgan
Pues tendríamos que estar celebrando los 200 años, tendríamos que haberlo celebrado hace 10 (risas)
- Yo a De Morgan me lo he encontrado, igual que tú
Es casi contemporáneo de Boole, más o menos
Es cierto que, además, se conocieron, hablaron y esas cosas
O sea que, yo creo que de alguna manera, esto es lo que se dice habitualmente en español
“Estaba en el ambiente”, que algo había que hacer y que si no lo hizo uno, lo hizo el otro

English: 
And If none of them have done it, it would be have done for a third one, right?
But, for example, Aristotelian logic, syllogistic logic
Was taught on 19th century on high schools
There was a logic subject
And it was the worst thing you can teach to the students
Because it was extremely difficult, intensely complicated 
You needed to know all the figures of syllogisms 
And there is 16 or 18 types, I don’t know
I think this is a breath of fresh air to say
“We are going to end up with this scholastic classification”
Because it had already been ruled for a long time
In my opinion, the real breakthrough was Port Royal logic
Logic based on Pascal’s ideas
He said: "“Before you start to do logic, to think, you have to clear"

Spanish: 
Y si no hubiera sido ninguno de estos dos, lo habría hecho otro, un tercero, ¿no?
Pero ya, por ejemplo, la lógica aristotélica, la lógica silogística
Que en el XIX era muy utilizada en los institutos de enseñanza media
Había un curso de lógica
Y quien lo cursó... era de lo más malo que se podía dar a los alumnos
Porque era dificilísima, complicadísima, tenían que saber todas las figuras de los silogismos
Las 16 o 18 clases que hay, yo qué sé
Y bueno, yo creo que esto viene a ser un soplo de aire fresco
Al decir “vamos a acabar esa clasificación tan escolástica”
Que venía ya pautada desde mucho tiempo atrás
Pero para mí el verdadero avance fue la lógica de Port Royal
La lógica basada en las ideas de Pascal y toda esta gente
Dijo: “No, antes de empezar a hacer lógica, a pensar, usted desbroce;

English: 
"You need to summarize”
Descartes say this too on his text
So this was in the air, they needed to start clearing all the leftovers
That appears on the ordinary language
All the anecdotes or annexes off
Logic subjects of 19th century are truly frightening
If any of you have the patience to take a look of them
Logic subjects for high school students
I have some from 1820’s, unbearable!
Not even the students could bear with it, either the teachers 
Such a text! 
And they didn’t use “A” or “B”, that was all “neither true nor false” and so on

Spanish: 
Quite lo esencial, vaya a lo esencial, resuma”
Lo dice Descartes también en su texto
Entonces eso estaba ya en el ambiente y había que ir reduciendo
Quitando toda la paja que aparece en el lenguaje ordinario
Irla desnudando de cosas anecdóticas o anexas
Y entonces, no sé, los cursos de lógica del XIX, si alguien tiene la paciencia de buscar unos cuantos
Son verdaderamente espantosos
Cursos de lógica para alumnos de bachillerato, en español hay algunos
Yo tengo algunos en mi poder, de mil ochocientos veintitantos, que eso no hay quien lo trague
Ni siquiera los propios alumnos podían con aquello, ni los profesores, ¡unos textos!
Y además, nada de “A” o “B”, aquello era todo “ni es verdad ni es falso”

English: 
What I conclude about this is that didn’t arrive to Spain
Or maybe it arrived very late
About this man, Huntington, I didn’t realize something you have said
Something I found very interesting
The difference between theory creator and a theory formalizer
Boole was the creator, he was doing his thing
And you are telling me Huntington was from 1900’s, it obvious
 Was tempted to formalize everything, to axiomatize it all
So it probably it’s on the same line as Frege
And all that logics from the end of 19th century to the beginning of 20th
I have never found Huntington there

Spanish: 
Lo único que yo saco en limpio es que a España esto no llegó
O si llegó, llegó muy tarde
Sobre el Huntington este, no se me había ocurrido pensar en una cosa
Que has dicho tú que encuentro interesante
Y es la diferencia que hay entre el creador de una teoría y el formalizador de una teoría
Boole era el creador, él estaba creando su película y estaba haciendo sus cosas
Y claro, si me dices que el Huntington este era más o menos de 1900, está claro
Estaba en plena ebullición de la tentación de formalizar todo, de axiomatizarlo todo
Y entonces debe estar en la misma línea que Frege
Y que toda esta tropa de lógicos de finales del XIX y principios del XX
Nunca me había encontrado yo con Huntington por ahí

Spanish: 
Aparte de “la corea de Huntington”, que es una enfermedad que no creo que tenga nada que ver con este (risas)
Pero nunca había oído yo hablar de Huntington, ya me pondré a buscarlo
Y sobre Shannon, la verdad es que nunca se me habría ocurrido pensar que tuviera nada que ver con la lógica
Aunque la biografía sí que la conozco bien y yo me he leído
No una, sino varias veces la teoría matemática de la comunicación
Donde usa el concepto de entropía
Para decir cuánto se transmite por un cable o por un canal
Vamos, la idea esta del canal, el ruido y estas cosas
Pero nunca pensé que hubiera hecho nada de lógica aparte de eso
Pensaba que la comunicación había surgido
De manera casi espontánea en sus trabajos como técnico en telefonía, ¿no?
Nunca lo pensé; pues mira, hoy he aprendido cosas
He aprendido a Huntington, he aprendido a Shannon
Y he aprendido que Google se ha dividido en no sé cuántas partes

English: 
I have only heard about Huntington's chorea, a disease I think has nothing to do with this one (laughter)
But I have never heard about Huntington, I will do a search about him
About Shannon, actually I have never thought about he had something to do with logic
Even though I now he’s biography very well
And have read several times his mathematical theory of communication
Where he uses the concept of entropy to say
How much is transmitted by cable or a channel
But I never thought something of logic apart from this
I though communication had emerged almost spontaneously
From his works, as he was telephone technician; I never thought about it
Well, I have learnt new things today
I have learnt about Huntington, about Shannon
And also that Google has been divided

Spanish: 
He aprendido que Avelina nos va a digitalizar hasta las huellas de los dedos (risas)
- Una propuesta más: ¿no creen que ustedes quizás están creando
la relevancia de Boole en la informática?
¿No creen ustedes que la teoría de la lógica formal
debería tratarse un poco más generosamente?
¿Repartirla?
¿Hacer que el formalismo lógico se ofreciera en las titulaciones?
Yo encuentro sorprendente
Y es algo que a lo largo de los años no he encontrado respuesta para ello
Que, por ejemplo, en una titulación como la de Derecho no se estudie la lógica

English: 
I have learnt Avelina is going to digitalize even our fingerprints (laughter)
- I would like to present another proposal
Don’t you think you are the ones who are creating the significance of Boole on informatics?
Don’t you think theory of formal logic
should be treated a little bit more generously?
To be distributed?
To be taught in another degrees?
I find it shocking that, for example
In a degree such as Law, logic is not taught
That is a question I couldn’t answer over several years

Spanish: 
- Estuvo en el programa de Derecho durante un tiempo hace muchos años
- Ayudaría bastante, ¿no?
- Llegó a estar, sí, sí
Hombre, yo voy a contestar
En mi opinión, en cuanto una cosa se transforma en asignatura carece ya por completo de interés
Se trata solo de aprobarla, ¿no? Y eso es algo que es muy peligroso
Aquí en Canarias, que hay mucha afición al ajedrez, ya que ha habido intención de poner el ajedrez como asignatura
En cuanto se ponga como asignatura la gente odiará el ajedrez de por vida
Eso casi seguro, ¿no?
Entonces, la lógica siempre ha formado parte de esto, pero siempre como si fuera un pegote
No ha entrado nunca de manera mezclada con todo
Por ejemplo, en el curso de álgebra discreta esta de primero, que lo han reducido a una miseria
Con el “boloniage” este que nos ha caído encima

English: 
- It was on Law’s program for a while, many years ago
- I would help a lot, right?
- It was there, yes
Sure, I’m going to answer this with saying that
In my opinion, when something becomes a subject, is no longer of interest
Because you are only worried of passing it, right? And that’s dangerous
Here, in Canary Islands, they were thinking about stablish Chess as a subject
At the very moment they do that, people would start to hate Chess forever
That’s for sure, right?
So logic always has been part of this, but always has something stuck
It has never been “mixed” with all of this
For example, on first year’s discrete algebra course, reduced to a misery, I must say
With all this thing about Bolonia plan

English: 
I have displaced logic until the end of the program
Why? Because concepts had been showing up along the classes
And at the end of all you can say “Look! All this things I’ve been saying could be said like this too”
As if you put it at the beginning, 8 of 15 weeks of classes would be destined to logic
“A” or “B” or “C”...
This way, students get sick and tired of logic
And they think they know well because on high school they learnt something about some philosophers…
So they don’t pay attention
So the best way to start is with mathematics and to point at what is logic
And, at the end, hit them with logic itself
What happens? We are always running out of time
I agree with you that it needs more attention

Spanish: 
Pues yo he mandado la lógica a la parte final del curso
¿Por qué? Porque quieras que no, los conceptos han ido apareciendo a lo largo del curso
Y al final puedes decir: “miren, toda esta palabrería que yo usaba se puede decir así y así”
Mientras que si lo ponen al principio se dedican, de las 15 semanas del curso, 8 a la lógica
“A” o “B” o “C” no sé qué y no sé cuántos
Los alumnos acaban aburriditos de la lógica
Y encima se creen que se la saben porque los filósofos, en el instituto medio les contaron algo
Por lo cual no hacen ni caso
Entonces lo mejor es empezar por matemáticas e ir señalando: “esto es lógica”
Y luego, al final, atizarles la lógica ya tal cual
¿Qué ocurre? Que a pesar de los pesares, siempre andamos cortos de tiempo
Estoy de acuerdo en que se merece una atención un poco más fuerte

Spanish: 
Pero mientras las mentes pensantes de este negocio universitario español
Piensen que se puede dar nada en 15 semanas
De las cuales, la mitad son puentes y tal
Pues bueno, ¿qué vamos a hacer? Pues no podemos hacer gran cosa, ¿no?
Eso es una desgracia; por ejemplo
Eso que habéis dicho de que en Derecho debería de darse
Eso para mí es de sentido común
Saber plantear un razonamiento sin que sea, pues no sé
Una retahíla de “Artículo 14, reglamento 27…”
Mire, eso no es Derecho, Derecho es razonar
Eso sí, para mí es una evidencia absoluta
Pero vaya usted a quitar el cascabel al gato, esa es la cosa
- La mayoría de las titulaciones técnicas sí tienen un cálculo en primero

English: 
Since those “smart minds” from this university business
Think 15 weeks are enough to teach anything
Which, some of those are holidays
Well, what can we do?
That’s such a tragedy
For example, the thing you said about teach logic in Law degree
For me, that’s common sense
To know how to argue a reasoning, not to know it why heart and say it out loud
As “Article 14, regulation 27…”
That’s not Law; Law is reasoning, you see
For me that’s an absolutely evidence
But who's the one who dares to change something? That's the question
- Most of technical qualifications do has calculation at first year

English: 
Has a little of computing too, with a little bit of baseline
Here, I studied algebra, I studied some logic
I did it here, but this was some time ago, on last century
- But the logic invented by Boole didn’t has as a purpose to build machines
But to improve validity of reasoning
Even if people use to say “that’s logic!”
Maybe is not! (laughter)
- Exactly! This is one of those things that happens in everyday language
Nobody knows why
“That’s mathematic!” too
Look, “mathematic” is one thing and “mathematics” are another one
To say “That’s mathematic!” is a joke
- And the “or” from logic and grammatical “or” are different too

Spanish: 
Tienen alguna parte de informática con un poco de referencia
Aquí yo estudié el álgebra, estudié bastante de lógica
Lo hice yo aquí, pero eso fue en el siglo pasado
- Pero la lógica que inventó Boole no tenía propósito de construir máquinas
Sino de mejorar la validez de los razonamientos
Y por ese motivo, aunque la gente dice “esto es lógico”
A lo mejor no lo es (risas)
- Sí, sí, esa es una de las cosas que pasan al lenguaje corriente
Que nadie sabe por qué
También “eso es matemático”
Mire usted, matemático es una cosa y otra cosa son las matemáticas
Decir “eso es matemático” es una broma
- El “O” lógico y “o” en español son distintos

Spanish: 
El “O” lógico implica uno, otro o los dos y “o” en el lenguaje
- Es incluyente
- Eso era en latín, que afortunadamente desapareció (risas)
Porque, si no, tendríamos que volverlo a estudiar
- Sí que distinguía, en latín se distinguía
- No me acuerdo de cómo era la palabra, una era AUT y otra era BELL
Creo recordar, había un incluyente o inclusivo y un exclusivo
Que son esos que se representan con el este así y con otro simbolito así
Ha habido de todo
Avelina, cuéntanos algo
Mira a ver si convences a alguno de estos que diga algo
- Antes faltó decir que no solamente íbamos a digitalizarlo todo
Sino que además lo vamos a poner en abierto (risas)
Para que ustedes puedan estar en internet, buscar y encontrar y usar

English: 
Logic “or” implies one, the other or both; in grammar...
- “Or” is inclusive, yes
- That was like that in Latin, luckily it had disappeared (laughter)
Because, if it wasn’t, we would need to studied it again
- Yeah, in Latin there was a distinction
- I don’t remember it very well, I think one word was “AUT” and another one was “BELL”
And that it was and inclusive and an exclusive
Those represented that way, with a little symbol like that
It's been a little of everything
Avelina, tell us something
Try to convince someone else in the public to participate
- I wanted to say before that we are not only going to digitize everything
But we are also going to publish it in open access (laughter)
This way, you can go on the Internet and find it, and use it

Spanish: 
Alguien antes estaba pensando en temas de investigación básica y aplicada creo, ¿no?
- Me gustaría reflexionar sobre el tema de si
En la universidad se está insistiendo demasiado en todo lo que es la investigación aplicada
En la nuestra especialmente
Y en qué lugar queda la investigación más básica
Ay, Dios mío, acabas de levantar la tapadera de los fuegos del infierno (risas)
Bueno, bueno, bueno
Sobre eso, más vale que no entremos ahí porque empiezan a salir sapos y culebras por todos lados
Hombre, la investigación básica, yo no sé qué se entiende por básica

Spanish: 
Pero básica yo creo que poca
Y además, claro, es una investigación que no se ve remunerada por nada
Ahora, si consigues un tremendo proyecto en el cual te dan “N” mil euros para algo que sea de aplicación inmediata
Pues sí eso ya es aplicada y entonces eso ya, digamos, farda mucho
Se puede presumir de ello, te ponen medallas, puedes andar por ahí
Pero si te dedicas a algo tan, eso, como por ejemplo
Tratar de entender la historia de los principios de la informática
Eso no vale nada
O sea que más vale dejar a los diablos ahí encerrados en su infierno y tal
Porque, si no, podemos salir de aquí como si fuera un mitin esto

Spanish: 
Eso se nota en el diseño de los planes de estudio
¿Qué priman? Aquello que es de aplicación inmediata
Y eso se nota en todos, lo comentamos hace un momento
La distinción entre informático y programador
¿Qué se está formando ahora en la escuela de informática?
¿Cuál es el objetivo básico, no de esta, si no de todas?
Es formar sobre todo programadores
El informático necesita un fundamento cultural más amplio que un programador
O sea, el informático debería diseñar la idea del algoritmo y decir
“Oye, niño, ponme esto en un lenguaje a ver si funciona”
Y esa idea no está clara
¿Por qué? Porque es mucho más fácil decir “es que fulanito ha diseñado dos apps”

Spanish: 
Pues bueno, las apps están muy bien
Pero no es eso de lo que se trata, entiendo yo
No sé si me estoy metiendo en terreno movedizo
- Zuleica o Xavi, ustedes conocen mejor que yo cómo está el plan de estudios del Grado y demás
Si está más enfocado a una aplicación práctica o...
El salto que hay actualmente de lo que saben los estudiantes y lo que demanda el mercado es más corto que lo que existía hace muchos años
Quizás antes existía un “Taj Mahal”, pues entonces la universidad te formaba y ahora no
No a un año vista sino a varios años vista
El mercado laboral te alcanzaba
Ahora ya quieren que te salgas por delante del mercado laboral
A coste cero en formación con la empresa

Spanish: 
yo creo que es un poco lo que dice él; Pacheco, ¿verdad?
Que hay que ir un poquito más allá
Es que acabas de decir una cosa que antes era distinto
Antes salía la gente y la empresa, tampoco con mucho coste
Ponía a cualquier titulado de cualquier cosa
En disposición de trabajar para ellos en un tiempo no muy largo
Cualquier titulado de una carrera de ciencias que no sea una cosa, muy, muy específica
No se pueden poner los conocimientos necesarios para trabajar en una empresa
En un curso de 6-7 meses
Eso ocurría antes, ahora las empresas se lo quieren ahorrar
Y entonces lo que quieren es transferir ese coste a las universidades
Lo cual se traduce, primero, en un desgaste del profesorado de las universidades
Porque tienen que ir por delante de lo que se supone que va a querer el mercado

Spanish: 
Se supone también una pérdida de profundidad de las características culturales
Y se supone también que los Señores Alumnos
Se ven sometidos a un estrés notable
Es decir, “es que yo tengo que, tengo que…”
La definición de estrés son dos palabras: “tengo que”, esa es la definición
Y bueno, no sé, es que claro
Este hombre levantó la tapadera un poco y mira tú por dónde vamos ya
- Antes de cerrar, tú conoces la situación en Alemania por ejemplo, también está igual
Un país de tanta reflexión e historia de la reflexión
- Bueno, mi experiencia que es, digamos que es paterno-filial
por razones que no hacen al caso

Spanish: 
Es que el sistema en Alemania, el bolonialismo está implantado igual que aquí
Pero desde luego no está sometido a una pléyade de reglamentos obtusos
Ni muchísimo menos, ¿no?
O sea, es mucho más duro con el alumno, muchísimo más duro
Y desde luego el profesorado no se mata a dar horas de clase una tras otra
Dan las horas que les toca y ya está, y el alumno que estudie, que para eso está
A nadie se le ocurriría hacer un reglamento del PATOE
Los Señores Profesores saben lo que es el PATOE, el Plan de Acción Tutorial contra no sé qué
Que es un disparate como la copa de un pino
A nadie se le ocurre hacer un reglamento de
Ni el potencial indecente (risas) ni el docente ni nada de eso
Nadie se preocupa de esas tonterías
El señor profesor da la clase

Spanish: 
Cada Señor Profesor tiene una tropa de gente que le desbroza en tutorías y tal
Y ya está, y punto
Al final la gente no se mata con 30 horas de clase, si no que las dedica a prepararse a esto
Esto es lo que yo sé
Y tal como funciona
Por supuesto el reglamento de permanencia carece de sentido en un país
Donde solo hay 3 convocatorias por materia
Hay una, que es la normal
Otra, por si acaso en la normal no aprobaste
Y una tercera, que obligatoriamente es un examen oral
Y, que si no lo pruebas, impide matricularse en cualquier carrera en ese país que contenga esa materia
O sea, que la cosa no es tan simple
Aquí en nuestro amado país es corriente, por ejemplo, que los alumnos monten fiestas en la discoteca tal y cual

Spanish: 
Diciendo: “el que más suspensos tenga, más chupitos”
Es corriente que se monte eso
En un país como este que citamos, país de Frau Merkel, a nadie se le ocurre eso
Allí sacar una nota española, sacar menos de un 8, es una deshonra
Los propios alumnos no quieren sacar notas bajas
Es una diferencia muy grande con esto
Otras diferencias reglamentarias
El reglamento allí de participación en exámenes es vas, te matriculas y cuando te quieras examinar
Normalmente las asignaturas de primero no, esas son más parecidas aquí
Cuando un alumno desea examinarse, va a una oficina que hay
Es universal para toda la universidad
Y dice: “me quiero examinar de la asignatura tal”

Spanish: 
Entonces miran allí en el ordenador
Invocan a Boole y a Google y a toda esta gente (risas)
Y dicen: “el profesor tal solo tiene días de examen tal día”
¿Te viene bien? Sí ¿No te viene bien? Espérate a cuando tenga días
Y solo se van a examinar aquellos que expresan su deseo de hacerlo
Aquí no, aquí tenemos que esperar al día del examen mirando la lista
Tengo 300 (alumnos), luego, voy a hacer 300 papeles
Y el día del examen aparecen solo 120
¿Qué hago con los 180 papeles restantes?
¿Me los como con pan? Los uso de borrador, claro
Son situaciones que no son comparables
Aquí se ha intentado copiar unas cosas y se ha intentado mantener otras
Que son lo más retrógrado posible
Entonces no hay este disparate que ocurre en esta empresa

Spanish: 
De señores dando 30 horas al año y señores dando 300 y pico al año
Todos juntos 
¡Pero bueno! ¿Esto qué es?
Esto es un poco de jolgorio, ¿no?
Es una interpretación muy pervertida de lo que es el aparato de Bolonia
Si me permiten una anécdota, yo hice uno de los libros blancos de la adaptación a Bolonia, lo hice yo
Físicamente, con mis manos
Lo escribí enterito, el de Ciencias del Mar
Y, bueno, yo pensaba que de esta universidad era el único que había hecho un libro
Pues alguien me preguntaría que qué era eso de la NETA y tal
Y nadie me preguntó jamás nada, nadie me ha preguntado nada, nadie
De repente han aparecido expertos de la NETA que se lo saben todo

Spanish: 
Señores, aquí estamos
O sea, que yo perdí un montón de mi tiempo en escribir aquello
En reuniones con decanos de Ciencias del Mar
Menos mal que éramos pocos, que cabíamos todos en un taxi (risas)
Que éramos 5 o 6
Tardamos en reuniones, entre dale que te pego, pim pam pum
Sacamos el libro que, por cierto, está bastante bien escrito
Y hasta nuestros días
Ese libro luego se copió miserablemente para hacer el plan que está ahora funcionando en esa facultad
A mí nadie me ha dicho nada
Yo hace mucho que no voy por esa empresa más que a dar una clase y me marcho
Ya digo que, como anécdota, para que se vea la perversión de sistema
Cuando se le empieza a dejar la capacidad de degenerar reglamento tras reglamento

Spanish: 
Estamos enseñando a gente joven, como esos que están ahí atrás
Y estos chicos no tienen por qué aguantar este tipo de barbaridades
Esto es una barbaridad solemne, el método que se ha puesto aquí
Pero bueno, cualquiera dice nada
- ¿Y tendrá algo que decir esta gente que está ahí detrás?
¿Quieren hacer algún comentario de lo que se ha estado hablando?
Uno de ellos va a preguntar que si entra para el examen (risas)
- Bueno pues nada, pues si no hay ninguna… Ah, perdón
- Quería preguntar que desde mi ignorancia lo poco que he visto de la historia de la lógica

Spanish: 
Es apasionante ver las figuras humanas que hay ahí, es decir
Hay personas que dedican su vida a causas que parecen perdidas, es impresionante
Se plantean pues tan pequeños pasos en la historia de la ciencia
Y son pasos que no los van a valorar más
Este señor se murió previendo que su contribución
Algún día en el futuro tendría algún tipo de repercusión, y vaya que la tendría
Pero solo ahora, después de muchos años podemos valorar su contribución
Pero mientras están trabajando, no tienes ningún apoyo de ningún tipo para poder seguir adelante
Sin embargo, toda su vida está condicionada por ese trabajo
No es por valorar las vidas de santos pero sí que
Los grandes investigadores, las investigadoras

Spanish: 
Los teóricos que están ahí trabajando
Se plantean pequeños pasos que solo después, mucho después
Van a tener su aplicación
Es decir, la visibilidad vislumbra la inmediatez
Por lo poco que he podido ver, es apasionante cómo detrás de estas personas
Existe todo un esfuerzo que muy pocas personas van a poder valorar
En el caso de Boole, es curioso también que se casó con una señora que también era matemática
Y pertenece a una familia muy interesante, ¿no?
Que ha hecho aportaciones en distintos campos

Spanish: 
Pero eso es una parte más de esa línea que Wittgenstein, Bertrand Russell
De personas que llegan hasta el siglo pasado
Llegan y siendo fundamentales como lo son para nuestra historia
para nuestra universidad, para nuestro conocimiento
Pues, ahora mismo parece como que no tienen visibilidad
Y que cualquier persona del tipo, no es por quitarle méritos, Bill Gates
Se sube en una tribuna acapara
O se presenta como si hubiese hecho algún tipo de contribución al conocimiento
Y que, de pensamiento, no quiero ser tan drástico

Spanish: 
Pero que la producción de conocimiento es algo mucho más serio
Que la producción de esas aplicaciones
Que cualquiera parece que ya pueda hacerse rico con tener o con crear una aplicación para un móvil
Y sin embargo, todo eso debería estar en un espacio como este de la universidad
Debería estar en primer lugar, ser más visibles y ser referencia
Eso es un problema general
Entonces eso es un problema muy clásico
¿Qué importa más cuando se produce? ¿El producirlo o distribuirlo?
Entonces hoy día lo que prima es la distribución

Spanish: 
Un señor fabrica el jabón “Manolo”
En los detergentes en realidad solo hay uno o dos productos
Entonces, ¿cuál es el que más se vende? El que tiene mejor distribución
Pues entonces uno puede estar pensando aquí, como hacía Boole de estar pensando sus locuras y disparates
Pero aquello no se vendía bien y esto lleva muchos años
Puede haber una sustitución del producto por la distribución del producto
Es más importante la distribución que el producto en sí

Spanish: 
También quería decir que Juan Carlos Navarro, a quien se le ocurrió esta idea
Tienen la presentación ahí

Spanish: 
Muchas gracias (aplausos)
