Mathematics
Chris Pressey's user avatar
Chris Pressey's user avatar
Chris Pressey's user avatar
Chris Pressey
  • Member for 10 years, 10 months
  • Last seen more than 8 years ago
Profile Activity
Stats
376
reputation
8k
reached
6
answers
1
question
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
13
bronze badges
Top tags
View all tags
10
Score
4
Posts
57
Posts %
9
Score
4
Posts
57
Posts %
4
Score
1
Posts
14
Posts %
3
Score
2
Posts
29
Posts %
3
Score
2
Posts
29
Posts %
3
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
11
Has this algebraic structure been named or studied?
Dec 10, 2012
answer
4
How can Busy beaver($10 \uparrow \uparrow 10$) have no provable upper bound?
Dec 7, 2012
answer
4
Proving that the halting problem is undecidable without reductions or diagonalization?
Dec 8, 2012
answer
3
How do you encode a programm in a category?
Dec 4, 2012
answer
2
Proving Turing Completeness by Simulating Rule 110
Dec 4, 2012
answer
1
How many neighbours should a cell have in a cellular automata?
Dec 4, 2012
answer
0
Is Turing completeness monotone with respect to Cook reductions?
Dec 4, 2012
Top network posts
View all network posts
8
Simply-stated restriction on imperative programming language that captures the elementary functions?
8
Programming languages for efficient computation
6
What is known about the relationship between PR and NEXP?
5
Can infinity shorten proofs a lot?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.