Mathematics
Profile Activity
Meta user
Network profile
2,549
reputation
12
21

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.

43
answers
0
questions
~50k
people reached

Communities (15)

Top network posts

Top tags (63)

Score 80
Posts 8
Posts % 19
Score 72
Posts 12
Score 65
Posts 4
Score 63
Posts 6
Score 26
Posts 2
Score 15
Posts 2
View all tags →

Top posts (43)

All Questions Answers
Votes Newest
33 Should I put number combinations like 1111111 onto my lottery ticket? Aug 14 '13
33 Which is the most powerful language, set theory or category theory? Feb 4 '16
17 How to prove the pullback lemma May 30 '12
16 categorical interpretation of quantification Aug 14 '13
15 Why can almost all ordinary mathematics be formalized by sets? Feb 5 '14
11 Models of set theory Aug 28 '14
10 How to introduce type theory to newcomer? Jan 6 '15
9 Countable axiom of choice: why you can't prove it from just ZF Mar 19 '14
7 What's an example of an infinitesimal? Jan 10 '16
7 Why is $0/0$ not $\Bbb R$? Aug 26 '14
View all questions and answers →

Badges (33)

Gold

—

Silver

12

Rarest

Bronze

21

Rarest

View all badges →

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.