|
"린 4로 하는 정리 증명" 교재의 해설 영상을 만들고 있어요
|
|
0
|
232
|
9월 17, 2024
|
|
로버트 브랜덤이 논리철학에 대한 새 책을 출간했네요
|
|
2
|
647
|
8월 29, 2024
|
|
양상논리 문제풀이 질문
|
|
14
|
767
|
8월 10, 2024
|
|
증명 보조기와 유형론 알아보기
|
|
0
|
713
|
4월 23, 2024
|
|
어떤 오류가 사소한 실수인가
|
|
5
|
1172
|
4월 22, 2024
|
|
괴델의 완전성 정리와 불완전성 정리는 어떻게 공존 가능할까?
|
|
5
|
1025
|
4월 5, 2024
|
|
350년 난제 '페르마의 마지막 정리' 컴퓨터 증명 나선 수학자들
|
|
0
|
480
|
4월 2, 2024
|
|
자연연역의 일관성 형식화
|
|
4
|
458
|
3월 19, 2024
|
|
유형론에 관한 학습 자료와 두 가지 물음
|
|
2
|
491
|
2월 19, 2024
|
|
철학에 대해 질문있습니다
|
|
14
|
2557
|
2월 16, 2024
|
|
거짓말쟁이 역설과 수리논리학 이야기
|
|
5
|
2576
|
2월 4, 2024
|
|
가정법과 논리적 형식 (上)
|
|
0
|
447
|
2월 3, 2024
|
|
Modal Logic: Translation into quantification theory
|
|
5
|
643
|
1월 8, 2024
|
|
What is the prevailing opinion today?
|
|
1
|
440
|
12월 11, 2023
|
|
[알림] 짓;다 연례 강좌: 논리학 공구 상자 열어보기
|
|
5
|
1575
|
10월 24, 2023
|
|
자연수라는 신기루: 수리논리학과 언어철학에 관한 짧은 이야기
|
|
13
|
2835
|
10월 16, 2023
|
|
논리학-수학, 철학의 관계
|
|
7
|
1978
|
7월 26, 2023
|
|
증명과 관련된 나름의 재밌는 공상
|
|
4
|
875
|
5월 4, 2023
|
|
ChatGPT를 사용하여 논리적 동치 증명하기
|
|
14
|
2210
|
4월 6, 2023
|
|
2019학년도 수능 가능세계 지문에 대하여 -출제 오류 논란을 중심으로-
|
|
0
|
7334
|
3월 8, 2023
|
|
Sep, <스콜렘의 역설> 번역 (기본 개념, 서론 및 1절)
|
|
4
|
948
|
3월 8, 2023
|
|
'p&q→r'이나 'p→q&r'은 적형식인가?
|
|
2
|
896
|
1월 27, 2023
|
|
추론규칙과 공리의 명확한 차이가 뭔가요
|
|
10
|
1614
|
1월 11, 2023
|
|
⟪비트겐슈타인 새로 읽기⟫에 제시된 비트겐슈타인의 수학철학에 관한 보론과 비판
|
|
11
|
1789
|
1월 9, 2023
|
|
Subjunctive Mood - 약간의 정리
|
|
0
|
393
|
1월 5, 2023
|
|
양상논리 질문입니다
|
|
6
|
1262
|
1월 5, 2023
|
|
두 종류의 진리: 이승종과 이영철의 논쟁에 대한 고찰
|
|
0
|
1024
|
12월 23, 2022
|
|
다음 명제를 분석명제라고 볼 수 있나요?
|
|
4
|
1014
|
4월 1, 2022
|
|
논리학 기호화 문제 질문 가능할까요?
|
|
2
|
922
|
3월 26, 2022
|
|
논리학 문제 도움을 요청합니다
|
|
8
|
1255
|
3월 26, 2022
|