24/12/14 11:16:50.87 jrnFCK3z.net
>>19
その通りだけど、0^0=1だと都合が良いので、実用上0^0=1としてるものも多いし、
未定義なので0^0=0だったりエラーだったりするものもある。
トポスで0^0=1が証明されたことで、今後は実用上こちらが多数派にはなるだろうが。
あくまで未定義。
24/12/14 11:16:50.87 jrnFCK3z.net
>>19
その通りだけど、0^0=1だと都合が良いので、実用上0^0=1としてるものも多いし、
未定義なので0^0=0だったりエラーだったりするものもある。
トポスで0^0=1が証明されたことで、今後は実用上こちらが多数派にはなるだろうが。
あくまで未定義。