As of May 31, 2023, we have updated our Code of Conduct.
Mathematics
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 11 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
2,796
reputation
62k
reached
43
answers
0
questions
Communities
View all
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.

Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
22
bronze badges
Top tags
View all tags
89
Score
8
Posts
19
Posts %
85
Score
12
Posts
28
Posts %
67
Score
4
Posts
9
Posts %
65
Score
6
Posts
14
Posts %
27
Score
2
Posts
5
Posts %
14
Score
3
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
34
Should I put number combinations like 1111111 onto my lottery ticket?
Aug 14, 2013
answer
34
Which is the most powerful language, set theory or category theory?
Feb 4, 2016
answer
21
How to prove the pullback lemma
May 30, 2012
answer
19
categorical interpretation of quantification
Aug 14, 2013
answer
16
Why can almost all ordinary mathematics be formalized by sets?
Feb 5, 2014
answer
11
Models of set theory
Aug 28, 2014
answer
10
How to introduce type theory to newcomer?
Jan 6, 2015
answer
10
Countable axiom of choice: why you can't prove it from just ZF
Mar 19, 2014
answer
9
Why is $0/0$ not $\Bbb R$?
Aug 26, 2014
answer
8
Difference between AND & Implies
Jan 17, 2017
Top network posts
View all network posts
416
Why do roots of polynomials tend to have absolute value close to 1?
223
What makes dependent type theory more suitable than set theory for proof assistants?
150
How To Present Mathematics To Non-Mathematicians?
117
Axiom of choice, Banach-Tarski and reality
97
Au revoir, law of excluded middle?

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.