Andreas Weiermann

221

Reputation

104 views

Registered User

Name	Andreas Weiermann
Member for	3 years
Seen	May 15 at 18:37
Website
Location
Age

stats recent reputation favorites

0

Questions

4

Answers

votes newest views recent

computational complexity of primitive recursive functions (2)

How fast can the base-bumping function in Goodstein’s theorem grow?

Inverse Ackermann - primitive recursive or not?

Prove a function is primitive recursive

0

Votes

4

Tags

computability-theory× 3
proof-theory
lo.logic
computer-science

3

Badges

● Necromancer× 2