1 |
G. Polya, How to solve it, New York: Doubleday, 1957.
|
2 |
W. C. Salmon, Confirmation, Scientific American 269 (1973), 75-83.
DOI
|
3 |
H. Shin, A Brief Survey of Zero-Knowledge Proofs, J. Korea Institute of Information Security and Cryptology 4 (1994), no. 2, 39-54.
|
4 |
H. Shin, A mathematical program for high schools of gifted students, In preparation.
|
5 |
H. Shin and I. Han, Mathematics Education for Gifted Students in Korea, A Regular Talk. ICME9, Tokyo, Japan (2000).
|
6 |
G. G. Szpiro, Kepler's Conjecture, Wiley, 2003.
|
7 |
R. Thom, "Modern" Mathematics: An Educational and Philosophic Error?, The American Scientist 59 (1971), no. 6, 695-699.
|
8 |
R. Thom, Modern mathematics: does it extist?, in Howson(Ed.), Development in Mathematical Education (1973), 194-209.
|
9 |
R. Wilson, Four Colors Suffice, Princeton, 2002.
|
10 |
G. J. Chaitin, Randomness and mathematical proof, Scientific American, May (1975), 47-52.
|
11 |
D. J. Chalmers, The Two-Envelope Paradox: A Complete Analysis?, http://www.u.arizona.edu/ chalmers/papers/envelope.html (2001).
|
12 |
C. Geer, Factoring uncertainty into retirement planning: The Monte Carlo Method, Fortune, January (1999).
|
13 |
S. Goldwasser, S. Micali and C. Rackoff, The knowledge complexity of interactive proof system, Proc. 17th Annual ACM Symposium on the Theory of Computing (1985), 291-304.
DOI
|
14 |
P. Hoffman, The Man Who Loved Only Numbers, Hyperion, New York(1998): 신현용 역. 우리 수학자 모두는 약간 미친 겁니다, 승산, 1999.
|
15 |
J. Horgan, The death of proof, The Scientific American 269 (1993), 92-103.
|
16 |
A. Jaffe and F. Quinn, Theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics, Bull. Amer. Math. Soc. 29 (1993), no. 2, 1-13.
DOI
|
17 |
R. Kapadia and M. Borovcnik (Eds.), Chance encounters: probability in education, Kluwer Academic Publishers, 1991.
|
18 |
E. Kranakis, Primality and Cryptography, B. G. Teubner (1986).
|
19 |
I. Lakatos, Proofs and Refutations, New York: Cambridge University Press, 1976.
|
20 |
K. S. Lee and H. Shin, Proofs for Gifted Students, J. Korea Soc. Math. Educ. Ser. F: Studies in Mathematical Education 6 (2001), 167-177.
|
21 |
E. McClintock and Z. Jiang, Spreadsheets: Powerful tools for probability simulations, Mathematics Teacher, October (1997).
|
22 |
E. Nagel and R. Newman, Godel's Proof, New York University Press, 1958.
|
23 |
J. A. Paulos, Innumeracy, Penguin Books, 1988.
|
24 |
신송임, 비형식적 정당화를 활요한 증명지도 사례 연구, 학국교원대학교 석사학위논문, 2004.
|
25 |
신현용, 영지식증명. 한국수학교육학회 뉴스레터 제 13권 제 4호, 서울 : 한국수학교육학회(1997), 23-25.
|
26 |
신형용.승영조 역, 무한의 신비, 승산, 2002.
|
27 |
신현용.최은주, 인지갈등에 의한 수학 영재교육, 수학교육학술지: 한국수학교육학회시리즈 F, 제5집, 서울:한국수학교육학회(2000), 155-163.
|
28 |
이충호 역, 이야기 파라독스, 사계절, 1990.
|
29 |
조영수.강주호, 선형형대수학 제2판, 경문사, 2004.
|
30 |
한인기.강인주, 삼각형 무게 중심의 증명에 관한 다양한 접근 방법들, 수학교육논문집: 한국수학교육학회시리즈 E, 제10집, 서울: 한국수학교육학회 (2000), 143-154.
과학기술학회마을
|
31 |
M. Agrawal, N. Kayal and N. Saxena, PRIMES is in P, IIT Kanpur preprint; http://www.cse.iitk.ac.in/news/primality.html (2002).
|
32 |
G. E. Andrews, The death of proof? Semi-rigorous mathematics? You've got to be kidding!, The Math. Intelligencer 16 (1994), no. 4., 16-18.
DOI
|
33 |
M. Atiyah et al., Responses to theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics, Bull. Amer. Math. Soc. 30 (1994), no. 2, 178-211.
DOI
|
34 |
L. Babai, Trading group theory for randomness, Proc. 17th Annual ACM Symposium on the Theory of Computing (1985), 421-429.
DOI
|
35 |
F. Bornemann, PRIMES is in P: a breakthrough for "Everyman", Notices Amer. Math. Soc. 50 (2003), no. 5, 545-552.
|
36 |
G. Brassard, D. Chaum and C. Crepeau, Minimum disclosure proofs of knowledge, J. Comput. System Sci. 37 (1988), no. 2, 156-289.
DOI
ScienceOn
|
37 |
R. Brunner, The telephone directory and probability, Mathematics Teacher, December (1997).
|
38 |
교육부, 제 7차 수학과 교육과정, 서울: 대한교과서주식회사, 1997.
|
39 |
대한수학교육학회, 증명지도, 제 38회 수학교육학 집중세미나 자료집, 2002.
|
40 |
대한수학교육학회, The Nature of Proof, 제 43회 수학교육학 집중세미나 자료집, 2004.
|
41 |
박병철 역, 페르마의 마지막 정리, 영림카디널, 1999.
|
42 |
박승안, 대수학과 암호학, 경문사, 1999.
|
43 |
박주희, 점진적 구성의 증명지도를 위한 학습자료 개발 연구, 한국교원대학교 석사학위논문, 2000.
|