(2023-11-01)
- 범자연수 ? '범자연수' = whole number = 0을 포함한 자연수 ...라는 서술들이 보이는데 reliable src? (근데 애초에 whole number란 표현 자체가 모호하므로 적어도 영어 표현은 항상 성립되지 않는다. 일례로 whole_number찾아보니 정수,integer와 동의어로 서술해놓음. … etc.) 일단 2023년 현재로선 모호성,ambiguity을 없애기 위해선 nonnegative integer라고 하거나 0을 포함한다/안한다는 명시가 필수인 듯 함.
- counting_number counting number 란 표현도 자연수와 거의 동의어 같은데... 애초 자연수 개념 발생 자체가 셈,counting과 밀접하니?
2024-02-15 tmp from https://youtu.be/PpSxqde0af4?si=rQ6swSfVqxU9ajqu&t=67
∀ 전칭기호universal_quantifier
S 석세서,successor - successor_function
- ∀x ¬(S(x)=0)
- ∀x ∀y ( (S(x)=S(y)) → (x=y) )
- ∀x (x+0=x) // additive_identity 덧셈,addition 항등원,identity_element
- ∀x ∀y ( x+S(y) = S(x+y) )
- ∀x (x0 = 0) // 영,zero 곱셈,multiplication
- ∀x ∀y (x*S(y) = x*y+x)
- [φ(0) ∧ ∀x( φ(x)→φ(S(x)) )] → ∀x φ(x)
∀ 전칭기호universal_quantifier
S 석세서,successor - successor_function
S(0)=1
S(1)=S(S(0))=2
S(2)=S(S(S(0)))=3
φ qqqS(1)=S(S(0))=2
S(2)=S(S(S(0)))=3
자연수 공리?? chk... via Giuseppe_Peano
예를들어
a+1
a+1
= a+S(0) // by definition
= S(a+0) // using 4.
= S(a) // using 3.
= S(a+0) // using 4.
= S(a) // using 3.
MKL ¶
정수론,number_theory
소수,prime_number
디바이저,divisor
팩터,factor
나눗셈,division
페아노_수,Peano_number =페아노_수,Peano_number =,Peano_number 페아노_수 Peano_number
modular_arithmetic - curr at 산술,arithmetic
영,zero
하나,one
둘,two
셋,three
넷,four
다섯,five
여섯,six
일곱,seven
여덟,eight
아홉,nine
열,ten
열하나,eleven
열둘,twelve
...
소수,prime_number
디바이저,divisor
팩터,factor
나눗셈,division
페아노_수,Peano_number =페아노_수,Peano_number =,Peano_number 페아노_수 Peano_number
modular_arithmetic - curr at 산술,arithmetic
영,zero
하나,one
둘,two
셋,three
넷,four
다섯,five
여섯,six
일곱,seven
여덟,eight
아홉,nine
열,ten
열하나,eleven
열둘,twelve
...