Examples with "de constructivity" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
A través de sus propias contribuciones (individuales y de colaboración) y su extraordinaria influencia personal, Georg Kreisel hizo quizás 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.
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.
Andere resultaten
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.
But, as with his work on constructivity, Kreisel also sought to replace those by a more sophisticated stance about foundations.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.