• 제목/요약/키워드: Beliefs about proof

검색결과 3건 처리시간 0.015초

Using ChatGPT as a proof assistant in a mathematics pathways course

  • Hyejin Park;Eric D. Manley
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제63권2호
    • /
    • pp.139-163
    • /
    • 2024
  • The purpose of this study is to examine the capabilities of ChatGPT as a tool for supporting students in generating mathematical arguments that can be considered proofs. To examine this, we engaged students enrolled in a mathematics pathways course in evaluating and revising their original arguments using ChatGPT feedback. Students attempted to find and prove a method for the area of a triangle given its side lengths. Instead of directly asking students to prove a formula, we asked them to explore a method to find the area of a triangle given the lengths of its sides and justify why their methods work. Students completed these ChatGPT-embedded proving activities as class homework. To investigate the capabilities of ChatGPT as a proof tutor, we used these student homework responses as data for this study. We analyzed and compared original and revised arguments students constructed with and without ChatGPT assistance. We also analyzed student-written responses about their perspectives on mathematical proof and proving and their thoughts on using ChatGPT as a proof assistant. Our analysis shows that our participants' approaches to constructing, evaluating, and revising their arguments aligned with their perspectives on proof and proving. They saw ChatGPT's evaluations of their arguments as similar to how they usually evaluate arguments of themselves and others. Mostly, they agreed with ChatGPT's suggestions to make their original arguments more proof-like. They, therefore, revised their original arguments following ChatGPT's suggestions, focusing on improving clarity, providing additional justifications, and showing the generality of their arguments. Further investigation is needed to explore how ChatGPT can be effectively used as a tool in teaching and learning mathematical proof and proof-writing.

전주시 덕진공원의 장소성 (The Placeness of Deokjin Park in Jeonju City)

  • 김연금;성종상
    • 한국조경학회지
    • /
    • 제33권3호
    • /
    • pp.65-77
    • /
    • 2005
  • Deokjin Park in Jeonju City was the site of a pond during the Koryo Period. Although Jeonju City has developed rapidly in modem times, Deokjin Pond was preserved and was developed into a park It can be theorized that Deokjin Pond's latent character has made it possible for it to adapt to the changes it has undergone throgh the years. In this study, the placeness of Deokjin Park is determined by examining its role in the adaptation process. Placeness can be determined by examining the objective character of a certain environment and the subjective experience related to it. For this paper, documents about the history of Deokjin Park were examined so that the facts related to it could be established. In addition, a number of Jeonju citizens were asked about their memories of Deokjin Park since memories reveal people's subjective experiences. The results of this study can be summarized as follows. Deokjin Pond is an ideal space for Feng Shui. It is a holy place because the tomb of the founder of the Chosun Dynasty is close to it. In addition, it has scenic value as it is part of the Jeonju Palkyoung (eight sceneries). To this day, we can see people washing their hair in the pond, proof that Deokjin Pond is still the subject of folk beliefs. When Korea was under Japanese rule, Deokjin Pond became Deokjin Park because of its ideal location, scenic value, and grand possibilities as an amusement center. Over the years, though its scenic value decreased after the death of its pine trees. Jeonju City, however, was able to revive the park's charm though a series of renovation projects and through the addition of several facilities. Deokjin Park is now surrounded by many cultural buildings. The significance of Deokjin Park can be expected to evolve with these changes. This study helps to predict the future of Deokjin Park and to elucidate the importance of landscape architecture from the point of view of an "evolving place."

찰스 S. 퍼스와 마이클 폴라니의 회의론과 믿음(belief)에 대한 비교 연구 (Against Skepticism: Doubt and Belief in C. S. Peirce and Michael Polanyi)

  • 김동주
    • 기호학연구
    • /
    • 제54호
    • /
    • pp.7-36
    • /
    • 2018
  • 마이클 폴라니의 암묵적 지식이라는 개념은 비판철학 전통 안에서 과학적 객관성이 철학적 사유를 제한하고 있다는 취지에서 나온 것으로, 사회 속에서 살아가는 사람들이 명시적으로 증명되어 학습한 지식 이외에도 의미의 영역에 묻혀 살고 있음을 강조한 개념이다. 특히, 한 사회 안에서 사람들이 공유하고 있고 증명의 대상으로 판단되지 않아서 언변으로 표면화하지 않는 지식을 그는 암묵적 지식이라고 규정하였다. 이 개념을 통해 폴라니는 비판철학 전통 안에서의 의심과 회의의 역할이 시공간적 맥락에 따라 변화함을 지적하고 비판철학을 극복한 포스트-비판철학을 구상하였다. 퍼스도 근본적인 회의가 가능하지 않음을 지적하면서 데카르트를 비판했으며, 의심과 믿음의 관계에 대한 고찰을 통해 인식의 확실성이 어디에서 오는지 탐구하였다. 이 논문은 퍼스와 폴라니의 반회의론적 입장을 비교하여 공통점과 차이점을 분석하고, 퍼스가 과학철학뿐만 아니라 과학사회학의 영역에서도 중요한 의미를 가짐을 강조한다. 폴라니의 철학적 사유는 자신의 경험에 대한 사회학적 분석에서 출발하는 것에 비해, 퍼스의 가추법은 논리학과 수학에 바탕을 두고 엄밀한 인식과 사유에 초점을 맞추고 있는 것으로 보인다. 그러나, 퍼스의 믿음과 습관에 대한 고찰을 세부적으로 살펴보면 믿음과 습관에 대한 설명에서 퍼스도 과학적 탐구의 과정을 사회적으로 파악하고 있다는 점을 발견할 수 있다. 폴라니는 과학적 인식이 명확한 원칙이나 엄밀함으로만 가능하지는 않다는 입장을 가지고 있으며, 자연과학 분야 과학자들의 공동체에 대한 구체적인 논의를 중심으로 자신의 이론을 펼친다는 점이 퍼스와의 가장 큰 차이점이다. 퍼스는 당시까지의 논리학과 수학에 대한 비판과 자신이 정의한 가추법을 지속적인 탐구의 과정과 과학자들의 공동체에 적용했으나, 폴라니는 현실 공동체에서 시작한 암묵적 지식의 개념을 충분히 발전시키지 못하고 개인적 지식이라는 영역 자체의 사회적 구조와 함의를 모호하게 남겨둔 한계를 가지고 있다.