Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
19,707
reputation
1
44
84

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

269
answers
1
question
~316k
people reached

Communities (13)

Top Network Posts

Top Tags (154)

Score 371
Posts 66
Posts % 24
Score 339
Posts 49
Score 295
Posts 42
Score 275
Posts 43
Score 227
Posts 39
Score 227
Posts 30
View all tags →

Top Posts (270) All Questions Answers | Votes Newest

60 Is a Turing Machine “by definition” the most powerful machine? Dec 1 '16
40 The math behind converting from any base to any base without going through base 10? Mar 6 '13
36 Why is A implies B true if A is false and B is false? Nov 25 '16
34 Theoretical machines which are more powerful than Turing machines Apr 5 '16
32 Perplexed by Rice's theorem Nov 26 '12
31 Why is the quantity of sentences not finite? Feb 26 '17
30 Can proof by contradiction work without the law of excluded middle? Feb 20 '18
29 Difference between Tail-Recursion and structural recursion Dec 26 '17
29 How are programming languages and foundations of mathematics related? Feb 14 '13
23 What exactly is the semantic difference between set and type? Apr 30 '18
View all questions and answers →

Badges (129)

Gold

1

Rarest

Silver

44

Rarest

Bronze

84

Rarest

View all badges →