Mathematics
Meta user
Network profile
2,349
reputation
10
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.

41
answers
0
questions
~42k
people reached

Communities (14)

Top network posts

Top tags (60)

Score 74
Posts 8
Posts % 20
Score 68
Posts 11
Score 64
Posts 4
Score 59
Posts 6
Score 25
Posts 2
Score 12
Posts 3
View all tags →

Top posts (41) All Questions Answers | Votes Newest

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

Badges (31)

Gold

—

Silver

10

Rarest

Bronze

21

Rarest

View all badges →