De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
the computer would not have been possible were it not for the work of george boole, an english mathematician and logician.
la computadora no habría sido posible era él no para el trabajo de george boole, un matemático inglés y logician.
alan turing, 1912 –1954, was a british mathematician, logician cryptanalyst, compute scientist and philosopher.
alan turing, 1912 -1954, fue un matemático británico, criptoanalista lógico, científico de computación y filósofo.
conspicuous among those who in the early nineties attended the monthly meetings ... was the famous logician, charles s peirce.
conspicua entre los que en los principios de los noventa asistió a las reuniones mensuales ... fue la famosa logician, charles s peirce.
von neumann, and a logician, and a mathematician from the army put this together. then, they needed a place to build it.
von neumann, y un lógico, y un matemático del ejército lo reunieron. entonces, necesitaban un lugar donde construirlo.
2012 marked alan turing year, a celebration of the life and work of the english mathematician, logician, cryptanalyst and computer scientist alan turing.
2012 fue elegido como el año de alan turing, una celebración de la vida y el trabajo del matemático, lógico, criptólogo e informático teórico alan turing.
alan ross anderson (1925–1973) was an american logician and professor of philosophy at yale university and the university of pittsburgh.
alan ross anderson (1925-1973), fue un lógico estadounidense y profesor de filosofía en las universidades de yale y pittsburgh en los estados unidos de américa.
joseph diaz gergonne (19 june 1771 at nancy, france – 4 may 1859 at montpellier, france) was a french mathematician and logician.
joseph diaz gergonne (nancy, 19 de junio de 1771 - montpellier, 4 de mayo de 1859) fue un matemático y lógico francés.
== naming ==the name "currying", coined by christopher strachey in 1967, is a reference to logician haskell curry.
== nomenclatura ==el nombre "currificar", acuñado por christopher strachey en 1967, es una referencia al lógico haskell curry.
1) why the faculty of philosophy was bound to come into "collision" not with a logician or metaphysician, but with a philosopher of the state;
1° por qué la facultad de filosofía ha debido "entrar en colisión" con un filósofo del estado y no con un lógico o con un metafísico;
for breadth, variety, originality, and incisive penetration, jevons' work as economist, statistician, logician, and philosopher is among the greatest on modern times.
por la amplitud, variedad, originalidad, y la incisiva penetración, jevons trabajo como economista, estadístico, lógico, filósofo y es uno de los más grandes en los tiempos modernos.
==logician==tarski's student, vaught, has ranked tarski as one of the four greatest logicians of all time — along with aristotle, gottlob frege, and kurt gödel.
== lógica y teoría de modelos ==junto con aristóteles, gottlob frege y kurt gödel, tarski es considerado uno de los lógicos más grandes de todos los tiempos.