Computer Science
Stefan Lutz's user avatar
Stefan Lutz's user avatar
Stefan Lutz's user avatar
Stefan Lutz
  • Member for 8 years, 7 months
  • Last seen more than 2 years ago
Profile Activity
Stats
535
reputation
4k
reached
3
answers
4
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.
5
silver badges
13
bronze badges
Top tags
View all tags
11
Score
1
Posts
14
Posts %
11
Score
1
Posts
14
Posts %
11
Score
1
Posts
14
Posts %
11
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
1
Score
5
Posts
71
Posts %
Top posts
All Questions Answers
Score Newest
answer
11
Why aren't we researching more towards compile time guarantees?
Mar 4, 2015
question
9
Implications of Rice's theorem
Feb 28, 2015
question
9
Is there a clear definition of "computable" for models of computation which are not turing complete?
Mar 4, 2015
question
5
Decomposition of the set of computable functions into base functions
Feb 23, 2015
answer
3
Is the following statement about turing machines true?
Mar 6, 2015
question
1
Can you write a program that alters another program semantically?
May 4, 2015
answer
1
Implications of Rice's theorem
Mar 2, 2015
Top network posts
View all network posts
9
Trennbare Verbpräfixe inmitten des Satzes
5
Einen Buchstaben als Ersetzung für ein Wort verwenden - Wie nennt man das?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.