• 제목/요약/키워드: 변항다루기

검색결과 1건 처리시간 0.014초

현대수학의 정형화에 대한 프레게의 영향 (Frege's influence on the modern practice of doing mathematics)

  • 이계식
    • 논리연구
    • /
    • 제20권1호
    • /
    • pp.97-112
    • /
    • 2017

  • 컴퓨터를 이용한 수학적 증명의 정형화는 현대수학의 중요한 연구도구로 활용되고 있다. 본 논문에서는 정형증명에 대한 프레게의 영향을 살펴본다. 이를 위해 자유변항과 구속변항을 정형증명에서 다룰 때 발생하는 문제를 설명한 후, 프레게의 Begriffsschrift에서 언급된 아이디어를 이용하여 변항을 정형적으로 다룰 수 있는 해결책을 소개한다.

  • PDF