[crash27]

ex 1,2 모두 고정점귀납법을 사용하는데요~

증명하는 바의 입력이 어떤 함수의 형태라고 할때
예를 들어 P(f)를 증명할때 f가 A->B의 함수형태라고 합니다.

이때 P(⊥)를 증명하려고하는데..
어떤식으로 이것을 증명을 하면 좋을지 영 감이 안오네요;;

가장 기본적인 함수
예를 들어 아무것도 안하는 id 같은 함수를 넣어서 성립함을 보이면 되는지..
(그게 맞다면 id가 bottom인 것을 보여주는 증명도 해야할지..)

특정값이 아닌 함수이다보니 어떤 게 bottom인지 영 햇갈리네요 ㅠㅠ

혹시 풀어보신분 있으시면 힌트 좀 주세용!!
오늘도 밤새네요 ㅠ_ㅠ

[공순호]

고정점 귀납법에 대한 강의자료를 읽어보시고,

필요하시다면 웹에서 찾아보셔도 많은 자료들을 보실 수 있을 겁니다.

간단하게 질문에 답해드려보면

[crash27]

음..

제 질문은 (A->B)->(A->B)인 함수에 대한 fixpoint가
A->B의 형태로 나올텐데..
이때의 bottom을 어떻게 정의하면 좋을지에 대한 질문이었습니다 ^^;;

그래서 아무것도 안하는 함수가 bottom이 아닐까 라고 생각을 했었습니다.

모르겠는건 제출시간뒤에 다시 질문 할께요 ^^;;