Computer Science
Stefan Lutz
  • Member for 6 years, 11 months
  • Last seen more than a month 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
12
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
Votes Newest
11
Why aren't we researching more towards compile time guarantees?
Mar 4 '15
9
Implications of Rice's theorem
Feb 28 '15
9
Is there a clear definition of "computable" for models of computation which are not turing complete?
Mar 4 '15
5
Decomposition of the set of computable functions into base functions
Feb 23 '15
3
Is the following statement about turing machines true?
Mar 6 '15
1
Implications of Rice's theorem
Mar 2 '15
1
Can you write a program that alters another program semantically?
May 4 '15
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.