그걸 유한한 기호 나열(혹은 문장들)로 그 함수를 정의하여, 모든 실수에 대한 출력을 그 기호의 조작과 수학적인 보장에 따라 모든 점에서 이론적으로는 값을 뽑아내도록 할 수 있냐 이말이잖아.(다시말해 함수가 유일하기 정의된다)
여기서 문장이라는 건 1차논리의 문장이라고 하지말자 기초론은 골치가 아프고 그건 너무 좁으니까 그냥 넓게 수학에서 다룰 수 있는 잘 정의된 문장들이라구 하자구
음 일단 연속함수들을 문장들의 가산 집합으로 하는 건 가능할 듯. \'f가 연속이다\'라는 조건과 Q에서의 값을 통해 유일하게 정의되니까
여기서 문장이라는 건 1차논리의 문장이라고 하지말자 기초론은 골치가 아프고 그건 너무 좁으니까 그냥 넓게 수학에서 다룰 수 있는 잘 정의된 문장들이라구 하자구
음 일단 연속함수들을 문장들의 가산 집합으로 하는 건 가능할 듯. \'f가 연속이다\'라는 조건과 Q에서의 값을 통해 유일하게 정의되니까
문장위상 아주 죽이는거 나오겠다. 이그노벨상 너가 먹어라.
이그풀커슨 상 각이냐?? 농담이고
연속이라면 어느 정도 납득 가능한 듯. 의견 ㄱㅅ
연속이라면 납득가능하단게 먼소리임
함수가 연속이면 그 함수를 문장들의 가산 집합으로 정의하는 건 가능하다는 건 이해가 되는데 함수가 불연속이면 구간에 따라 임의의 치역을 설정할 수 있다는 점이 걸림. 어떤 특정한 이유 때문은 아니고 그냥 마음에 걸림. 반례를 찾을 수 있을 지도 생각 중.
나도 모든 함수에 대해 다 그렇게 될 거라고 생각은 안 했음
음 나는 솔직히 연속은 모르겠다. 뭐라는지는 대충 알겠는데 나는 미분 가능일 때 밖에 이해가 안가네 - dc App
그리고 생각해보면 언어마다 다르다고도 생각해볼 수 있음. 복문장이 허용된다면 거의 모든 함수들은 한문장 이내로 가능할 듯 - dc App
복문장이 뭐임?