Kummer判别法的改进和推论

对于正项级数,判定其敛散性有许多方法,常用的有达朗贝尔判别法,柯西判别法等,但有些级数用此二法不能判定其敛散性,比如在此二法中极限为1的正项级数.在这篇文章中,将给出判定正项级数敛散性的另外一种方法以及一些相关的推论,解决了以上的问题.     

论经典命题逻辑矢列演算的保持高度收缩定理

在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。     

试析"罗斯福推论"

"罗斯福推论"是20世纪初美国第二十六任总统西奥多·罗斯福对美国第五任总统詹姆斯·门罗宣布的"门罗主义"的最为重要的一次引申,它的核心是美国可以根据自己的逻辑任意武装干涉拉丁美洲,以实现"美洲是美国人的美洲"的独霸西半球的野心.以"罗斯福推论"为基础的拉美政策直到美国第三十二任总统富兰克林·罗斯福推行针对美洲的"睦邻政策"才宣告结束,时间跨度长达三十年,美国这一时期对拉美国家的外交政策深深打上了"罗斯福推论"的烙印.     

美国与委内瑞拉债务危机(1902-1904)

美国通过调解委内瑞拉债务危机，在维护门罗主义的同时，又以“罗斯福推论”扩展其内涵，将欧洲国家排挤出拉丁美洲，强化了美国在拉丁美洲的势力，美国干扰委内瑞拉债务危机是美国与欧洲以及美国与拉丁美洲关系史上的重要转折点。