Des Data d’Euclide au De numeris datis de .pptVIP

对古希腊数学中的“分析方法”的历史考察 2015数学哲学学术讨论会 上海 2015年12月12-13日 郑方磊, 复旦大学历史学系  报告提纲 绪言—古希腊数学史 Pappus对古希腊数学中的分析-综合方法的描述 前人关于关于pappus描述文字的争论 欧几里得《原本》命题的结构及定理与问题的两分 欧几里得《Data》及其命题的性质—变形与比较 “Data – Elements” ： “对问题的分析与综合” “分析-综合”见于存世古希腊数学问题的命题实例 结论 绪言 -- 古希腊数学史 Pappus （公元四世纪，《数学全集》第七卷）对古希腊数学中的分析-综合方法的描述 “分析领域”的存在、目的与方法 对分析方法与综合方法的一般描述 对“对定理的分析”与“对问题的分析”的分别描述 古希腊数学中属于“分析领域”的若干作品 （Alexander Jones 译文，Springer-Verlag, 1986）  （Alexander Jones 译文） 前人关于Pappus分析方法的争论 如果命题的结论为(5)，那么 观点1： 分析：(5) (4) (3) (2) (1)， (1)成立/为真/已得… 综合：(1) (2) (3)(4) (5) 观点2 分析：(5) (4)  (3)  (2)  (1)， (1)成立/为真/已得… 综合：(1) (2) (3) (4) (5) 观点3 分析：(5)   (4)   (3)   (2)   (1)， (1)成立/为真/已得… 综合：(1) (2) (3) (4) (5) 欧几里得《原本》命题的结构 Proclus《对欧几里得〈原本〉第一卷的注释》 （公元五世纪） Mais tout problème et tout théorème, remplis de leurs parties accomplissantes, doivent posséder en propre toutes celles-ci : la proposition, lexposition, la détermination, la construction, la démonstration et la conclusion. Parmi ces parties, la proposition, après avoir donné une certaine chose, déclare quel est lobjet de la recherche; car une proposition parfaite comporte ces deux choses. Lexposition, reprenant en particulier cette chose donnée, la dispose davance en vue de ce qui est cherché. La détermination explique clairement à part ce qui constitue la chose cherchée. La construction ajoute ce qui manque à la chose donnée en vue de poursuivre ce qui est cherché. La démonstration induit savamment la proposition par suite des choses consenties. Enfin, la conclusion retourne de nouveau à la proposition en confirmant ce qui a été démontré. Telles sont donc les parties des problèmes et des théorèmes. 欧几里得《原本》命题的结构及定理和问题的两分（粗） Proclus的结构划分 定理 问题 Protasis 命题的陈述 命题的陈述 Ekthesis 令（设若） … 令（设若） … Diorismos 我说 … 那么，要求作… Kataskeue 该部分可能没有 该部分一定有 ?   我说 … Apodeixis 因为 … 因为 … Sumperasma 因此 Q. E. D 因此 Q. E. F The dichotomy between theorem and problem in the Elements of Euclid Proclus’ partition for a proposition Functio