Skip to main content
MathOverflow
Daniel's user avatar
Daniel's user avatar
Daniel's user avatar
Daniel
  • Member for 10 years, 6 months
  • Last seen more than a month ago
Profile Activity

7 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
comment
Are there proofs of Rice Theorem without using the undecidability of some problem?
Isn't this what you would get if you "unfold" the reduction to the halt problem? (as suggested by Noah's comment)
asked
Efficient algorithm to compute resultants of sparse polynomials?
awarded
 Supporter
asked
Can we give efficiently the solution of a bilinear system of equations over a finite field?
awarded
 Student
awarded
 Editor
awarded
 Autobiographer