Chill2Macht
  • Member for 5 years, 6 months
  • Last seen more than 3 years ago
7 answers
109 votes
9k views
78 bookmarks
Solid applications of category theory in TCS?
13 answers
77 votes
22k views
76 bookmarks
Uses of algebraic structures in theoretical computer science
12 answers
71 votes
9k views
34 bookmarks
How important is knowing how to program for TCS?
14 answers
67 votes
16k views
63 bookmarks
Applications of topology to computer science
3 answers
66 votes
7k views
41 bookmarks
Why does Fourier analysis of Boolean functions "work"?
17 answers
66 votes
4k views
33 bookmarks
Applications of TCS to classical mathematics?
13 answers
55 votes
4k views
38 bookmarks
Information Theory used to prove neat combinatorial statements?
3 answers
45 votes
5k views
28 bookmarks
Wikipedia-style explanation of Geometric Complexity Theory
12 answers
43 votes
4k views
25 bookmarks
Applications of representation theory of the symmetric group
12 answers
41 votes
2k views
14 bookmarks
Gröbner bases in TCS?
9 answers
39 votes
24k views
23 bookmarks
What is the difference between non-determinism and randomness?
12 answers
38 votes
28k views
48 bookmarks
Books on automata theory for self-study
3 answers
38 votes
3k views
13 bookmarks
Does $VP \neq VNP$ imply $P \neq NP$?
2 answers
36 votes
2k views
9 bookmarks
If P=NP, could we obtain proofs of Goldbach's Conjecture etc.?
3 answers
35 votes
2k views
9 bookmarks
What is the Volume of Information?
14 answers
34 votes
6k views
23 bookmarks
Book on Probability
2 answers
33 votes
1k views
5 bookmarks
How did TCS become conference-oriented rather than journal-oriented?
12 answers
33 votes
6k views
19 bookmarks
Algebra oriented branch of theoretical computer science
2 answers
24 votes
758 views
7 bookmarks
If machine learning techniques keep improving, what's the role of algorithmics in the future?
6 answers
24 votes
2k views
15 bookmarks
Introduction to spectral graph theory
2 answers
13 votes
2k views
5 bookmarks
Why is lambda calculus a "calculus"?
2 answers
13 votes
1k views
5 bookmarks
How exactly does lambda calculus capture the intuitive notion of computability?
3 answers
7 votes
1k views
4 bookmarks
What is the relationship between intuitionistic logic, combinatory logic and lambda calculus?
0 answers
4 votes
69 views
1 bookmarks
Set-systems with some version of independence
3 answers
3 votes
609 views
3 bookmarks
Why is lambda calculus so "function" oriented?
1 answers
2 votes
191 views
3 bookmarks
Complexity of computing generalised determinants. (P - #P transition)