Computer Science
Andrej Bauer
Profile Activity
Stats
27,038
reputation
514k
reached
372
answers
1
questions
About

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.

Communities (15)

Top network posts

1
gold badge
63
silver badges
105
bronze badges
View all badges

Top tags (175)

Score 558
Posts 82
Posts % 22
Score 483
Posts 83
Score 387
Posts 58
Score 344
Posts 58
Score 309
Posts 59
Score 259
Posts 38
View all tags →

Top posts (373)

All Questions Answers
Votes Newest
70 Is a Turing Machine "by definition" the most powerful machine? Dec 1 '16
58 The math behind converting from any base to any base without going through base 10? Mar 6 '13
46 Theoretical machines which are more powerful than Turing machines Apr 5 '16
42 Do theorem provers demonstrate their own correctness? Jan 21 '20
40 What exactly is the semantic difference between set and type? Apr 30 '18
40 Why is A implies B true if A is false and B is false? Nov 25 '16
40 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 How are programming languages and foundations of mathematics related? Feb 14 '13
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.