Skip to main content
Theoretical Computer Science
NietzscheanAI's user avatar
NietzscheanAI's user avatar
NietzscheanAI's user avatar
NietzscheanAI
  • Member for 11 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
775
reputation
13k
reached
12
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
11
bronze badges
Top tags
View all tags
15
Score
6
Posts
35
Posts %
8
Score
3
Posts
18
Posts %
5
Score
3
Posts
18
Posts %
4
Score
2
Posts
12
Posts %
3
Score
2
Posts
12
Posts %
2
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
question
21
Combinators for the Primitive Recursive Functions
Jan 10, 2013
question
9
Applications of "Seemingly Impossible Functional Programs"
Oct 17, 2015
question
7
Concatenative binary lambda calculus/combinatory logic
Aug 17, 2015
answer
6
Book for self study of algorithms in group theory
Dec 11, 2015
question
6
Algebra and algebraic data types
Jan 2, 2016
answer
4
Papers on relation between computational complexity and algebraic geometry/topology?
Nov 16, 2015
answer
3
Program reasoning about own source code
Sep 7, 2015
answer
2
Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs
Sep 7, 2015
answer
2
A clear and rigorous explanation of critical pairs and the Knuth-Bendix completion algorithm?
Oct 29, 2020
answer
1
Representation of procedural knowledge
Aug 27, 2015
Top network posts
View all network posts
57
Could a paradox kill an AI?
32
Do scientists know what is happening inside artificial neural networks?
23
How close are we to creating Ex Machina?
21
How could emotional intelligence be implemented?
21
Getting subclasses of a sealed trait