User Chill2Macht

110 votes

7 answers

9k views

Solid applications of category theory in TCS?

Ryan Williams

26.3k

asked Sep 4, 2010 at 9:20

77 votes

13 answers

22k views

Uses of algebraic structures in theoretical computer science

reference-request big-picture big-list algebra survey

GEL

873

asked Mar 30, 2012 at 20:02

71 votes

12 answers

9k views

How important is knowing how to program for TCS?

soft-question big-list advice-request career

Gopi

1,645

asked Nov 7, 2011 at 16:09

67 votes

17 answers

4k views

Applications of TCS to classical mathematics?

reference-request big-list

Joshua Grochow

35.7k

asked Aug 17, 2010 at 14:34

67 votes

14 answers

17k views

Applications of topology to computer science

reference-request ho.history-overview topology survey

Ben

791

asked Nov 11, 2010 at 23:17

66 votes

3 answers

7k views

Why does Fourier analysis of Boolean functions "work"?

soft-question boolean-functions fourier-analysis

user887

asked Sep 21, 2012 at 6:16

56 votes

13 answers

4k views

Information Theory used to prove neat combinatorial statements?

co.combinatorics big-list it.information-theory

Dana Moshkovitz

10.9k

asked Nov 3, 2010 at 1:43

45 votes

3 answers

5k views

Wikipedia-style explanation of Geometric Complexity Theory

cc.complexity-theory gct

Alessandro Cosentino

3,860

asked May 13, 2013 at 19:43

44 votes

12 answers

4k views

Applications of representation theory of the symmetric group

co.combinatorics permutations fourier-analysis gr.group-theory

Sasho Nikolov

18k

asked Sep 22, 2012 at 4:32

41 votes

12 answers

2k views

Gröbner bases in TCS?

cc.complexity-theory reference-request algebra polynomials

Dana Moshkovitz

10.9k

asked May 12, 2011 at 1:13

39 votes

9 answers

25k views

What is the difference between non-determinism and randomness?

automata-theory randomness computability

user200

asked Aug 26, 2010 at 12:39

38 votes

12 answers

29k views

Books on automata theory for self-study

reference-request automata-theory fl.formal-languages

user1652

99

asked Oct 5, 2010 at 17:17

38 votes

3 answers

3k views

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

cc.complexity-theory complexity-classes algebraic-complexity conditional-results gct

Benno

383

asked Aug 24, 2010 at 21:38

36 votes

2 answers

2k views

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

cc.complexity-theory proof-complexity automated-theorem-proving proof-search

Joseph O'Rourke

3,703

asked Nov 8, 2010 at 19:50

35 votes

3 answers

2k views

What is the Volume of Information?

it.information-theory physics

Lance Fortnow

8,546

asked Sep 23, 2010 at 0:12

34 votes

14 answers

6k views

Book on Probability

reference-request big-list pr.probability books

Incredible

463

asked Apr 1, 2011 at 10:35

33 votes

2 answers

1k views

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

soft-question conferences

Ohad Kammar

2,637

asked Jul 20, 2011 at 21:06

33 votes

12 answers

6k views

Algebra oriented branch of theoretical computer science

soft-question algebra advice-request ct.category-theory

spaceman_spiff

471

asked Sep 23, 2014 at 14:11

24 votes

2 answers

759 views

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

ds.algorithms soft-question machine-learning

Jukka Suomela

11.3k

asked Apr 29, 2017 at 18:32

24 votes

6 answers

2k views

Introduction to spectral graph theory

reference-request spectral-graph-theory

Alexandre Passos

1,459

asked Sep 10, 2010 at 20:44

13 votes

2 answers

2k views

Why is lambda calculus a "calculus"?

terminology lambda-calculus

alecbz

249

asked Nov 5, 2013 at 18:47

13 votes

2 answers

1k views

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

soft-question computability lambda-calculus ho.history-overview intuition

PhD

5,157

asked Feb 12, 2015 at 3:22

7 votes

3 answers

1k views

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

big-picture lambda-calculus intuition combinatory-logic constructive-mathematics

PhD

5,157

asked Feb 18, 2015 at 21:38

4 votes

3 answers

621 views

Why is lambda calculus so "function" oriented?

soft-question big-picture lambda-calculus ho.history-overview intuition

PhD

5,157

asked Feb 18, 2015 at 23:57

4 votes

0 answers

69 views

Set-systems with some version of independence

co.combinatorics pr.probability independence set-system

Ramprasad

2,447

asked May 9, 2013 at 13:15

2 votes

1 answer

194 views

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

cc.complexity-theory physics permanent determinant

biryani

141

asked Dec 2, 2016 at 6:17

Stack Exchange Network

current community

your communities

more stack exchange communities

26 Bookmarks

Solid applications of category theory in TCS?

Uses of algebraic structures in theoretical computer science

How important is knowing how to program for TCS?

Applications of TCS to classical mathematics?

Applications of topology to computer science

Why does Fourier analysis of Boolean functions "work"?

Information Theory used to prove neat combinatorial statements?

Wikipedia-style explanation of Geometric Complexity Theory

Applications of representation theory of the symmetric group

Gröbner bases in TCS?

What is the difference between non-determinism and randomness?

Books on automata theory for self-study

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

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

What is the Volume of Information?

Book on Probability

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

Algebra oriented branch of theoretical computer science

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

Introduction to spectral graph theory

Why is lambda calculus a "calculus"?

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

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

Why is lambda calculus so "function" oriented?

Set-systems with some version of independence

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