probes into a problem of reverse mathematics",这句话的意思是 刘嘉忆 探索追究了反推数学(reverse mathematics)中的1个不懂的题目反推数学是数理思维规律的1个小分支( 刘嘉忆 处理完成的西氏料想是反推数学中的1个不懂的题目)在上百年 80 、9...
abstract:Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms.