Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
it aimed to substitute clear mathematical results for what were said to be vague, misplaced, crude foundational goals. but, as with his work on constructivity, kreisel also sought to replace those by a more sophisticated stance about foundations.
je zaměřen na náhradní jasné matematických výsledků pro co byly říká, že je vágní, ztracená, surové základní cíle. ale, jak je s jeho prací v constructivity, kreisel také snažila nahradit ty, které sofistikovanější postoj o základy.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество: