kreisel

Popularity

500+ learners.

Traductor
Ejemplos

Inside you can see one of the largest kreisel tanks in the world, a special horizontal cylinder needed to support the fragile bodies of jellyfish.	En el interior, podrás ver uno de los tanques Kreisel más grandes del mundo, un cilindro horizontal especial que se necesita para sostener los frágiles cuerpos de las medusas.
Kreisel was elected a fellow of the Royal Society of London in 1966.	Kreisel fue elegido miembro de la Royal Society de Londres en 1966.
The Steglitzer Kreisel was her downfall.	El proyecto Steglitzer Kreisel fue su perdición.
In 1958-59 Kreisel was back in the United States, this time at Stanford.	Kreisel en 1958-59 fue de nuevo en los Estados Unidos, esta vez en Stanford.
Kreisel studied mathematics at Trinity College, Cambridge graduating with a B.A. in 1944.	Kreisel estudió matemáticas en el Trinity College de Cambridge se graduó con un BA en 1944.
Kreisel returned to Reading in 1957 but kept up a mathematically important correspondence with Gödel.	Kreisel regresó a la Lectura en 1957, pero mantiene una importante correspondencia con matemáticamente Godel.
Rooms at Pension Kreisel are classically furnished and feature a private bathroom with shower.	Las habitaciones de la Pension Kreisel presentan una decoración clásica y disponen de baño privado con ducha.
In 1946 Kreisel returned to Cambridge to undertake research, studying mathematical logic.	Kreisel En 1946 regresó a Cambridge para llevar a cabo la investigación, el estudio de la lógica matemática.
After the award of his doctorate Kreisel hoped for a Fellowship at Trinity but this was not forthcoming.	Después de la concesión de su doctorado Kreisel espera de una beca en el Trinity pero esto no era inminente.
But, as with his work on constructivity, Kreisel also sought to replace those by a more sophisticated stance about foundations.	Pero, como con su trabajo en constructivity, Kreisel también trató de sustituir a los más sofisticados de una postura acerca de las fundaciones.
Katheryn Kreisel from Madagascar: DLL Suite helped me solve my blue screen Windows 7 Home Premium Edition 64-bit issue today.	Bobbie Troche de Papua New Guinea: DLL Suite me ayudó a solucionar mi pantalla azul Windows 7 Home Premium Edition 64-bit edición de hoy.
In 1962 Kreisel returned to the United States and was appointed to Stanford where he remained on the staff until he retired in 1985.	Kreisel En 1962 regresó a los Estados Unidos y fue nombrado a Stanford, donde permaneció en el personal hasta su jubilación en 1985.
Nearby, the new Kaiserlei Kreisel roundabout provides convenient connections to Frankfurt's city centre, airport and exhibition grounds.	El hotel está cerca de la nueva rotonda Kaiserlei Kreisel, que proporciona excelentes conexiones con el centro de la ciudad de Frankfurt, el aeropuerto y el recinto ferial.
Freeman Dyson was an undergraduate at Cambridge in the same year as Kreisel and by the 1950s was at the Institute for Advanced Study.	Freeman Dyson es un pregrado en Cambridge en el mismo año que Kreisel y por la década de 1950 estuvo en el Instituto de Estudios Avanzados.
After a while, Kreisel was moved to Fanum House in central London where he studied the effects of waves on the harbours which were being designed for the Normandy landings.	Después de un tiempo, se trasladó a Kreisel Fanum Casa en el centro de Londres, donde estudió los efectos de las olas en los puertos que se están diseñados para el desembarco de Normandía.
Kreisel was sent to do War Service with the Admiralty immediately his university courses were over and he began work at West Leigh near Havant and close to the naval base at Portsmouth.	Kreisel fue enviado a hacer la guerra con el Servicio Marítimo de inmediato sus cursos universitarios y más de él comenzó a trabajar en West Leigh, cerca de Havant y cerca de la base naval de Portsmouth.
Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty years.	A través de sus propias contribuciones (individuales y de colaboración) y su extraordinaria influencia personal, Georg Kreisel hizo quizá más que nadie para fomentar el desarrollo de la prueba de la teoría y la metamathematics de constructivity en los últimos cuarenta años.
Speaking on behalf of David Nabarro, WHO Office of the Director-General for Health Action in Crises, Wilfried Kreisel, Director, WHO Kobe Centre, called attention to the health sectors vulnerability to disasters.	Hablando, en nombre de Daniel Nabarro, de la Oficina del Director General de la OMS para las Acciones de Salud en las Crisis, Wilfried Kreisel, Director de la OMS en KOBE, llam la atencin sobre la vulnerabilidad del sector salud en los desastres.
Speaking on behalf of David Nabarro, World Health Organization (WHO) Office of the Director-General for Health Action in Crises, Wilfried Kreisel, Director, WHO Kobe Centre, called attention to the health sector's vulnerability to disasters.	Hablando en nombre de Daniel Nabarro, de la Oficina del Director General OMS para las Acciones de Salud en las Crisis, Wilfried Kreisel, Director de la OMS en KOBE llamó la atención sobre la vulnerabilidad del sector salud en los desastres.
Although he did not come with the explicit intention of staying, and the possibility of return to Europe was open to him, Kreisel did not have strong ties to his position at Reading, a rather puzzling domicile for a person of his peculiar qualities.	Aunque no vienen con la intención explícita de permanencia, y la posibilidad de regresar a Europa se abre a él, Kreisel no tienen fuertes lazos con su posición en la lectura, un lugar enigmático para el domicilio de una persona de sus cualidades peculiares.