통합검색

Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?

아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.

Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)

AI가 HTTP Content-Length를 글자 수로 적어도 될까?

영문·한글·이모지 본문을 바꾸어 글자 수와 UTF-8 바이트 수를 비교하고, Content-Length에 들어갈 값을 검산합니다.

AI가 YAML의 yes를 스키마 확인 없이 참으로 읽어도 될까?

같은 yes·no·on·off를 YAML 1.1과 1.2 핵심 스키마로 번갈아 해석해, 글자 모양만으로 값의 종류를 정할 수 없는 경우를 확인합니다.

AI가 SQL LIKE의 밑줄을 글자 그대로 찾아도 될까?

파일 이름과 LIKE 패턴을 바꾸어, 밑줄 한 개가 실제 밑줄이 아니라 임의의 한 문자를 뜻하는 경우를 확인합니다.

달린 뒤 자동차 타이어의 공기압은 왜 높아질까?

차가울 때와 달린 뒤의 공기 온도·부피를 바꾸어, 같은 공기가 따뜻해질 때 압력이 어떻게 달라지는지 계산합니다.