라고 말하는 교수님이 있어서 찾아봄
https://youtu.be/WabHm1QWVCA저분 강의 몇개 봤는데 가령 원이나 직선같은걸 다룬다고 하면 보통 affine space 를 변형시켜서 쓰더라. 그건 저분 신념에 문제가 없나봄.
허무맹랑한 소리인줄 알았는데 실제적으로 countability 를 중요하게 생각하면 저럴수도 있겠다는 생각이 든다.
저런분이 계시다는건 말로 들어서는 알았는데 이런식으로 본건 처음이네
라고 말하는 교수님이 있어서 찾아봄
https://youtu.be/WabHm1QWVCA저분 강의 몇개 봤는데 가령 원이나 직선같은걸 다룬다고 하면 보통 affine space 를 변형시켜서 쓰더라. 그건 저분 신념에 문제가 없나봄.
허무맹랑한 소리인줄 알았는데 실제적으로 countability 를 중요하게 생각하면 저럴수도 있겠다는 생각이 든다.
저런분이 계시다는건 말로 들어서는 알았는데 이런식으로 본건 처음이네
countability 랑 computability
definable number가 countable라거나 하니 실수의 완비성이 불편한 사람들이 종종 보이더라고