쌓인 기록에서 찾기
무엇을 찾으세요?
날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위부터 2026년 10월 30일 (금)까지3636건
2건 · "형식 체계"조건 지우기 ×
001▲ 159 · 댓글 97자연언어 프로그래밍은 왜 실패하는가1978년 다익스트라의 논문으로, 프로그래밍을 자연언어로 할 수 있다면 더 쉬워질 것이라는 제안에 정면 반박한다.오픈소스 · 도구 · The foolishness of "natural language programming" (1978)
Key Point프로그래밍을 인간언어로 하면 더 쉬워질 것이란 아이디어가 왜 근본적으로 실패할 수밖에 없는지를 형식 체계의 역사와 논리로 설명한 고전 논문이다.
핵심 요약
- 1978년 다익스트라의 논문으로, 프로그래밍을 자연언어로 할 수 있다면 더 쉬워질 것이라는 제안에 정면 반박한다.
- 초기 컴퓨팅 시대부터 프로그래머들은 형식적 기호 체계의 엄격함을 단점으로 느꼈고, 기계가 모순된 명령도 충실히 실행하는 것을 문제 삼았다.
- 고급 프로그래밍 언어 개발로 명백한 실수는 에러 메시지를 내보내게 되어 개선됐지만, 프로그래밍의 형식성 요구는 여전했다.
전체 요약 12문장 읽기 →기타 · Principia Mathematica is modern and insightful
Key Point수학 기초론의 고전 저작이 현대 논리학과 형식 체계에 끼친 영향을 학술적으로 분석한 글로, 개발자와 이론 전산학자들 사이에서 역사적 통찰력을 찾는 독자들로부터 주목받고 있다.
핵심 요약
- '수학 원리'는 기본 공리만으로 모든 수학이 유도 가능함을 보이기 위해 극도로 상세한 증명을 제시했다.
- 한때 '명백한 변수'로 부르던 개념은 현대의 한정변수(bound variable)이며, 람다 계산법의 역사적 기원을 보여준다.
- '수학 원리'는 1910년에 벌써 '정확한 기술'과 '명시적 함수'의 차이를 구분했으며, 수학의 함수적 과정들을 분류했다.