Gentzen - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
Brouwer rejected formalization in mathematics, but his student Arend Heyting studied intuitionistic logic formally, as did Gerhard Gentzen. |
Брауэр отвергал формализацию в математике, но его ученик аренд хейтинг изучал интуиционистскую логику формально, как и Герхард Гентцен. |
In 1935, Gerhard Gentzen made universal quantifiers. |
В 1935 году Герхард Гентцен создал универсальные кванторы. |
Gentzen's theorem spurred the development of ordinal analysis in proof theory. |
Теорема гентцена стимулировала развитие порядкового анализа в теории доказательств. |
In 1936, Gerhard Gentzen gave a proof of the consistency of Peano's axioms, using transfinite induction up to an ordinal called ε0. |
В 1936 году Герхард Гентцен доказал непротиворечивость аксиом Пеано, используя трансфинитную индукцию вплоть до порядкового числа, называемого ε0. |
Gentzen published his consistency proof for first-order arithmetic in 1936. |
Гентцен опубликовал свое доказательство непротиворечивости для арифметики первого порядка в 1936 году. |
