词条 格林-陶定理

格林-陶定理

格林-陶定理Green-Tao theorem)是本·格林和陶哲轩于2004年证明的一个关于素数组成的等差数列上的定理。定理指出:质数序列中包含有任意长的等差数列。换言之,存在着由质数组成的项数为k的等差数列,k可以为任意自然数,这个定理是泽莫雷迪定理的推广。

相关人物
格林-陶定理相关文献
格林瓦尔德战役:波兰立陶宛联军与条顿骑士团的决战
格林瓦尔德战役:波兰立陶宛联军与条顿骑士团的决战,格林瓦尔德战役,德国文献中称为坦南贝格会战,中文又译作坦能堡会战,是1410
查看全文
格林-陶定理
外在链接MathWorldnewsarticleonproofPrimesinArithmeticProgressionRecords
查看全文
定理
各种数学叙述(按重要性来排列)引理(又称辅助定理,补理)-某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长,例如舒尔引理。推论-一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A,命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B,其逆叙述就是B→A。逆叙述成立的情况是A←→B,否则通常都是倒果为因,不合常理。若果叙述是定理,其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真,条件必要且充足。若某叙述为真,其逆叙述为假,条件充足。若某叙述为假,其逆叙述为真,条件必要。逻辑中的定理命题集合的可计算性问题(Calculabilite)我们可以通过可计算性(Calculabilite)这...
查看全文
采样定理
简介采样是将一个信号(例如时间或空间上连续的函数)转换为数字序列(时间或空间上离散的函数)的过程。这个定理的香农版本陈述为:如果函数x(t)不包含高于Bcps(次/秒)的频率,它完全取决于一系列相隔1/(2B)秒的点的纵坐标。因此2B样本/秒或更高的采样频率就足够了。相反,对于一个给定的采样频率fs,完全重构的频带限制为B≤fs/2。在频带限制过高(或根本没有频带限制)的情形下,重构表现出的缺陷称为混叠。现在对于此定义的陈述有时会很小心的指出x(t)必须不包括频率恰好为B的正弦曲线,或是B必须小于½的采样频率。这二个门槛,2B及fs/2会称为奈奎斯特速率(英语:Nyquistrate)及奈奎斯特频率。这些是x(t)及采样设备的属性。上述的不等式会称为奈奎斯特准则,有时会称为拉贝准则(Raabecondition)。此定理也可以用在其他定义域(例如离散系统)的函数下,唯一的不同是量测t,fs...
查看全文
CAP定理
历史这个定理起源于柏克莱加州大学(UniversityofCalifornia,Berkeley)的计算机科学家埃里克·布鲁尔在2000年的分布式计算原则研讨会(SymposiumonPrinciplesofDistributedComputing(英语:SymposiumonPrinciplesofDistributedComputing)(PODC))上提出的一个猜想。在2002年,麻省理工学院(MIT)的赛斯·吉尔伯特(英语:SethGilbert)和南希·林奇(英语:NancyLynch)发表了布鲁尔猜想的证明,使之成为一个定理。吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。参见分布式计算的谬论(FallaciesofDistributedComputing(英语:Fallaci...
查看全文
格林-陶定理相关标签
素数
家族谱大览
暨阳塍墅陶氏宗谱 [3卷]
原书: [出版地不详] : 留耕堂, 2010年续修. 存2册 : 插图, 人像, 彩色肖像. 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 本谱缺卷3, 无世系资料. 编纂单位 : 留耕堂续修宗谱领导小组. 暨阳始迁祖 : 陶金,字天然. 本姓潘,定居嘉定. 元末徙暨阳小塍墅,易姓陶氏. 云亭陈庄村支祖(13世) : 陶起凤 ; 陶起仪. 迁居云亭陈庄村. 云亭杜园里支祖(16世) : 陶尚伦. 迁居杜园里. 散居地 : 江苏省江阴县等地. 书名据书衣题, 版心题, 及目录题编目. 书名页题 : 陶氏宗谱. 谱序题 : 续修云亭(陈庄村,杜园里)陶氏宗谱.
浏览:0
资江陶氏族谱 [3卷,首5卷,艺文14卷]
原书: [出版地不详] : 小淹祠堂藏版, 清宣统元年[1909]. 53册 : 插图 , 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 注 : 本谱缺卷首2. 远祖 : (汉) 陶舍,开封愍侯. 安化祖 : (后唐) 陶升. 自江右吉州泰和徙居资江乡之小淹,遂为安化人. 始祖(1世) : (元) 陶舜卿(生子一: 陶日荣) ; 陶禹卿(生子一: 陶世荣). 派祖(3世) : 陶庆源,讳潮宗,行一(日荣之子) ; 陶泉源,讳瀚宗,行一(世荣之子). 庆源公下三大房祖(4世) : (明) 陶民望,讳仕奇,行一 ; 陶民彦,讳仕良,行二 ; 陶民端,讳日新,行三. 民望房派下支祖(7世) : 陶子纯,讳炼,行三十六 ; 陶子赤,讳镏,行四十三 ; 陶子武,讳錞,行五十. 民彦房派下支祖(7世) : 陶子开,讳鉴,行二 ; 陶子熙,讳镜,行八 ; 陶子臧,讳鋹 ; 陶子傅,讳钱,行四十五. 民端房派下支祖(7世) : 陶子重,讳镒,行四 ; 陶子淬,讳𨱇,行二十五 ; 陶子秀,讳钟,行十四 ; 陶子京,讳镐,行二十一 ; 陶子和,讳铉,行二十四 ; 陶子威,讳𫓧,行九 ; 陶子善,讳录,行二十三 ; 陶子之,讳(金 云),行一. 泉源公下房祖(4世) : (明) 陶民祥,讳仕祖,行一. 民祥房派下支祖(7世) : 陶忠义,讳铣,行一 ; 陶忠孝,讳铃,行一. 世系歌 : 汉代开封舍晋侃历升迁卿荣宗仕玉廷金谱始镌守承惟祖 志崇孝必英贤文应希世用武克定邦宣勋业期铭鼎忠勤允 继先运昌材益备泽厚绪长延绍德经传远永思福尔全. 散居地 : 湖南省益阳县 , 安化县等地. 书名据书衣题, 书名页题, 及目录题编目. 版心题 : 陶氏族谱.
浏览:0
资江陶氏族谱 [3卷,首5卷,艺文14卷]
原书: [出版地不详] : 小淹祠堂藏版, 清宣统元年[1909]. 53册 : 插图 , 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 注 : 本谱缺卷首2. 远祖 : (汉) 陶舍,开封愍侯. 安化祖 : (后唐) 陶升. 自江右吉州泰和徙居资江乡之小淹,遂为安化人. 始祖(1世) : (元) 陶舜卿(生子一: 陶日荣) ; 陶禹卿(生子一: 陶世荣). 派祖(3世) : 陶庆源,讳潮宗,行一(日荣之子) ; 陶泉源,讳瀚宗,行一(世荣之子). 庆源公下三大房祖(4世) : (明) 陶民望,讳仕奇,行一 ; 陶民彦,讳仕良,行二 ; 陶民端,讳日新,行三. 民望房派下支祖(7世) : 陶子纯,讳炼,行三十六 ; 陶子赤,讳镏,行四十三 ; 陶子武,讳錞,行五十. 民彦房派下支祖(7世) : 陶子开,讳鉴,行二 ; 陶子熙,讳镜,行八 ; 陶子臧,讳鋹 ; 陶子傅,讳钱,行四十五. 民端房派下支祖(7世) : 陶子重,讳镒,行四 ; 陶子淬,讳𨱇,行二十五 ; 陶子秀,讳钟,行十四 ; 陶子京,讳镐,行二十一 ; 陶子和,讳铉,行二十四 ; 陶子威,讳𫓧,行九 ; 陶子善,讳录,行二十三 ; 陶子之,讳(金 云),行一. 泉源公下房祖(4世) : (明) 陶民祥,讳仕祖,行一. 民祥房派下支祖(7世) : 陶忠义,讳铣,行一 ; 陶忠孝,讳铃,行一. 世系歌 : 汉代开封舍晋侃历升迁卿荣宗仕玉廷金谱始镌守承惟祖 志崇孝必英贤文应希世用武克定邦宣勋业期铭鼎忠勤允 继先运昌材益备泽厚绪长延绍德经传远永思福尔全. 散居地 : 湖南省益阳县 , 安化县等地. 书名据书衣题, 书名页题, 及目录题编目. 版心题 : 陶氏族谱.
浏览:0
资江陶氏族谱 [3卷,首5卷,艺文14卷]
原书: [出版地不详] : 小淹祠堂藏版, 清宣统元年[1909]. 53册 : 插图 , 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 注 : 本谱缺卷首2. 远祖 : (汉) 陶舍,开封愍侯. 安化祖 : (后唐) 陶升. 自江右吉州泰和徙居资江乡之小淹,遂为安化人. 始祖(1世) : (元) 陶舜卿(生子一: 陶日荣) ; 陶禹卿(生子一: 陶世荣). 派祖(3世) : 陶庆源,讳潮宗,行一(日荣之子) ; 陶泉源,讳瀚宗,行一(世荣之子). 庆源公下三大房祖(4世) : (明) 陶民望,讳仕奇,行一 ; 陶民彦,讳仕良,行二 ; 陶民端,讳日新,行三. 民望房派下支祖(7世) : 陶子纯,讳炼,行三十六 ; 陶子赤,讳镏,行四十三 ; 陶子武,讳錞,行五十. 民彦房派下支祖(7世) : 陶子开,讳鉴,行二 ; 陶子熙,讳镜,行八 ; 陶子臧,讳鋹 ; 陶子傅,讳钱,行四十五. 民端房派下支祖(7世) : 陶子重,讳镒,行四 ; 陶子淬,讳𨱇,行二十五 ; 陶子秀,讳钟,行十四 ; 陶子京,讳镐,行二十一 ; 陶子和,讳铉,行二十四 ; 陶子威,讳𫓧,行九 ; 陶子善,讳录,行二十三 ; 陶子之,讳(金 云),行一. 泉源公下房祖(4世) : (明) 陶民祥,讳仕祖,行一. 民祥房派下支祖(7世) : 陶忠义,讳铣,行一 ; 陶忠孝,讳铃,行一. 世系歌 : 汉代开封舍晋侃历升迁卿荣宗仕玉廷金谱始镌守承惟祖 志崇孝必英贤文应希世用武克定邦宣勋业期铭鼎忠勤允 继先运昌材益备泽厚绪长延绍德经传远永思福尔全. 散居地 : 湖南省益阳县 , 安化县等地. 书名据书衣题, 书名页题, 及目录题编目. 版心题 : 陶氏族谱.
浏览:0
资江陶氏族谱 [3卷,首5卷,艺文14卷]
原书: [出版地不详] : 小淹祠堂藏版, 清宣统元年[1909]. 53册 : 插图 , 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 注 : 本谱缺卷首2. 远祖 : (汉) 陶舍,开封愍侯. 安化祖 : (后唐) 陶升. 自江右吉州泰和徙居资江乡之小淹,遂为安化人. 始祖(1世) : (元) 陶舜卿(生子一: 陶日荣) ; 陶禹卿(生子一: 陶世荣). 派祖(3世) : 陶庆源,讳潮宗,行一(日荣之子) ; 陶泉源,讳瀚宗,行一(世荣之子). 庆源公下三大房祖(4世) : (明) 陶民望,讳仕奇,行一 ; 陶民彦,讳仕良,行二 ; 陶民端,讳日新,行三. 民望房派下支祖(7世) : 陶子纯,讳炼,行三十六 ; 陶子赤,讳镏,行四十三 ; 陶子武,讳錞,行五十. 民彦房派下支祖(7世) : 陶子开,讳鉴,行二 ; 陶子熙,讳镜,行八 ; 陶子臧,讳鋹 ; 陶子傅,讳钱,行四十五. 民端房派下支祖(7世) : 陶子重,讳镒,行四 ; 陶子淬,讳𨱇,行二十五 ; 陶子秀,讳钟,行十四 ; 陶子京,讳镐,行二十一 ; 陶子和,讳铉,行二十四 ; 陶子威,讳𫓧,行九 ; 陶子善,讳录,行二十三 ; 陶子之,讳(金 云),行一. 泉源公下房祖(4世) : (明) 陶民祥,讳仕祖,行一. 民祥房派下支祖(7世) : 陶忠义,讳铣,行一 ; 陶忠孝,讳铃,行一. 世系歌 : 汉代开封舍晋侃历升迁卿荣宗仕玉廷金谱始镌守承惟祖 志崇孝必英贤文应希世用武克定邦宣勋业期铭鼎忠勤允 继先运昌材益备泽厚绪长延绍德经传远永思福尔全. 散居地 : 湖南省益阳县 , 安化县等地. 书名据书衣题, 书名页题, 及目录题编目. 版心题 : 陶氏族谱.
浏览:0
资江陶氏族谱 [3卷,首5卷,艺文14卷]
原书: [出版地不详] : 小淹祠堂藏版, 清宣统元年[1909]. 53册 : 插图 , 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 注 : 本谱缺卷首2. 远祖 : (汉) 陶舍,开封愍侯. 安化祖 : (后唐) 陶升. 自江右吉州泰和徙居资江乡之小淹,遂为安化人. 始祖(1世) : (元) 陶舜卿(生子一: 陶日荣) ; 陶禹卿(生子一: 陶世荣). 派祖(3世) : 陶庆源,讳潮宗,行一(日荣之子) ; 陶泉源,讳瀚宗,行一(世荣之子). 庆源公下三大房祖(4世) : (明) 陶民望,讳仕奇,行一 ; 陶民彦,讳仕良,行二 ; 陶民端,讳日新,行三. 民望房派下支祖(7世) : 陶子纯,讳炼,行三十六 ; 陶子赤,讳镏,行四十三 ; 陶子武,讳錞,行五十. 民彦房派下支祖(7世) : 陶子开,讳鉴,行二 ; 陶子熙,讳镜,行八 ; 陶子臧,讳鋹 ; 陶子傅,讳钱,行四十五. 民端房派下支祖(7世) : 陶子重,讳镒,行四 ; 陶子淬,讳𨱇,行二十五 ; 陶子秀,讳钟,行十四 ; 陶子京,讳镐,行二十一 ; 陶子和,讳铉,行二十四 ; 陶子威,讳𫓧,行九 ; 陶子善,讳录,行二十三 ; 陶子之,讳(金 云),行一. 泉源公下房祖(4世) : (明) 陶民祥,讳仕祖,行一. 民祥房派下支祖(7世) : 陶忠义,讳铣,行一 ; 陶忠孝,讳铃,行一. 世系歌 : 汉代开封舍晋侃历升迁卿荣宗仕玉廷金谱始镌守承惟祖 志崇孝必英贤文应希世用武克定邦宣勋业期铭鼎忠勤允 继先运昌材益备泽厚绪长延绍德经传远永思福尔全. 散居地 : 湖南省益阳县 , 安化县等地. 书名据书衣题, 书名页题, 及目录题编目. 版心题 : 陶氏族谱.
浏览:0