Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?

被引:0
作者
Ulianov Montaño
机构
来源
The Mathematical Intelligencer | 2012年 / 34卷
关键词
Mathematical Intelligencer; Mathematical Proof; Intentional Object; Aesthetic Quality; Mathematical Entity;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:21 / 28
页数:7
相关论文
共 22 条
[1]  
Appel K.(1976)Every planar map is four colorable Bulletin of the American Mathematical Society 82 711-713
[2]  
Haken W.(1977)Every planar map is four colorable Illinois Journal of Mathematics 21 439-567
[3]  
Appel K.(1986)The four color proof suffices Mathematical Intelligencer 8 10-20
[4]  
Haken W.(1998)McAllister’s aesthetics in science: a critical notice International Studies in the Philosophy of Science 12 25-32
[5]  
Appel K.(2005)Aesthetic terms, metaphor, and the nature of aesthetic properties Journal of Aesthetics and Art Criticism 63 27-32
[6]  
Haken W.(2004)The role and function of quasi-empirical methods in mathematics Canadian Journal of Math Science, & Technology Education 4 397-418
[7]  
Davies D.(2010)Cantor’s other proofs that R is uncountable Mathematics Magazine 83 283-289
[8]  
Clercq R.(1975)What makes “aesthetic” terms aesthetic? Philosophy and Phenomenological Research 36 197-211
[9]  
Villiers M.(2002)Beauty, a road to the truth Synthèse 31 291-328
[10]  
Franks J(1998)Is beauty a sign of truth in scientific theories? American Scientist 86 174-183