Metadata
Author: WikiMatrix
Data
English[en]
Alex Wilkie also proved that there exist transcendental functions for which first-order-logic proofs about their transcendence do not exist by providing an exemplary analytic function.
Korean[ko]
Alex Wilkie는 전형적인 해석함수를 제공함으로써 초월에 대한 1차 논리 증명이 존재하지 않는 초월 함수가 있음을 증명했다.