Fenómenos de transporte en semiconductores

Yuri G. Gurevich, nacido el 24 de marzo de 1939 en Moscú, Rusia, es un influyente matemático y científico de la computación. Su carrera se ha caracterizado por una notable intersección entre la teoría de la computación, la lógica matemática y la inteligencia artificial. Gurevich es conocido principalmente por sus contribuciones en el campo del cálculo algebraico y la teoría de modelos, que han dejado una huella indeleble en la forma en que se entiende la computación moderna.

Después de completar su educación en la Universidad Estatal de Moscú, donde se especializó en matemáticas y lógica, Gurevich se convirtió en un miembro prominente de la comunidad científica soviética. Su trabajo inicial se centró en la teoría de modelos, un área de la lógica matemática que estudia la relación entre lenguajes formales y estructuras matemáticas.

Uno de los logros más significativos de Gurevich fue la introducción del concepto de máquinas de cómputo de Gurevich, que son una generalización de las máquinas de Turing. Este concepto ha sido fundamental para comprender la complejidad computacional y ha influido en el desarrollo de nuevos modelos de computación que son más eficientes y aplicables a problemas reales. Su obra en este ámbito ha puesto de relieve la importancia de la formalización matemática en la comprensión de los algoritmos y la computación.

En la década de 1970, Gurevich emigró a los Estados Unidos, donde continuó su carrera académica en diversas instituciones, incluyendo la Universidad de Michigan. Durante su tiempo en Michigan, Gurevich se convirtió en un defensor del uso de métodos algorítmicos y formales para abordar problemas complejos en la inteligencia artificial y la verificación de programas. Su enfoque práctico y teórico ha inspirado a generaciones de investigadores en estas áreas.

Gurevich ha colaborado con varios científicos de renombre, lo que ha llevado a la creación de resultados que han sido fundamentales para el desarrollo de la teoría de la computación. Además, ha publicado numerosos artículos en revistas académicas y ha sido ponente en conferencias internacionales, compartiendo sus ideas y descubrimientos con el mundo académico.

Uno de los aspectos más notables de su carrera es su contribución al algoritmo de Gurevich, que proporciona un enfoque innovador para resolver problemas de decisión en la lógica y la teoría de funciones. Este algoritmo ha sido ampliamente adoptado en el campo de la inteligencia artificial y ha facilitado el desarrollo de sistemas de verificación más eficaces.

Además de su trabajo en matemáticas y computación, Gurevich también ha estado involucrado en la enseñanza y la mentoría de estudiantes. Su compromiso con la educación ha ayudado a formar a una nueva generación de matemáticos y científicos de la computación, y su influencia se extiende más allá de sus investigaciones. Muchos de sus estudiantes han seguido carreras exitosas en la academia y la industria, llevando adelante sus enseñanzas y principios.

A lo largo de su carrera, Gurevich ha sido reconocido con diversos premios y honores, reflejando su impacto en el campo de la computación y la lógica matemática. Su trabajo ha sido fundamental para establecer puentes entre la teoría y la práctica, y su legado continúa vivo en las investigaciones actuales y futuras en estas disciplinas.

En resumen, Yuri G. Gurevich es un destacado matemático y científico de la computación cuya obra ha transformado la forma en que se entiende y aplica la computación en diversas áreas. Su enfoque innovador y su dedicación a la educación han dejado una marca duradera en el campo, inspirando a futuros investigadores y profesionales en su búsqueda de conocimiento y excelencia.

El riesgo de que los asteroides impacten en la Tierra ha propiciado el desarrollo de nuevos detectores, misiones espaciales y telescopios que permiten catalogar y estudiar su naturaleza. Hace dos siglos se empezaron a descubrir estos objetos rocosos en el cinturón principal que se encuentra entre Marte y Júpiter, y en las últimas décadas se han localizado miles de ellos en la región cercana a la Tierra, algunos potencialmente peligrosos. La Tierra en peligro explica cómo llegan estos planetas menores y los cometas, con qué frecuencia lo hacen, si existen evidencias de grandes...

Esta guía de campo de la Dehesa La Atalaya es una invitación dirigida a todos los corianos, para que acudan a conocer y sepan valorar el enclave con mayor grado de naturalidad y riqueza biológica del término municipal de Coria del Río (Sevilla). A menudo olvidada y para muchos desconocida, la Dehesa La Atalaya atesora elementos naturales que la hacen realmente singular no sólo a nivel local, sino también a escala provincial y regional. Conscientes de esta asignatura pendiente, la Delegación de Deporte, Juventud y Medio Ambiente del Excmo. Ayuntamiento de Coria del Río ha promovido...

Del big bang al Homo sapiens resume de manera amena, didáctica y bella los acontecimientos que llevan al Homo sapiens: desde el surgimiento del universo y los orígenes de la Tierra, pasando por la aparición de la vida y sus incontables desarrollos evolutivos, hasta el presente, con consideraciones sobre nuestro futuro. Con ayuda de varias ciencias, que su formación como ingeniero y matemático le permiten usar, el profesor Antonio Vélez explica con profundidad el modelo darwiniano de la selección natural: la primera célula, el gen, los organismos multicelulares, los cordados, los...

Si el conocimiento es siempre poder, en el ámbito de la física aún lo es más. Produce vértigo el abismo que separa la apasionante aventura del saber que emprendieron pioneros como Marie Curie, movidos por el deseo de desentrañar los secretos del mundo material para mejorarlo, y el uso que se acabó dando a sus descubrimientos, un uso que podía destruir al mundo mismo. Diana Preston entreteje biografía, historia, física y política para recorrer el camino que lleva en tan sólo cincuenta años, de finales del siglo xix a mediados del xx, de un extremo a otro: de la curiosidad...