As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 7 months
  • Last seen this week
Profile Activity
Stats
45,267
reputation
1.2m
reached
332
answers
17
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
10
gold badges
115
silver badges
220
bronze badges
Top tags
View all tags
2,162
Score
166
Posts
48
Posts %
1,026
Score
59
Posts
17
Posts %
914
Score
99
Posts
28
Posts %
528
Score
30
Posts
9
Posts %
459
Score
23
Posts
7
Posts %
369
Score
40
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
416
Why do roots of polynomials tend to have absolute value close to 1?
Oct 2, 2014
answer
223
What makes dependent type theory more suitable than set theory for proof assistants?
Nov 20, 2020
answer
150
How To Present Mathematics To Non-Mathematicians?
Nov 24, 2010
answer
117
Axiom of choice, Banach-Tarski and reality
Jan 20, 2017
answer
97
Au revoir, law of excluded middle?
May 20, 2010
answer
86
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
May 8, 2013
answer
76
On proof-verification using Coq
Nov 11, 2018
answer
75
Set theory and Model Theory
Apr 30, 2010
answer
72
What are the worst notations, in your opinion?
Mar 18, 2010
answer
63
A topological concept dual to compactness
May 4, 2014
Top Meta posts
0
1
9
"Newbie-style" questions: is there an "official" viewpoint of MO?
Top network posts
View all network posts
79
Techniques for Reversing the Order of Quantifiers
70
Is a Turing Machine "by definition" the most powerful machine?
67
The math behind converting from any base to any base without going through base 10?
65
If return a = return b then does a=b?
64
To what extent is "advanced mathematics" needed/useful in A.I. research?

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.