논리학 관련 위키피디아,nLab 돌아다니면서

[1+1=2(lsc4719)]

궁금해진것들!

0. Homological Algebra -> 무슨말인지 모르겠음

1. zfc -> ...

2. 커리-하워드 대응 -> ?

- dc official App

[익명(112.151)]

nLab 겁나어려움 저거 이해하려면 카테고리이론 겁나잘알아야하는듯 모든게 카테고리이론관점에서 서술하는거라... 나도 nLab 보다가 개같아서 때려치움

[익명(112.151)]

ZFC -> 가장 스탠다드한 집합론 공리계

[익명(112.151)]

커리-하워드 대응 => 형식증명체계와 (함수형)프로그래밍을 연관시켜주는거라고 할수있는데 관심있으면 Coq을 배우거나 타입이론을 공부하셈

[익명(112.151)]

호몰로지 대수 관련 참조할만한글
https://freshrimpsushi.tistory.com/1232

[익명(223.38)]

님 보면 수학의 기본 개념을 모르는 거 같은데 일단 학부 1,2학년 수학부터 공부하세요

[1+1=2(lsc4719)]

수학의 기본 개념이 먼가요 ㅇㅅㅇ