[일반] 기하학(위상) 분야에서 수리논리학은 어떻게 사용됨?

[익명(106.241)]

프레시맨인데 논리학에 관심이 많아서 물어보니 기하학 분야에 수업이 속해있더라고

[카카오M(kakaothh)]

geometric logic 같은 이름이 있다 들었고 topos나 logos 정도 가면 이어진다 듣긴 했는데 그거 시제로 연구하는 사람은 전세계에서 몇 안될듯 - dc App

[익명(106.241)]

즉... 깜깜한 동굴 노다지란거노.. 너로 정했다..

[수갤러 2(143.248)]

가면 죽을수도 있다는 뜻

[수갤러 3(76.139)]

참고로 내가 들어봤던 이름은 Andre Joyal, Ieke Moerdijk정도인데, topos랑 로직 같이 검색하면 좀더 많이 나오긴 할듯

[수갤러 1(172.225)]

서두르지 말고 인기가 없는 이유도 알아 보고 선택해

[익명(106.241)]