user avatar
user avatar
user avatar
Petr
  • Member for 9 years, 9 months
  • Last seen more than 1 year ago
32 votes
Accepted

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

16 votes

Human computing power: Can humans decide the halting problem on Turing Machines?

16 votes

Lambda Calculus simplification

13 votes

Programming language where every expression makes sense

12 votes
Accepted

Free variables of (λx.xy)x and bound variables of λxy.x

11 votes

anonymous lambda functions (functional programming)

11 votes

What use are groups, monoids, and rings in database computations?

10 votes
Accepted

Generating 3SAT circuit for Integer factorization example

6 votes

Show that it is undecidable if two Turing Machines accept the same language

6 votes

How does 'deforestation' remove 'trees' from a program?

6 votes

Is resolution complete or only refutation-complete?

6 votes
Accepted

Distinct variables for different clauses

5 votes

Is there an always-halting, limited model of computation accepting $R$ but not $RE$?

4 votes

P is contained in NP ∩ Co-NP?

4 votes

To what does typing correspond in a Turing Machine?

4 votes
Accepted

What is the name of this combinator?

3 votes

What type of formal notation is being used here to represent functional algorithms?

3 votes

A program that cannot be written in (simply-)typed lambda calculus but only in lambda calculus or Turing-complete language

2 votes
Accepted

Prove that inserting $n$ sorted values in to an AVL using AVL insertion is $\Theta\left (n \log \left ( n \right ) \right )$

2 votes

Normal form Lambda calculus expression

2 votes

Is changing or appending data an idempotent operation?

1 vote
Accepted

Pros and cons of representing strings as lists of characters

1 vote

defining lambda expressions

0 votes

k-path problem - P, NP or NPC?

0 votes

Can the edges of a graph be assigned directions such that all nodes in a given subset have in- or outdegree 0, and every other node indegree > 0?

0 votes
Accepted

MGU and Variable Standardization - CNF

0 votes

Sorting algorithms which accept a random comparator