Computer Science
Petr
  • GitHub
  • Germany
  • Member for 9 years, 1 month
Profile Activity
Stats
2,047
reputation
60k
reached
27
answers
1
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (71)

Top network posts

This user doesn’t have any gold badges yet.
14
silver badges
21
bronze badges
View all badges

Top tags (43)

Score 86
Posts 10
Posts % 36
Score 84
Posts 8
Score 59
Posts 6
Score 58
Posts 5
Score 27
Posts 6
Score 24
Posts 3
View all tags →

Top posts (28)

All Questions Answers
Votes Newest
29 Clear, intuitive derivation of the fixed-point combinator (Y combinator)? Feb 10 '13
16 Lambda Calculus simplification Oct 10 '12
16 Human computing power: Can humans decide the halting problem on Turing Machines? Aug 22 '12
13 Programming language where every expression makes sense Oct 22 '15
12 Free variables of (λx.xy)x and bound variables of λxy.x Aug 21 '12
11 What use are groups, monoids, and rings in database computations? Feb 11 '13
11 anonymous lambda functions (functional programming) Feb 11 '13
10 Generating 3SAT circuit for Integer factorization example May 2 '13
7 Is there a binary tree structure with fast access to recently accessed elements and worst $O \left( \log n \right )$ complexity? May 4 '13
6 Show that it is undecidable if two Turing Machines accept the same language May 9 '13
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.