Skip to main content
Computer Science
Stefan Lutz's user avatar
Stefan Lutz's user avatar
Stefan Lutz's user avatar
Stefan Lutz
  • Member for 9 years, 7 months
  • Last seen more than 8 years ago
Profile Activity
Stats
535
reputation
0
reached
0
answers
0
questions
Communities
About

I am a software developer in the industrial automation industry with a strong personal interest in theoretical computer science and discrete maths.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
11
Why aren't we researching more towards compile time guarantees?
9
Trennbare Verbpräfixe inmitten des Satzes
9
Implications of Rice's theorem
9
Is there a clear definition of "computable" for models of computation which are not turing complete?
5
Decomposition of the set of computable functions into base functions