Skip to main content
MathOverflow
Mathieu Hoyrup's user avatar
Mathieu Hoyrup's user avatar
Mathieu Hoyrup's user avatar
Mathieu Hoyrup
  • Member for 9 years, 9 months
  • Last seen more than 7 years ago
Profile Activity
Stats
71
reputation
2k
reached
2
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
7
Score
2
Posts
100
Posts %
Top posts
answer
6
"Rice (like) Theorem" for primitive recursive functions?
Mar 18, 2015
answer
1
A ("Rice-like") conjecture about the decidability of primitive recursive (PR) problems
Mar 18, 2015