Twins ¶
https://ncatlab.org/nlab/show/judgment
{
2023-11-02 첫 문장
명제proposition=명제,proposition에 대한
{
2023-11-02 첫 문장
명제proposition=명제,proposition에 대한
- assertion =,assertion { Sub: conditional_assertion \ assertion assertion 단언,assertion? 주장,assertion? (similar: 주장,claim) } (Russell, Whitehead)
- validation =,validation validation { validation validation 검증,validation? 확인,validation? 입증,validation? (similar: 확인,confirmation ... ) } (Kochen) validation validation
- 그래서 명제의 증명,proof의 claim claim =,claim . claim { claim claim 주장,claim? } (또는 심지어 specification specification 명세,specification? ) (Church)
}
pagename ¶
from https://en.dict.naver.com/#/entry/enko/75ff4493194d48b8b2104818101a55c3
판단, 심판, 심사, 감정, 평가; 추정
보면 pagename 판단이 가장 적절해 보임.
cf. 뒤 세 단어는 여기 RR에선
judgment = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=judgment
{(2023-11) 에는 한 개: "judgment sample 유의표본, 판단추출법" 밖에 없어 도움이 안 되었음}
판단, 심판, 심사, 감정, 평가; 추정
보면 pagename 판단이 가장 적절해 보임.
cf. 뒤 세 단어는 여기 RR에선
judgment = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=judgment
{(2023-11) 에는 한 개: "judgment sample 유의표본, 판단추출법" 밖에 없어 도움이 안 되었음}