Mathematics
user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 10 years
  • Last seen more than a week ago
Profile Activity
Stats
2,654
reputation
56k
reached
44
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.
14
silver badges
22
bronze badges
Top tags
View all tags
82
Score
8
Posts
18
Posts %
78
Score
13
Posts
30
Posts %
66
Score
5
Posts
11
Posts %
64
Score
6
Posts
14
Posts %
26
Score
2
Posts
5
Posts %
13
Score
3
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
33
Should I put number combinations like 1111111 onto my lottery ticket?
Aug 14, 2013
answer
33
Which is the most powerful language, set theory or category theory?
Feb 4, 2016
answer
18
How to prove the pullback lemma
May 30, 2012
answer
17
categorical interpretation of quantification
Aug 14, 2013
answer
15
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
8
Why is $0/0$ not $\Bbb R$?
Aug 26, 2014
answer
7
What's an example of an infinitesimal?
Jan 10, 2016
Top network posts
View all network posts
409
Why do roots of polynomials tend to have absolute value close to 1?
217
What makes dependent type theory more suitable than set theory for proof assistants?
150
How To Present Mathematics To Non-Mathematicians?
109
Axiom of choice, Banach-Tarski and reality
92
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.