none

39

Reputation

30 views

Unregistered User

Name	none
Member for	2 years
Seen	Nov 29 2010 at 18:30
Website
Location
Age

stats recent reputation favorites

0

Questions

2

Answers

Between mu- and primitive recursion

Succinctly naming big numbers: ZFC versus Busy-Beaver

0

Votes

4

Tags

lo.logic× 2
computability-theory× 2
set-theory
computer-science

1

Badges