Skip to main content
Theoretical Computer Science
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly's user avatar
Daniel Donnelly
  • Member for 12 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
237
reputation
1k
reached
0
answers
4
questions
Communities
View all
About

Students should be paid to attend school.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
0
Score
3
Posts
75
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
6
Has anyone mixed linear algebra with formal language theory in this way?
Sep 19, 2013
question
2
On what functions on strings of length $n$ are we able to compute the Kolmogorov complexity and also exhibit an optimal program?
Nov 11
question
1
Does there exist a CAS for formal language theory?
Apr 13, 2012
question
-2
Has anyone ever mixed strings in a language with position?
Sep 19, 2013
Top network posts
View all network posts
66
Is it not effective to learn math top-down?
47
What is integration by parts, really?
45
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
30
Group formed on Parabola similarly to how an Elliptic curve forms a group (by drawing lines, circles, intersecting, or taking tangent lines)
24
Every natural number is covered by consecutive numbers that sum to a prime power.