Proof

[heejbin]

Your work

증명을 통해 가장 기본적인 공리를 토대로 마치 젠가 탑을 쌓듯 수학적 논리를 체계적으로 확장하는 경이로움을 시각화한 이미지입니다.

이름 Your Name

빈희진

사용한 도구 Tool You Used

Gemini Nano banana

Long Description (up to 3 sentences)

제가 Lean을 사용하며 느낀 증명의 경이로움을 담아내려고 노력한 이미지입니다. Lean Game Server의 맨 첫 단계에서는 가장 단순하고 자명한 진리인 rfl이라는 젠가 블럭 하나로 시작했지만, 그 블록 위에 다음 블록을 올리고, 그 다음 블록을 올리면서 기존에 증명한 것들(아래 블록들)이 논리적 토대가 되어 점점 더 복잡하고 거대한 진리의 구조물을 쌓아 올릴 수 있었습니다. 수학이라는 거대한 학문이 사실은 이렇게 소수의 근본적인 진리 위에 체계적으로 구축된 탑이었다는 것을 깨닫게 해준 소중한 경험이었으며, 앞으로도 이 젠가 탑을 계속해서 높이 쌓아 올리며 더 많은 진리를 발견하고 싶습니다.

This image is my attempt to capture the wonder of proof that I felt while using the Lean proof assistant.
In the very first stage of the Lean Game Server, I started with just one Jenga block—the simplest, self-evident truth, rfl (reflexivity). However, as I placed block upon block, the previously proven concepts (the lower blocks) became the logical foundation, allowing me to build an increasingly complex and vast structure of truth, much like a growing Jenga tower.
It was a valuable experience that made me realize that the immense subject of mathematics is actually a tower systematically constructed upon a small number of fundamental truths. I hope to continue building this Jenga tower higher and higher, discovering even more truths in the future.

[KihongHeo]

증명 나무를 젠가로 표현했군요. 좋습니다.
좀 더 멀리 떨어진 두 점을 이어보면 어떨까요? 증명이란 우리 일상의 무엇과 연결이 될 수 있을까요? 남들이 미처 보지 못한 희진씨만의 연결 고리는 무엇인가요?

[heejbin]

당장은 답이 떠오르지 않는 어려운 질문인 것 같습니다.. 앞으로 더 배워나가면서 생각해보겠습니다!