undecidability 예문

• The background to Church's work on computability and undecidability, based on his correspondence with Bernays during the years 1934-1937, is examined by Sieg in .
  년 동안 1,934에서 1,937 사이 베르나이 스와 그의 서신을 기반으로 computability 및 undecidability에 대한 교회의 작품에 배경에 Sieg 검사입니다.
• Church's Theorem, showing the undecidability of first order logic, appeared in A note on the Entscheidungsproblem published in the first issue of the Journal of Symbolic Logic.
  교회의 정리, 첫 순서로 논리의 undecidability 보여주는 노트에 Entscheidungsproblem 저널 기호 논리의 첫 번째 월호에 발표한 논문에 출연.
• Church's Theorem, showing the undecidability of first order logic, appeared in A note on the Entscheidungsproblem published in the first issue of the Journal of Symbolic Logic.
  교회의 정리, 첫 순서로 논리의 undecidability 보여주는 노트에 Entscheidungsproblem 저널 기호 논리의 첫 번째 월호에 발표한 논문에 출연.
• In the following year Undecidability and recursive inseparability appeared which proves two results on undecidability in arithmetic, one of which had been suggested by Bernays .
  다음해 Undecidability 및 재귀 분리할 수 있음을 산수 undecidability에 그 중 하나는 베르나 이스에 의해 제안되어 벌써 두 결과를 증명하는 모습.
• In the following year Undecidability and recursive inseparability appeared which proves two results on undecidability in arithmetic, one of which had been suggested by Bernays .
  다음해 Undecidability 및 재귀 분리할 수 있음을 산수 undecidability에 그 중 하나는 베르나 이스에 의해 제안되어 벌써 두 결과를 증명하는 모습.
• In the following year Undecidability and recursive inseparability appeared which proves two results on undecidability in arithmetic, one of which had been suggested by Bernays .
  다음해 Undecidability 및 재귀 분리할 수 있음을 산수 undecidability에 그 중 하나는 베르나 이스에 의해 제안되어 벌써 두 결과를 증명하는 모습.
• Undecidability involves the halting problem for Turing machines and in 1991, when Robinson was aged 80, he published Minsky's small universal Turing machine which describes a universal Turing machine with 4 symbols and 7 states.
  Turing 기계와 1991 년 대한 Undecidability 때, 로빈슨은 80 세였다 중단 문제를 포함, 그 기호는 4와 7 주에서 가진 보편적인 Turing 기계를 설명 Minsky의 소형 범용 Turing 기계를 발표했다.
• Undecidability involves the halting problem for Turing machines and in 1991, when Robinson was aged 80, he published Minsky's small universal Turing machine which describes a universal Turing machine with 4 symbols and 7 states.
  Turing 기계와 1991 년 대한 Undecidability 때, 로빈슨은 80 세였다 중단 문제를 포함, 그 기호는 4와 7 주에서 가진 보편적인 Turing 기계를 설명 Minsky의 소형 범용 Turing 기계를 발표했다.
• In a major paper Undecidability and nonperiodicity for tilings of the plane published in 1971, Robinson continued to study problems of a kind that he had examined for a long while. D A Klarner writes in a review:
  주요 신문 Undecidability과 nonperiodicity 비행기는 1971 년 출판의 tilings 대한 있음, 로빈슨은 그가 오랜 동안 한 종류의 문제에 대한 조사 연구를 계속했다. 검사 Klarner 리뷰에 글을 참고하세요 :