The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Computer Science
Meta user
Network profile
22,401
reputation
1
51
91

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.

306
answers
1
question
~373k
people reached

Communities (14)

Top network posts

Top tags (161)

Score 446
Posts 64
Posts % 21
Score 403
Posts 71
Score 320
Posts 46
Score 306
Posts 52
Score 255
Posts 46
Score 252
Posts 36
View all tags →

Top posts (307) All Questions Answers | Votes Newest

64 Is a Turing Machine “by definition” the most powerful machine? Dec 1 '16
44 The math behind converting from any base to any base without going through base 10? Mar 6 '13
38 Why is A implies B true if A is false and B is false? Nov 25 '16
37 Theoretical machines which are more powerful than Turing machines Apr 5 '16
36 Perplexed by Rice's theorem Nov 26 '12
32 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 What exactly is the semantic difference between set and type? Apr 30 '18
29 How are programming languages and foundations of mathematics related? Feb 14 '13
28 Difference between Tail-Recursion and structural recursion Dec 26 '17
View all questions and answers →

Badges (143)

Gold

1

Rarest

Silver

51

Rarest

Bronze

91

Rarest

View all badges →