한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과101건

검색 결과 제목

  1. 1parseInt가 12를 돌려주면 입력 전체가 올바른 정수일까?
  2. 2메아리가 0.2초 뒤 돌아오면 벽은 얼마나 멀리 있을까?
  3. 3AI가 열 자리 시간값을 초인지 밀리초인지 짐작해도 될까?
  4. 4AI가 유티에프 팔 파일 앞의 표식을 글자로 세어도 될까?
  5. 5명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?
논문 대담A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)Mathematische Zeitschrift, 35, 58–65
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?

안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)

1–5 / 101편