Computer Science
Meta user
Network profile
525
reputation
5
12

Stefan Lutz

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

3
answers
4
questions
~3k
people reached
  • Augsburg, Deutschland
  • lunes.de
  • Member for 5 years
  • 13 profile views
  • Last seen Dec 25 '19 at 23:03

Communities (4)

Top network posts

Top tags (8)

Score 11
Posts 1
Posts % 14
Score 11
Posts 1
Score 11
Posts 1
Score 11
Posts 1
Score 3
Posts 1
Score 1
Posts 5
View all tags →

Top posts (7) All Questions Answers | Votes Newest

11 Why aren't we researching more towards compile time guarantees? Mar 4 '15
9 Is there a clear definition of “computable” for models of computation which are not turing complete? Mar 4 '15
8 Implications of Rice's theorem Feb 28 '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

Badges (17)

Gold

—

Silver

5

Rarest

Bronze

12

Rarest

View all badges →