Computer Science
Profile Activity
Network profile
2,057
reputation
13
21

Petr

Apparently, this user prefers to keep an air of mystery about them.

27
answers
1
question
~59k
people reached
  • Germany
  • ppetr
  • Member for 8 years, 9 months
  • 94 profile views
  • Last seen Apr 6 at 17:15

Communities (70)

Top network posts

Top tags (43)

Score 87
Posts 10
Posts % 36
Score 85
Posts 8
Score 60
Posts 6
Score 59
Posts 5
Score 27
Posts 6
Score 24
Posts 3
View all tags →

Top posts (28)

All Questions Answers
Votes Newest
30 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 →

Badges (34)

Gold

—

Silver

13

Rarest

Bronze

21

Rarest

View all badges →

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.