George Boole oor Engels

George Boole

Vertalings in die woordeboek Spaans - Engels

George Boole

naamwoord

Boole

naamwoord

voorbeelde

(George Boole fue un matemático del siglo XIX.
(George Boole was a 19th‐century mathematician.

Como se indicó anteriormente, uno de los fundadores de la lógica simbólica fue el matemático inglés George Boole.
As noted earlier, one of the founders of symbolic logic was the English mathematician George Boole.

Al igual que George Boole, Peirce creyó que las matemáticas podrían ser usadas para estudiar la lógica.
Like George Boole, Peirce believed that mathematics could be used to study logic.

Lo han estudiado varios lógicos, incluyendo a Claudio Bernardi, George Boolos, D.
It has been studied by several logicians, including Claudio Bernardi, George Boolos, D.

Llamada así porque fue el matemático inglés George Boole (18151864) quien desarrolló este concepto.
Named after George Boole (1815–64), the English mathematician who developed the idea.

Fue inventada a mediados del siglo 19 por el matemático británico George Boole.
It was invented in the middle of the 19th century by the British mathematician George Boole.

La teoría matemática de variables y operaciones lógicas se denomina álgebra booleana, por el matemático George Boole.
The mathematical theory of logic variables is called Boolean algebra, named for mathematician George Boole.

La pobreza obligó a George Boole a empezar a trabajar de profesor ayudante a la edad de dieciséis años.
The poverty at home forced George Boole to start working as an assistant teacher at age sixteen.

Alrededor de 1850, George Boole creó el álgebra booleana, que es la base de la teoría de la lógica.
Around 1850, George Boole created Boolean algebra, which underlies the theory of logic.

Mary hizo grandes contribuciones en la edición de Las leyes del pensamiento de George Boole, un trabajo sobre lógica algebraica.
Mary greatly contributed as an editor to Boole's The Laws of Thought, a work on algebraic logic.

El foco principal de trabajo de George Boole era el psicologismo, y ella proporcionó una visión más ideológica de su trabajo.
George Boole's main focus was on psychologism, and Mary provided a more ideological view of his work.

Este sistema fue inventado unos 300 años antes por Gottfried Leibniz, y posteriormente usado por George Boole para desarrollar su álgebra booleana.
This was invented roughly three centuries earlier by Gottfried Leibniz; Boole later used it to develop his Boolean algebra.

En consecuencia, muchos de los avances logrados por Leibniz fueron recreados por lógicos como George Boole y Augustus De Morgan completamente independientes a Leibniz.
Consequently, many of the advances achieved by Leibniz were recreated by logicians like George Boole and Augustus De Morgan completely independent of Leibniz.

Creado por el lógico Raymond Smullyan y popularizado por su colega George Boolos, este acertijo ha sido denominado el más difícil de la lógica.
Created by logician Raymond Smullyan and popularized by his colleague George Boolos, this riddle has been called the hardest logic puzzle ever.

Alicia Boole (hija de George Boole) volvió a probar los resultados de Schläfli para politopos regulares, sólo para la dimensión 4, y luego redescubrió su libro.
She reproved Schläfli's result on regular polytopes for dimension 4 only and afterwards rediscovered his book.

Boole nació el 5 de agosto de 1862 en Cork, Irlanda, donde su padre, el matemático y lógico George Boole, era profesor en el Queen's College.
Boole was born in 1862 in Cork, Ireland, where her father, mathematician and logician George Boole, was professor at Queen's College.

George Boole tomó el código binario de Leibniz y creó el álgebra booleana, y John von Neumann tomó el álgebra boolena y creó la computadora digital.
George Boole took Leibniz's binary code and created Boolean algebra, and John von Neumann took Boolean algebra and created the digital computer.

La formulación de De Morgan fue influenciado por la alegorización de la lógica emprendida por George Boole, que más tarde consolidó la afirmación de De Morgan para el hallazgo.
De Morgan's formulation was influenced by algebraization of logic undertaken by George Boole, which later cemented De Morgan's claim to the find.

El entendimiento moderno de proposiciones categóricas (originado con la obra de mediados del siglo XIX de George Boole) requiere que se considere si la categoría de sujeto puede estar vacía.
Modern understanding of categorical propositions (originating with the mid-19th century work of George Boole) requires one to consider if the subject category may be empty.

Desde 1824, la lógica india atrajo la atención de muchos estudiantes occidentales y ha influido en importantes lógicos del siglo XIX como Charles Babbage, Augustus De Morgan y George Boole.
Since 1824, Indian logic attracted the attention of many Western scholars, and has had an influence on important 19th-century logicians such as Charles Babbage, Augustus De Morgan, and George Boole.

Pero tuvo que pasar más de un siglo antes de que George Boole publicara su álgebra de Boole en 1854 con un sistema completo que permitió que los procesos computacionales pudieran ser matemáticamente modelables.
But it took more than a century before George Boole published his Boolean algebra in 1854 with a complete system that allowed computational processes to be mathematically modeled .

Fue una figura principal e la historia de la lógica matemática (término que él generalizó), debido a que sintetizó y difundió las obras de George Boole, Augustus De Morgan, Hugh MacColl y especialmente la de Charles Peirce.
He is a major figure in the history of mathematical logic (a term he may have invented), by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce.

El principio de Hume, o HP— es un término creado por George Boolos— el mismo establece que el número de Fs es igual al número de Gs si hay una correspondencia uno a uno (una biyección) entre las Fs y las Gs.
Hume's principle or HP—the terms were coined by George Boolos—says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence (a bijection) between the Fs and the Gs.