타르스키 고정점 정리From Wikipedia, the free encyclopedia 순서론에서 타르스키 고정점 정리(영어: Tarski’s fixed point theorem) 또는 크나스터-타르스키 정리(영어: Knaster–Tarski theorem)는 완비 격자에서 자신으로 가는 단조함수의 고정점이 존재한다는 정리이다. 이는 이론 컴퓨터 과학의 형식 의미론 및 추상 해석 분야에서 중요한 정리이다.
순서론에서 타르스키 고정점 정리(영어: Tarski’s fixed point theorem) 또는 크나스터-타르스키 정리(영어: Knaster–Tarski theorem)는 완비 격자에서 자신으로 가는 단조함수의 고정점이 존재한다는 정리이다. 이는 이론 컴퓨터 과학의 형식 의미론 및 추상 해석 분야에서 중요한 정리이다.