Yeonhong Kim(김연홍)

텍쟁이

Picture 1:Association for Less Walking(덜 걷기 협회, 2024. 12. 7)


Interests

Main interests

Forcing, substructural logic, fuzzy logic + mammals, birds, and water bears.

Hobbies

German idealism, critical theory, formal argumentation, computability, type theory, category theory, birdwatching.


Curriculum Vitae

2019.2: B.A. in Philosophy, Chonnam National University

2020-2021: Military Service, ROK Air Force

2025.8: M.A. in Philosophy, Jeonbuk National University


Thesis

Papers

그런 거 없다

Books

그런 거 없다

Conferences

Notes

Codes