«combinatory-logic» 태그된 질문

2
람다 미적분과 조합 논리는 동일합니까?
현재 Hindley와 Seldin의 " Lambda-Calculus and Combinators "를 읽고 있습니다. 저는 전문가는 아니지만 함수형 프로그래밍 (Lisp 및 SICP로 시작하여 R 및 Haskell으로 시작)으로 인해 람다 미적분학에 관심을 가져 왔습니다. John Tromp 는 " Binary Lambda Calculus and Combinatory Logic" 에서 CL은 람다 미적분학의 부분 집합으로 간주 될 수 있습니다. 어떤 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
종료하지 않는
나는 이러한 질문들에 대해 생각하고있다 : 일관되고 Turing이 완료된 유형화 된 람다 미적분학이 있습니까? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent 그리고 형식화되지 않은 설정 에서 관련 질문에 대답하기가 이미 어렵습니다 ! 보다 구체적으로, 다음과 같은 방식으로 터미네이션 완료를 비 터미네이션에서 복구 할 수 있는지 궁금합니다. 질문 : 감안할 (순수) λλ\lambda -term ttt 으로 더 약한 …
1
결합기의 불완전한 기초
이것은 이 질문에서 영감을 얻은 것입니다. 하자 두 바인딩 변수를 모두 콤비를 수집합니다. 가 C가 된 조합 완료?CC\mathcal{C}CC\mathcal{C} 나는 그 대답이 부정적이라고 생각하지만 이에 대한 언급을 찾을 수 없었습니다. 또한 콤비 네이터 세트의 조합 불완전 성 증명에 대한 참조에 관심이 있습니다 ( 한 묶인 변수가있는 콤비 로 구성된 세트 D …
1
프로그래밍 언어 이론이 대답하려는“질문”은 무엇입니까?
나는 Combinatory Logic, Lambda Calculus, Functional Programming과 같은 다양한 주제에 관심이 있었고이를 연구하고 있습니다. 그러나 "계산 이론"과는 달리 "계산 성", 즉 다양한 제약으로 계산할 수없는 것들에 대한 질문에 답하려고 노력하는 것과는 달리, "프로그래밍 이론"에 대한 아날로그를 찾는 데 어려움을 겪고 있습니다. Wikipedia 는이를 다음과 같이 설명합니다. 프로그래밍 언어 이론 (PLT)은 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.