[일반] 명제를 입력해주면 자동으로 추론해주는 프로그램있나요?

[익명(175.201)]

추론규칙도 명제의 일종이고

어쨋든 명제를 입력하면 자동으로 추론해주는 프로그램이 있나요??

[익명(39.7)]

라마누잔이요

[익명(175.201)]

수학자 이름을 본딴 프로그램인가요?

[익명(39.7)]

라마누잔 그자체도 그렇고요. 라마누잔 머신이라는 프로그램도 그렇죠

[ultraproduct(ultraproduct)]

그런 게 가능한 theory가 있고, 불가능한 theory가 있음. 다만 가능하다 하더라도 시간 효율이 어떻게 될지는 모름.

[익명(175.201)]

불가능한것은 불가능한 이유가 무엇인가요?

[익명(39.7)]

p-np 검색

[ultraproduct(ultraproduct)]

P-NP 보다는 decidability 관련 이야기.

[익명(180.67)]

콴다

[익명(221.154)]

ㅋㅋㅋㅋ

[익명(129.130)]

Logika

[익명(223.33)]

니가 만들어라...

[익명(49.170)]

불완전성 정리