北京师范大学学报(自然科学版)2013,Vol.49Issue(4):333-334,2.
n素元组猜想对于Peano公理组的条件独立性
CONDITIONAL INDEPENDENCE OF n PRIME TUPLE CONJECTURE WITH RESPECT TO PEANO AXIOMS
摘要
Abstract
It is shown by theoretical modeling that n prime tuple conjecture is logically independent of certain equivalent formulations of first order Peano axiom for system of natural numbers.关键词
n素元组/Peano公理组/紧致性定理/模型Key words
n prime tuples/ Peano axioms/ compactness theorem/ model引用本文复制引用
马鑫,沈复兴..n素元组猜想对于Peano公理组的条件独立性[J].北京师范大学学报(自然科学版),2013,49(4):333-334,2.基金项目
甘肃农业大学盛彤笙科技创新基金资助项目(GSAV-STS-1325) (GSAV-STS-1325)