Computer Science
Profile Activity
Meta user
Network profile
26,201
reputation
1
58
101

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.

364
answers
1
question
~469k
people reached

Communities (15)

Top network posts

Top tags (173)

Score 529
Posts 79
Posts % 22
Score 466
Posts 81
Score 372
Posts 57
Score 337
Posts 57
Score 304
Posts 58
Score 256
Posts 37
View all tags →

Top posts (365)

All Questions Answers
Votes Newest
69 Is a Turing Machine “by definition” the most powerful machine? Dec 1 '16
54 The math behind converting from any base to any base without going through base 10? Mar 6 '13
44 Theoretical machines which are more powerful than Turing machines Apr 5 '16
42 Do theorem provers demonstrate their own correctness? Jan 21 '20
39 Why is A implies B true if A is false and B is false? Nov 25 '16
39 Perplexed by Rice's theorem Nov 26 '12
32 Why is the quantity of sentences not finite? Feb 26 '17
31 What exactly is the semantic difference between set and type? Apr 30 '18
30 Can proof by contradiction work without the law of excluded middle? Feb 20 '18
29 How are programming languages and foundations of mathematics related? Feb 14 '13
View all questions and answers →

Badges (160)

Gold

1

Rarest

Silver

58

Rarest

Bronze

101

Rarest

View all badges →