• Title/Summary/Keyword: 변항다루기

Search Result 1, Processing Time 0.014 seconds

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

  • Lee, Gyesik
    • Korean Journal of Logic
    • /
    • v.20 no.1
    • /
    • pp.97-112
    • /
    • 2017

  • We discuss Frege's influence on the modern practice of doing mathematical proofs. We start with explaining Frege's notion of variables. We also talk of the variable binding issue and show how successfully his idea on this point has been applied in the field of doing mathematics based on a computer software.

  • PDF