1+1
2
4/2
짝수인 소수
이중에서 같은 것은?
[일반] 나도 예전에 같은게 뭔지 생각해봤었는데
익명(119.203)
2019-01-11 22:39
추천 0
댓글 17
다른 게시글
-
너드파티 같은 것은 정말로 같은가 이거 뭔내용임? [5][일반] 익명(119.203) | 19.01.11추천 0
-
너네 주변애들은 어느분야 많이팜?[일반] 익명(223.38) | 19.01.11추천 0
-
이과적 감수성은 수학 vs 물리학 어느쪽에서 더 많이 느껴짐? [5][일반] 익명(1.11) | 19.01.11추천 0
-
영국유학은 돈많이깨지냐 [2][일반] 익명(223.38) | 19.01.11추천 1
-
쉬불 foundational crisis가 한번 더 터저야 함 [7][일반] ㅇㅅㅇ(49.174) | 19.01.11추천 0
-
현대수학에서 미적분이 안 쓰이는 분야가 있음? [1][일반] 익명(59.20) | 19.01.11추천 1
-
너드파티(?) 세미나 목록좀 알려줘바 [2][일반] 익명(117.111) | 19.01.11추천 0
-
자기전에 문제풀고가요 춍춍~~ [11][일반] 3ears0hair(110.70) | 19.01.11추천 0
-
"호의 길이가 중심각의 정비례한다"의 엄밀한증명이 궁금해요 [7][일반] 익명(115.21) | 19.01.11추천 0
-
수학글 오늘 공부한것 [1][일반] 익명(223.38) | 19.01.11추천 0
다 다름
왜?
이름이 다르잖음
1이랑 1은 다름 한개는 앞에 썻고 한개는 뒤에 써서
언어랑 구조랑 이론에 따라 달라지기도 함!
이라는게 내 생각인데 사실 뭐가 같냐 아니냐 이런걸 결정해주는게 중요한듯
왜 니네 아이피가 비슷하냐 둘이 이웃사촌임?
헉 아이피 신기하네 그럼 어떤 대상은 그 메타언어가 달라지면 다른 대상임?
근데 언어가 달라지는 건 상관없네 생각해보니
equality의 정의에 따라 달라지는 경우가 나올 수도... 있으려나?
근데 진짜 intensional/definitional/등등 equality가 서로 동의하지 않는 구조가 나올 수 있나
일단 논리에서는 보통 FOL+equality를 쓰고 without equality에서도 equality는 한가지로밖에 정의안되지않나
꼭 axiomatic여야 할 필요가 없다면 definitional set theory 같은 곳에서 복수의 equality structure를 부여 하는 경우도 본적 있긴 한데... 마이너 분야의 마이너 텍스트에서 본거라 진짜 그런 구조가 모순 없이 정의 가능한건지도 모르겠다
음 어떻게 그렇게 하는지 상상도 안 가네~ 혹시 그 마이너 텍스트가 뭔지 알려줄 수 있음? 급 관심간다
ETCC 관련한 노츠였는데, 제목이 기억 안나서 좀 찾아보고 옴
이분도 상당한 실력을 소유하고 계시는구만
응! 혹시 찾으면 알려줘!