카카오 계정과 연동하여 게시글에 달린
댓글 알람, 소식등을 빠르게 받아보세요

가장 핫한 댓글은?

본문이 수정되지 않는 박제글입니다.

존재성을 이용한 난제들 해결

2025.10.23

1

683

존재성을 이용한 난제들 해결이란 논문입니다.
먼저 존재여부를 표현하는 존재 언어를 고안했고, 그 존재언어가 어떻게 전개되는지 알아냈습니다. 그리고, 존재 언어로 명제가 틀리다는 표현을 하고, 명제가 변형되었으면서 참으로 볼 수 있는 진술들을 존재 언어로 표현합니다. 그 총 존재 언어들을 전개한 결과 모순된점이 나옵니다. 그러면 애초에 나머지는 참이니 명제가 참일 수 밖에 없게 됩니다.

카카오 계정과 연동하여 게시글에 달린
댓글 알람, 소식등을 빠르게 받아보세요

댓글 1개

2025.10.23

누적 신고가 50개 이상인 사용자입니다.

아 지겹다 그만좀해;;;

댓글쓰기

게시판 목록으로 돌아가기

2026년 KENTECH 대학원 동계 인턴 모집
접수 11/5(목)~11/25(수) | 타 대학교 학부 3·4학년 재학생(내국인)
활동 2026.12.28.~2027.2.12. | 연구지원금·숙소 지원

지원하러 가기

성균관대학교 나노과학기술학과(SAINT)
2027학년도 전기 수시전형 석사·박사·석박사통합 신입생 모집
원서접수 11/24(화)~12/2(수) | 등록금 전액 지원

모집요강 보기

확인