[일반] 비구성적 뜻이 뭐임?

[익명(223.38)]

귀류법썼다는말이냐 AC썼다는말이냐

[익명(119.202)]

AC쓰면 비구성적임

[익명(223.38)]

귀류법도 비구성적임

[익명(119.202)]

ㅇㅇ 그런듯

[ㅋㅋㄴ(117.111)]

예를 들어 뭔가의 존재성을 보여야하는 명제에서 귀류법을 사용해서 증명햇다면 그것이 존재한다는건알지만 어떻게 생겻는지 등 그것에대한 정보가 없겟지 반대로 뭔가존재한다는걸 증명할때 이렇게이렇게해서 잡으면 이게 되므로 존재한다ㅇㅇ 이렇게보이면 존재성도증명되고 그게 실제로 어케생겻는지 알거아님? 후자를 constructive한 proof라고함

[ㅋㅋㄴ(117.111)]

귀류법과 ac는 둘다 non-constructive함