{{위키데이터 속성 추적}}
[[파일:Mandelpart2.jpg|300px|오른쪽|섬네일|'''표현의 미'''의 일례: [[망델브로 집합]]의 경계 부근, 중심 좌표 (0.282, -0. 01), 대각선 좌표 (0.278587, -0. 012560) ~ (0.285413, -0. 007440)의 영역의 확대.]]
'''수학적 미''' (數學的美, {{llang|en|mathematical beauty}})는 [[수학]]에 관한 [[심미]]적·[[미학]]적인 의식·의의·측면을 여러 가지 관점으로부터 다루는 [[개념]]이다.
'''수학적 미'''({{llang|en|mathematical beauty}})와 '''수학의 미'''({{lang|en|beauty in mathematics}})는 자주 동의로 취급해질지도 모르지만, 후자가 수학 그 자체의 심미성의 개념인데 비해 전자는 수학을 포함한 모든 [[사상]]의 수학적 측면에 주목해, 한편 후자를 포함할 수 있는 일이 그러한 차이이다. 따라서 본문에서는 전자의 의미에 근거해 논한다.

많은 [[수학자]]는 그들의 일, 일반적으로는 [[수학]] 그 자체로부터 [[미학]]적인 기쁨을 느끼고 있다.
그들은 수학 (혹은 적어도 수학이 있는 종의 측면)을 '''미'''로서 기술하는 것으로써, 이 기쁨을 표현하고 있다.
수학자는 [[예술]]의 한 형태 혹은 적어도 창조적인 행동으로서 수학을 표현하고 있다.
이것은 자주 [[음악]]이나 [[시]]를 대조로서 비교된다.
수학자 [[버트런드 러셀]]은 '''수학적 미'''에 관한 그의 인상을 다음 같이 표현했다.
{{인용문|그것을 올바르게 고찰된 수학에 있는 것은 [[진실]]만은 아니다. 거기에는 지고의 미, 즉, [[조각]]이 가지는 냉담하고 엄숙한 미, 인간의 약한 성질이 끌리는 일 없이, [[회화]]나 [[음악]]의 화려한 함정 없이, 여전히 숭고하고 순수한, 그리고 위대한 예술만이 보일 수 있는 강고한 완성도의 유능성을 갖추고 있다. 진정한 환희의 정신은 고양, 인류 이상의 것이라는 감각, 가장 탁월한 우월성의 시금석이며, 시가 그렇듯이 확실히 수학에서 발견되는 것이다<ref>{{서적 인용|last=Russell|first=Bertrand|authorlink=Bertrand Russell|title=Mysticism and Logic: And Other Essays|publisher=[[:en:Longman]]|date=1919|pages=60|chapter=The Study of Mathematics|url=http://books.google.com/books?id=zwMQAAAAYAAJ&pg=PA60&dq=Mathematics+rightly+viewed+possesses+not+only+truth+but+supreme+beauty+a+beauty+cold+and+austere+like+that+of+sculpture+without+appeal+to+any+part+of+our+weaker+nature+without+the+gorgeous+trappings+inauthor:Russell&lr=&as_brr=0&client=opera|accessdate=2008-08-22}}</ref>.}}
[[헝가리]]의 수학자 [[에르되시 팔]]은 수학의 [[언어로의 표현 불가능성]]에 관한 그의 견해를 다음과 같은 말로 표현했다<ref>{{서적 인용|last=Devlin|first=Keith|title=The Math Gene: How Mathematical Thinking Evolved And Why Numbers Are Like Gossip|publisher=[[:en:Basic Books]]|date=2000|pages=140|chapter=Do Mathematicians Have Different Brains?|url=http://books.google.com/books?id=AJdmfYEaLG4C&pg=PA140&lpg=PA140&dq=Why+are+numbers+beautiful%3F+It's+like+asking+why+is+Beethoven's+Ninth+Symphony+beautiful.+If+you+don't+see+why,+someone+can't+tell+you.+I+know+numbers+are+beautiful.+If+they+aren't+beautiful,+nothing+is.&source=web&ots=eRoQLJAgG-&sig=hBu19Oddbjz9zw_koj6-dJkyxM0&hl=en&sa=X&oi=book_result&resnum=2&ct=result|accessdate=2008-08-22}}</ref>.
: '수는 왜 아름다운 것인가. 그것은 베토벤의 [[교향곡 제9번 (베토벤)|교향곡 제9번]]이 왜 아름다운지 묻는 것이다. 당신이 그 답을 모르면, 다른 아무도 대답할 수 없다. 나는 수가 아름답다는 것을 '''알고 있다'''. 만약 수가 아름답지 않다면, 세상에 아름다운 것은 아무것도 없다.'

== 해법의 미·수법의 미 ==
수학자는 수학의 [[증명]] 방법에 대해 특히 '''화려'''를 평가한다. 이것은 다음과 같은 문맥에 의존하는 의미를 가질 것이다.
* 최소한의 기존 사실이나 부가적 가정을 사용한 증명
* 비정상으로 간결한 증명
* 경악적인 방법에 의해 결론을 연역하는 증명 (예를 들면, 일견 무관계한 기존 정리를 이용한 증명)
* 새로운 독자적인 통찰에 근거하는 증명
* 유사한 문제군을 풀기 위한 일반화가 가능한 증명 방법
[[파일:Pythagorean proof (1).jpg|250 px|오른쪽|섬네일|'''해법의 미'''의 일례: [[피타고라스의 정리|삼평방의 정리]]의 단순하며 화려한 증명]]
; 해법의 미: 다수의 수단 안의 미의 발견
화려한 증명을 모색하는 가운데, 수학자는 자주 어느 결론을 증명하기 위한 복수의 독립인 방법을 만나지만, 최초로 발견된 증명 방법이 항상 최선이라고는 할 수 없다.
아마 가장 다수의 증명 방법이 알려져 있는 문제의 전형예는 [[피타고라스의 정리|삼평방의 정리]]이며, 지금까지 수백의 증명이 공표되고 있다<ref>[[:en:Elisha Scott Loomis]] published over 360 proofs in his book Pythagorean Proposition ({{ISBN|0873530365}}).</ref>.
'''해법의 미'''는 이 정리의 증명에도 일부 볼 수 있다.
오른쪽의 그림에 의하면, 이미 문장이나 수식 등을 부여할 필요는 전혀 없고, 그림만으로부터 그 정리의 성립을 알 수 있다.
간결함과 동시에 설명의 필요 없이 직감적인 이해를 형성하는 전형예이며, 위에서 열거한 다섯 개의 화려함의 쳐 적어도 최초의 네 개를 구비한다.
매우 많은 증명 방법이 발견되고 있는 다른 예로서 [[이차 상호 법칙]]을 들 수 있으며 [[카를 프리드리히 가우스]]에 의해 이 정리에 대해서 8개가 다른 증명이 공표되었다.

반대로, 논리적으로 올바르지만 방대한 계산량을 필요로 하는 결과, 너무 정성스러운 방법, 대단히 평범한 접근, 혹은 매우 강력한 정리나 기존의 결과를 다수 사용하는 증명 방법은 통상은 화려하다고는 간주해지지 않고, 추악이라든지 서투름이라고 평가될지도 모른다.
; 수법의 미: 모형의 아름다움
수학을 도구로서 이용한 가운데의 '''수법의 미'''의 하나로서 [[요하네스 케플러]]의 다면체 태양계 모형 가설을 들 수 있다.
케플러의 시대에는 [[태양계]]의 [[행성]]으로서 [[수성]]·[[금성]]·[[지구]]·[[화성]]·[[목성]]·[[토성]]의 6개 밖에 알려지지 않았었다.
케플러는 [[정다면체]]가 5종류 밖에 없는 것과 6개의 [[행성]]의 [[궤도]]에 의한 5개의 틈새에는, 정다면체와 구와의 외접·내접에 의한 관련성이 있다는 가설을 세웠다.
결과적으로는 이 가설은 그의 기대를 배반하게 되었지만, 후의 고전역학의 발전에 연결되었다. ([[#미와 철학]]도 참조)
== 결론의 미 ==
[[파일:EulerIdentity2.svg|섬네일|오른쪽|'''결론의 미'''의 예: 복소평면에 있고, ''e''<sup>0</sup> = 1을 출발점으로서 시간 π에 대응하는 거리를 속도 ''i''로 이동해 1을 가산하면, 0에 도달한다.]]
일견 무관계한 인상을 받는 둘이 다른 수학 분야를 연결하는 수학적인 결론에 '''미'''를 찾아내는 수학자도 있다<ref>{{하버드 인용|last = Rota|year = 1977|loc = p. 173}}</ref>.
그러한 결과는 자주 '''심원한 통찰'''에 의한 것이라고 표현된다.

어느 결과가 심원한 통찰에 의할 것인지 어떤지라는 것에 대하여 일반적인 동의를 얻는 것은 어렵지만, 몇 개의 예가 자주 인용된다. 그 하나는 [[오일러의 등식]],
:<math>e^{i \pi} + 1 = 0</math>
이며, 일견 무관계하다고 생각되고 있던 [[네이피어 상수]] (자연대수의 바닥) '''''e''''', [[허수 단위]] '''''i''''', [[원주율]] '''π'''의 사이에 [[곱셈 단위원]]의 '''1'''와 [[흡수원|곱셈령원]] ([[가법 단위원]])의 '''0'''만을 이용한 단순한 관계를 주었다.
[[미국]]의 [[물리학자]] [[리처드 파인만]]은 이 등식을 '수학에서 가장 특필해야 할 식' (''The most remarkable formula in mathematics'')으로 칭했다.

현대적인 예로는, [[타원 곡선]]과 [[모듈러 형식]]의 사이의 중요한 관련성에 관한 [[타니야마 유타카]]와 [[시무라 고로]]에 의한 '''[[모듈러성 정리]]'''를 들 수 있다.
타니야마·시무라의 정리를 이용한 [[페르마의 마지막 정리]]의 해결에 관한 실적은 [[앤드루 와일스]]와 [[로버트 랭글랜즈]]에게 [[울프상 수학 부문]]의 수상을 가져왔다.
또, [[괴물군 (수학)|괴물군]]을 [[모듈러 함수]]에 [[끈 이론]]을 통해 묶는 [[몬스트라스 밀조주]]는 [[리처드 보처즈]]에게 [[필즈상]]을 가져왔다.

여기서의 '''심원'''이라는 말의 대의어로서 '''자명'''을 사용한다.
자명한 방법은, 다른 기존의 결과로부터 명백 혹은 간단한 방법으로 연역할 수 있는 결과일지도 모르고, 하늘 집합과 같이 특정의 대상의 특정의 집합에만 적용할 수 있던 것일지도 모른다.
그렇지만 자주, 정리의 기술의 문장은, 그 증명이 꽤 명백해도 '''깊은''' 통찰을 하는데 충분히 독자적인가도 모른다.

영국의 수학자 [[고드프리 해럴드 하디]]는 그의 수필인 [[어느 수학자의 생애와 변명]]에서, 수학적 미는 경악의 한 요소로부터 생긴다고 시사하고 있다. 그에 대한 미국의 수학자·철학자인 [[쟌칼로 로타]]는 동의하지 않고, 다음과 같은 반례를 제시하고 있다.
: '수학의 위대한 많은 정리는 그것이 최초로 출판되었을 때에 경악된다. 따라서 예를 들면 20년 남짓 전 (1977년 당시)의, 고차원의 초구에서의 [[이그조틱 구면]] (이종 구면, [[:en:Exotic sphere|en]])의 존재의 증명은 경악해야할 것이라고 생각할 수 있었지만, 현재는 그 결론이 아름답다고는 누구에게도 말하게 하는 것은 아니다.'<ref>{{하버드 인용|last = Rota|year = 1977|loc = p. 172}}</ref>
그에 대해 아마 짓궂게도, [[Michael Monastyrsky]]<ref>{{하버드 인용|last = M.  I.  Monastyrsky|year = 2001|txt = yes}}</ref>는 다음 같이 적고 있다.
: '7차원 초구에서의 다른 미분 구조에 관한 [[존 밀너]]의 아름다운 구성에 대해서는 그 이전으로는 유사한 발견을 찾는 것은 대단히 곤란하고, ... 미르나의 오리지날의 증명은 그만큼 구성적이지 않지만, 후에 [[E. 브리스콘]]은 그러한 미분 구조는 궁극적으로 명시적으로 아름다운 형태로 기술할 수 있는 것을 나타냈다.'
이 반대 의견은 수학적인 아름다움의 주관적인 요소와 그 수학적인 결론의 관련성의 양쪽 모두, 즉 이 경우는 이그조틱 구면의 존재성만은 아니고 그러한 구체적인 실현 수단도 표현하고 있다.
== 경험의 미 ==
[[수]]와 [[기호]]의 조작으로부터 생기는 어떤 종류의 환희는, 모든 수학의 연구를 위해서 필요한 것이다.
[[과학에서의 철학|과학 철학]]에서 그랬던 것처럼, [[과학]]이나 [[공학]]에 수학이 도구로서 주어지면, 그 밖에 예가 없더라도 기술화 사회는 [[미학]]을 적극적으로 기를 것이다.

대부분의 수학자에서의 '''수학적 미'''의 현저한 경험은, 능동적인 수학의 연구 활동으로부터도 늘어뜨려진다. 수동적인 방법으로 수학의 기쁨을 즐기는 것은 대단히 어렵고, 특히 수학에서는, 구경꾼, 시청자, 방관자의 입장에서는 그러한 경험을 할 일은 없을 것이라고 여겨지고 있다<ref>{{서적 인용|last=Phillips|first=George|title=Mathematics Is Not a Spectator Sport|publisher=[[슈프링어]]|date=2005|chapter=Preface|isbn=0387255281|url=http://books.google.com/books?id=psFwdN6V6icC&pg=PR7&lpg=PR7&dq=there+is+nothing+in+the+world+of+mathematics+that+corresponds+to+an+audience+in+a+concert+hall,+where+the+passive+listen+to+the+active.+Happily,+mathematicians+are+all+doers,+not+spectators.&source=web&ots=GBNplD5Kl9&sig=k3_W0DQ5LM7UCD_6Xw7RBdYuSto&hl=en&sa=X&oi=book_result&resnum=1&ct=result|accessdate=2008-08-22|quote= '연주를 수동적으로 듣는 콘서트 홀의 청중의 환희에 대응하는 것은 수학의 세계는 아니다.행운의 일로 수학자는 모두 능동적이며, 관객은 아니다.'}}</ref>. [[버트런드 러셀]]은 이를 수학의 '''어려운 미'''로 칭하고 있다.

== 미로부터의 재발견 ==
수학적 미는, 그 미라는 결과만으로 평가할 수 없다.
수학적 미를 추구하는 것은 새로운 사실의 발견의 계기가 되는 것은 드문 것은 아니다.
물리학자 [[폴 디락]]은 과학자가 취해야 할 행동에 대해 이렇게 말하고 있다<ref>Paul Adrian Maurice Dirac, "The relation between mathematics and physics (James Scott Prize Lecture)," Proc. Roy. Soc. (Edinburgh), Vol. 59, pp. 122-129, 1939.</ref>.
: '수학적 미를 가지는 이론은 실험적 데이터에 적합하는 보기 흉한 이론보다 더 확실한 것 같다. 신은 최고 다음 수학자이며, 삼라만상을 창조하기 위해서 매우 고도의 수학을 이용했다.'
즉, 이러한 양자택일을 재촉당했을 때에는 수학적 미를 가지는 이론을 선택하라, 문지르면 그것은 신이 창조한 진리에 가까워져, 새로운 진리의 발견에 연결된다는 훈시이다.
== 미와 철학 ==
[[파일:Kepler-solar-system-1.png|250 px |섬네일| '''철학적 해석에 의한 미'''의 일례: [[요하네스 케플러]] 초기의 다면체 태양계 모형.]]
[[파일:Kepler-solar-system-2.png|250 px |섬네일|다면체 태양계 모형로의 태양의 근방.]]
수학자의 몇 할은 수학이라는 학문에서 이루어지는 것은 '발명'보다 '발견'에 가깝다는 의견을 가지고 있다. 그러한 수학자는 상세하고 정확한 수학의 결론은 현세에는 의존할리가 없는, 보편의 진리로서 다루어지는 것이라고 생각하고 있다. 예를 들면, [[자연수]]의 이론은 특정의 전제를 필요로 하는 일 없이, 보편적으로서 유효한 것으로 의의는 주창하지 않는다. 어느 경우가 [[신비주의]]가 되어도, 수학자는 수학적 미는 진리라는 관점을 연장한다.

[[피타고라스]]와 [[피타고라스주의]]의 철학 학교는 문자 그대로의 수에 관한 진실성을 믿고 있었다. 두 개의 [[자연수]]의 비로서 표현할 수 없는 수의 존재는 자연스럽게 등지는 것이라고 생각하고 있던 그들에게 [[무리수]]의 존재의 발견은 큰 쇼크였다. 현대의 견해로는 피타고라스의 수에 관한 신비적인 취급은 수학자에 의한 것이라기보다는 [[수비술자]]에 의한 취급이라고 생각되고 있다. 피타고라스의 불충분하게 세련된 세계에서 결여하고 있던 것은 자연수의 비의 무한수열의 극한, 즉 현대의 [[실수]]에 관한 개념이다.

[[플라톤]]의 철학에서는 두 개의 세계, 즉 우리가 사는 물리적 세계, 그리고 수학을 포함한 보편의 진리를 가지는 개념적 세계가 있다. 그는 물리적 세계는 한층 더 완전한 개념 세계의 단순한 투영상이라고 믿고 있었다.

[[갈릴레오 갈릴레이]]는 모든 현대 물리학의 수학적 기반과 정합하는 일문으로서 '수학은 신이 창조한 세계를 설계하기 위해서 이용한 언어이다'라고 주장했다.

[[헝가리]]의 수학자, [[에르되시 팔]]은 무신론자이지만, '신이 가장 아름다운 수학적 증명을 내리 쓴 상상의 서적이 있다'라고 생각하고 있다. 에르되시가 개별의 증명의 평가가 요구되었을 때, '그 신의 서적이 근거다! ([[:en:Proofs from THE BOOK|from The Book]]!)'라고 절규했다. 이 세상을 신이 창조했을 때의 법칙에 관한 근원적인 진실의 발견으로서 수학은 [[신]]이라는 다른 종교에 대해 의인화되었지만 자연스러운 후보이다.

20세기의 프랑스의 철학자 [[알랭 바디우]]는 [[존재론]]은 수학이라고 주장한다. 바디우는 수학, 시, 그리고 철학의 사이의 깊은 연결을 믿고 있다.

얼마인가의 경우로는 자연철학자와 수학을 번용하는 다른 과학자는, 미와 물리적 진실한 동안의 비약적인 예상을 만들었지만, 진실하지 않은 것이 밝혀진 것도 있다. 예를 들면, [[요하네스 케플러]]는 그의 생애에서, 당시 알려져 있던 [[태양계]]의 혹성의 궤도의 균형성은, 5개의 [[정다면체|플라톤 입체]]의 배열로부터 신이 구성해, 각각의 궤도는 하나의 다면체에 외접 한편 다른 다면체에 내접하는 구 상에 있다고 믿고 있었다. 플라톤 입체는 확실히 5개 있어, 케플러의 가설은 6개의 혹성 궤도에만 적합하는 것이며, 후의 [[천왕성]]의 발견에 의해서 부정된다.

[[수리철학#수학의 미학|수리철학]]도 참조.
== 미와 수리 정보이론 ==
[[파일:Mandel zoom 00 mandelbrot set.jpg|오른쪽|260px|섬네일|가시화된 '''잠재적인 미'''의 일례: [[프랙털 이론]]성을 가지는 [[망델브로 집합]]의 전체상의 가시화.]]
1970년대, [[아브라함 모레스]]와 [[프리다 네이크]]는 미와 [[정보처리]], [[정보이론]]의 사이의 관계를 조사했다<ref>[[:en:Abraham Moles|A. Moles]]: ''Théorie de l'information et perception esthétique'', Paris, Denoël, 1973 ([[:en:Information Theory]] and aesthetical perception)</ref><ref>[[:en:Frieder Nake|F Nake]] (1974) . Asthetik als Informationsverarbeitung. ([[:en:Aesthetics]] as [[:en:information processing]]). Grundlagen und Anwendungen der Informatik im Bereichasthetischer Produktion und Kritik. Springer, 1974, {{ISBN|3211812164}}, {{ISBN|9783211812167}}</ref>.
1990년대에서는, [[유진 슈미트후벨]]은 [[알고리즘적 정보이론]]에 근거하는 관찰자 의존의 주관적인 미에 관한 수학적 이론을 정식화해, 주관적으로 대항한 대상간으로의 가장 아름다운 것은 그 관측자가 가지는 사전 지식에 관련하는 짧은 [[알고리즘]] 표현을 가진다고 했다<ref>[[:en:Jürgen Schmidhuber|J. Schmidhuber]]. [[:en:Low-complexity art]]. Leonardo, Journal of the International Society for the Arts, Sciences, and Technology, 30(2): 97–103, 1997. http://www.jstor.org/pss/1576418</ref><ref>[[:en:Jürgen Schmidhuber|J. Schmidhuber]]. Papers on the theory of beauty and [[:en:low-complexity art]] since 1994: http://www.idsia.ch/~juergen/beauty.html</ref><ref>[[:en:Jürgen Schmidhuber|J. Schmidhuber]]. Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity. Proc. 10th Intl. Conf. on Discovery Science (DS 2007) p. 26-38, LNAI 4755, Springer, 2007. Also in Proc. 18th Intl. Conf. on Algorithmic Learning Theory (ALT 2007) p. 32, LNAI 4754, Springer, 2007. Joint invited lecture for DS 2007 and ALT 2007, Sendai, Japan, 2007. http://arxiv.org/abs/0709.0674</ref>.
슈밋드후벨은 미와 흥미를 명시적으로 구별하고 있다.

후자의 흥미는 주관적으로 지각한 미의 [[미분|1층 미분]]에 대응해, 관측자는 [[반복]], [[대칭성]], [[프랙털 이론]] [[자기닮음]]성과 같은 질서의 발견에 의한 관측 결과의 [[추측성]]과 [[압축성]]을 계속 개량하고 있다.
계속 관측 사상이 전혀 없었던 것 같은 소량의 [[정보량]]으로 기술할 수 있도록, 관측자의 학습 과정 (인공 [[뉴럴 네트워크|신경 회로망]]의 예측과 같은)이 개량 데이터 압축을 가져올 때마다, 압축 과정에 대응하는 데이터에의 일시적인 흥미를 가져와, 관측자에게 내재하는 호기적인 보수에 비례한다<ref>[[Jürgen Schmidhuber|J. Schmidhuber]]. Curious model-building control systems. International Joint Conference on Neural Networks, Singapore, vol 2, 1458□1463. IEEE press, 1991</ref><ref>Schmidhuber's theory of beauty and curiosity in a German TV show: http://www.br-online.de/bayerisches-fernsehen/faszination-wissen/schoenheit--aesthetik-wahrnehmung-ID1212005092828.xml {{웨이백|url=http://www.br-online.de/bayerisches-fernsehen/faszination-wissen/schoenheit--aesthetik-wahrnehmung-ID1212005092828.xml |date=20080603221058 }}</ref>.

예를 들면, 복소수열의 극한의 존재·발산성의 문제는 옛부터 논의되고 있었지만, 방대한 계산량을 필요로 하는 그 전모 해명에는 [[컴퓨터]]의 계산 속도의 발달을 기다릴 필요가 있었다.
특히 [[브누아 망델브로]]는 어떤 종류의 복소수열로의 이 문제의 거동에 대해 연구해, [[프랙털 이론]]성·[[자기닮음]]성이라는 매우 기묘한 행동을 가지는 [[망델브로 집합]]을 발견했다.
[[프랙털 이론]] [[기하학]]이나 [[혼돈 이론]]을 소재로 한 이러한 시각화 영상은, 수학과 [[컴퓨터 과학]]·[[수리 정보이론]]의 경연에 의한, 수학이 가지는 '''잠재적인 미'''의 가시화라고 할 수 있다.
이것은 차절로 말하는 [[디지털 아트]]의 발전의 방아쇠의 하나가 되는 것과 동시에, 직접적은 아니라도 수리 정보이론, 특히 정보 압축의 진전에의 자극이 된 것은 특필할 수 있다.
== 일본에서 ==
일본에서는, [[수학 세미나#우아한 해답도 풍부하는|전문지 '수학 세미나'의 '우아한 해답도 풍부하다'라는 코너]]가 장기에 걸쳐 '우아한 해' ('미'와 닮은 개념이라고 말할 수 있을 것이다)를 취급하고 있다.
== 수학과 예술 ==
{{듣기|filename=DescenteInfinie.ogg|title=시파드토 (무한 음계)의 예|description=|format=[[:en:Ogg!-- [[:ja:Ogg]] とリンク --]]}}
[[파일:Aphrodite_of_Milos.jpg|260 px|섬네일|황금비가 찾아내진다고 여겨지는 [[미로의 비너스]]]]
[[파일:Mandel zoom 14 satellite julia island.jpg|260 px|섬네일|'''표현의 미'''의 일례: [[줄리아 집합]]]]
수학에서의 [[미학]]의 [[심리]]는, [[통합 심리학]]에서의 [[피에로 페룻치]]의 실적인 [[정신 해석학]] 이후의 수법, [[인지 심리학]] ([[셰퍼드 톤]] (무한 음계)에서의 [[자기닮음]]을 이용한 [[착각]]의 연구), 미학적 평가의 [[신경 심리학]], 등에서 연구되고 있다.
이들은 단지 수학의 예술에의 응용으로서만이 아니고, 수학이 가지는 미를 보다·듣다·느끼다라는 방법에 따르는 표현, 즉 '''표현의 미'''를 가져온다.
덧붙여 이들은 단지 수학을 이용한 예술로서 취급해야 할 것이 아니고, 수학의 심층미가 거기에 존재하는 것이 중요할 것이다.
몇 개의 예술 분야에서의 수학적 미의 예를 이하에 나타낸다.
; 음악
[[이안니스 크세나키스]]의 [[확률적 음악]], [[요한 세바스찬 바흐]]의 [[대위법]], [[이고리 스트라빈스키]]의 [[봄의 제전]]과 같은 [[폴리 리듬]]적 구조, [[엘리엇 카터]]의 [[:en:Metric modulation|Metric modulation]], [[아르놀트 쇤베르크]]의 [[12음주의]]로의 [[순열]], 그리고 [[카를하인츠 슈토크하우젠]]의 [[:en:Hymnen|Hymnen]]에서의 shepherd 톤의 응용 등.
; 무용방법
[[상훌 (카드)|상훌]]은 ''Temple of Rudra'' ([[오페라]])에서의 [[무용]] 방법에 적용되고 있다.
; 미술
미술 속으로의 현저한 일례는 [[황금비]]이다. 미술 작품에서의 대상물의 형태, 구도, 등에서 안정성의 하나의 근거로서 이용되고 있다. 이것이 수학적인 정의에 의한 황금비의 수입에 의하는 것인에 해라, 결과적으로 미술 작품으로부터 황금비가 찾아내진 것인에 해라, 수학과 미술의 관련성을 나타내는 의미가 있는 예이다. 이러한 안정성을 주는 다른 예로서 [[백은비]], [[피보나치 수]]가 있다.
; 비주얼 아트
[[혼돈 이론]]과 [[프랙털 이론]] [[기하학]]의 [[디지털 아트]]에의 응용, [[레오나르도 다 빈치]]의 [[대칭성]]의 연구, [[르네상스]] 미술의 [[원근법]]의 개발에서의 [[사영기하학]], [[옵아트]]로의 [[구라두]], [[잘밧티스타 젯라 포르타]]의 [[카메라 옵스큐라]]로의 광기하학, 해석적인 [[입체파]]와 [[미래파]] 등.
== 같이 보기 ==
* [[서술적 과학]]
* [[규범적 과학]]
* [[수리철학]]
* [[수학과 건축]]
* [[심미]]
* [[미학]]
* [[예술]]
* [[발견법]]
* [[황금비]]
* [[백은비]]
* [[4색정리]]
* [[미학회]]
* [[예술학]]

== 각주 ==
{{각주}}
== 참고 문헌 ==
* [[:en:Martin Aigner|Aigner, Martin]], and [[:en:Gunter M. Ziegler|Ziegler, Gunter M.]] (2003), ''[[:en:Proofs from THE BOOK]],'' 3rd edition, Springer-Verlag.

* [[:en:Subrahmanyan Chandrasekhar<!-- [[:ja:スブラマニアン·チャンドラセカール]] とリンク -->|Chandrasekhar, Subrahmanyan]] (1987), ''Truth and Beauty: Aesthetics and Motivations in Science,'' University of Chicago Press, Chicago, IL.

* [[:en:Jacques Hadamard<!-- [[:ja:ジャック·アダマール]] とリンク -->|Hadamard, Jacques]] (1949), ''The Psychology of Invention in the Mathematical Field,'' 1st edition, Princeton University Press, Princeton, NJ. 2nd edition, 1949. Reprinted, Dover Publications, New York, NY, 1954.

* [[:en:G.H. Hardy|Hardy, G.H.]] (1940), ''A Mathematician's Apology'', 1st published, 1940. Reprinted, [[:en:C.P. Snow<!-- リダイレクト先の'[[:en:C. P. Snow]]'は、[[:ja:チャールズ·パーシー·スノー]] とリンク -->]] (foreword), 1967. Reprinted, Cambridge University Press, Cambridge, UK, 1992.

* [[:en:Paul Hoffman (science writer)|Hoffman, Paul]] (1992), ''[[:en:The Man Who Loved Only Numbers]]'', Hyperion.

* [[:en:H.E. Huntley<!-- 存在しない -->|Huntley, H.E.]] (1970), ''The Divine Proportion: A Study in Mathematical Beauty'', Dover Publications, New York, NY.

* [[:en:Elisha Scott Loomis|Loomis, Elisha Scott]] (1968), ''The Pythagorean Proposition'', The National Council of Teachers of Mathematics. Contains 365 proofs of the Pythagorean Theorem.

* [[:en:H.-O. Peitgen<!-- 存在しない -->|Peitgen, H.-O.]], and [[:en:P.H. Richter<!-- 存在しない -->|Richter, P.H.]] (1986), ''The Beauty of Fractals'', Springer-Verlag.

* Strohmeier, John, and Westbrook, Peter (1999), ''Divine Harmony, The Life and Teachings of Pythagoras'', Berkeley Hills Books, Berkeley, CA.

* {{인용
| last = Rota
| first = Gian-Carlo
| author-link = Gian-Carlo Rota
| title = The phenomenology of mathematical beauty
| year = 1977
| journal = Synthese
| volume = 111
| issue = 2
| pages = 171–182
| doi = 10.1023/A:1004930722234
}}
* {{인용
| last1 = Monastyrsky
| first1 = Michael
| title = Some Trends in Modern Mathematics and the Fields Medal
| journal = Can. Math. Soc. Notes
| year = 2001
| volume = 33
| issue = 2 and 3
| url = http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf
}}

== 외부 링크 ==
* [http://www.cut-the-knot.org/manifesto/beauty.shtml Is Mathematics Beautiful?] {{언어링크|en}}
* [https://web.archive.org/web/20061101224549/http://www.madras.fife.sch.uk/maths/linksbeauty.html Links Concerning Beauty and Mathematics] {{언어링크|en}}
* [https://web.archive.org/web/20061023120828/http://www.chemistrycoach.com/science_mathematics_and_beauty.htm Mathematics and Beauty] {{언어링크|en}}
* [https://web.archive.org/web/20031004103933/http://users.forthnet.gr/ath/kimon/ The Beauty of Mathematics] {{언어링크|en}}
* [http://www.justinmullins.com/ Justin Mullins] {{언어링크|en}}
* [http://www.the-athenaeum.org/poetry/detail.php?id=80 Edna St. Vincent Millay (poet): ''Euclid alone has looked on beauty bare''] {{언어링크|en}}
* [http://creativelab.org.ua/eng/index_eng.htm The method for transformation of music into an image through numbers and geometrical proportions] {{언어링크|en}}
* [[:en:Terence Tao<!-- [[:ja:テレンス·タオ]] とリンク -->|Terence Tao]], [http://arxiv.org/pdf/math/0702396.pdf ''What is good mathematics?''] {{언어링크|en}}

{{미학}}

{{전거 통제}}

[[분류:미학]]
[[분류:미]]
[[분류:초등 수학]]
[[분류:수리철학]]
[[분류:수학 용어]]
[[분류:수학과 예술]]