英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
Decretals查看　Decretals　在百度字典中的解释百度英翻中〔查看〕
Decretals查看　Decretals　在Google字典中的解释Google英翻中〔查看〕
Decretals查看　Decretals　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • An Introduction to Reverse Mathematics - Harvard Math
    Reverse mathematics is a relatively new program in the foundations of mathematics Its basic goal is to assess the relative logical strengths of theorems from ordinary non-set theo-retic mathematics
  • Contents REVERSE MA - University of Chicago
    CONNIE FAN bstract In math we typically assume a set of axioms to prove a theorem In reverse mathematics, the premise is reversed: we start with a theorem and try to determine the minimal axiomatic system required to prove the theorem (over a weak base
  • Reverse Mathematics - American Mathematical Society
    putability theory This relationship is one of the keys to the suc-cess of reverse mathematics: by working in second-order arithmetic, we can use a powerful toolbox of methods from computability theory to study theorems that, at first glance, seem unrela
  • Damir D. Dzhafarov Carl Mummert Reverse Mathematics
    ty theory into reverse mathematics, and vice versa The tie between computability theory and reverse mathematics is a key source of interest for many reverse mathematicians To accommodate both the axiomatic and computability theoretic viewpoints, we will understand reverse mathematics in this book as denoting a program concerned, quite
  • Reverse Mathematics: The Playground of Logic
    We now want to present a formal version of a computational approach to reverse mathematics that characterizes construction principles such as compactness (K ̈onig’s Lemma) and transfinite recursions and allows one to determine which of them are required to prove specific mathematical theorems
  • Reverse Mathematics. - University of California, Berkeley
    Reverse Mathematics Antonio Montalban University of Chicago September 2011 Reverse Mathematics refers to the program, whose motivating question is \What set-existence axioms are necessary to do mathematics?"
  • A Super Introduction to Reverse Mathematics - pku. edu. cn
    The object of reverse mathematics is non-set theoretic or ordinary The distinction between set-theoretic and ordinary mathematics corresponds roughly to the distinction between \uncountable
  • Reverse Mathematics and Non-Standard Methods
    Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics The method can briefly be described as “going backwards from the theorems to the axioms”
  • Reverse Mathematics - chapter 1
    © Copyright, Princeton University Press No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher For general queries, contact webmaster@press princeton edu i i “Reverse” — 2017 10 4 — 13:45 — page 18 — #34 i i i i i i 18™CHAPTER1
  • REVERSE - api. pageplace. de
    REVERSE MATHEMATICS CHAPTER 1 HistoricalIntroduction ¿epurposeofthisintroductorychapteristopreparethereader’smind forreversemathematics Asitsnamesuggests,reversemathematicsseeks nottheoremsbuttherightaxiomstoprovetheoremsalreadyknown ¿e criterionforanaxiomtobe“right”wasexpressedbyFriedman(1975)as follows:





中文字典-英文字典  2005-2009