User Stefan Lutz - Mathematics Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Stefan Lutz

Member for 8 years, 7 months
Last seen more than 4 years ago

lunes.de
Augsburg, Deutschland

Network profile

Stats

101

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

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

Sep 12, 2019

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