user avatar
user avatar
user avatar
Chill2Macht
  • Member for 5 years, 11 months
  • Last seen more than a week ago
110 votes
7 answers
9k views

Solid applications of category theory in TCS?

77 votes
13 answers
22k views

Uses of algebraic structures in theoretical computer science

  • 873
71 votes
12 answers
9k views

How important is knowing how to program for TCS?

  • 1,645
67 votes
17 answers
4k views

Applications of TCS to classical mathematics?

67 votes
14 answers
17k views

Applications of topology to computer science

  • 791
66 votes
3 answers
7k views

Why does Fourier analysis of Boolean functions "work"?

56 votes
13 answers
4k views

Information Theory used to prove neat combinatorial statements?

45 votes
3 answers
5k views

Wikipedia-style explanation of Geometric Complexity Theory

44 votes
12 answers
4k views

Applications of representation theory of the symmetric group

41 votes
12 answers
2k views

Gröbner bases in TCS?

39 votes
9 answers
25k views

What is the difference between non-determinism and randomness?

38 votes
12 answers
29k views

Books on automata theory for self-study

38 votes
3 answers
3k views

Does $VP \neq VNP$ imply $P \neq NP$?

  • 383
36 votes
2 answers
2k views

If P=NP, could we obtain proofs of Goldbach's Conjecture etc.?

35 votes
3 answers
2k views

What is the Volume of Information?

34 votes
14 answers
6k views

Book on Probability

33 votes
2 answers
1k views

How did TCS become conference-oriented rather than journal-oriented?

  • 2,637
33 votes
12 answers
6k views

Algebra oriented branch of theoretical computer science

24 votes
2 answers
759 views

If machine learning techniques keep improving, what's the role of algorithmics in the future?

24 votes
6 answers
2k views

Introduction to spectral graph theory

13 votes
2 answers
2k views

Why is lambda calculus a "calculus"?

  • 249
13 votes
2 answers
1k views

How exactly does lambda calculus capture the intuitive notion of computability?

  • 5,157
7 votes
3 answers
1k views

What is the relationship between intuitionistic logic, combinatory logic and lambda calculus?

  • 5,157
4 votes
3 answers
621 views

Why is lambda calculus so "function" oriented?

  • 5,157
4 votes
0 answers
69 views

Set-systems with some version of independence

  • 2,447
2 votes
1 answer
194 views

Complexity of computing generalised determinants. (P - #P transition)

  • 141