[일반] 이거 실현가능할까?

[익명(118.235)]

되면 대박일거같은데 논문심사 획기적으로짧아지고 오류도 없어질거같고 어디틀렷는자바로볼수잇고.하면 발전속도 급상승할듯

- dc official App

[익명(211.248)]

ㄴ 전혀 핵심을 이해하지 못했음

[익명(211.248)]

심사되는 논문들의 모든 언어형식이 1계논리로 작성되어있어야 가능함

[익명(211.248)]

또는 그렇게 바꿀 수 있어야 가능해진다는 거고, 그 모호한 자연어들을 1계 논리로 환원시키려고 하는 노력이 저 시스템이라고 이해해야됨

[익명(211.248)]

비슷하게 양자얽힘을 이용해서 웜홀을 만들 수 있다는 현실에서 거의 재현 불가능에 다름없는 개소리를 하는 거나 다름없다고 표현할 수 있겠네

[익명(175.208)]

한때 수리논리에 빠져서 저 분 저 책 샀었는데 남자셨네 ㅋㅋㅋㅋ - dc App

[기괴공학도(thecoqproofassistant)]

이미 coq이 있는데

[익명(115.137)]

진부하다 한 단어

[D+E(122.40)]

대한수학회장 인줄 - dc App