Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
29,920
reputation
626k
reached
422
answers
1
question
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
1
gold badge
70
silver badges
115
bronze badges
Top tags
View all tags
611
Score
88
Posts
21
Posts %
533
Score
93
Posts
22
Posts %
442
Score
69
Posts
16
Posts %
379
Score
68
Posts
16
Posts %
328
Score
63
Posts
15
Posts %
277
Score
48
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
70
Is a Turing Machine "by definition" the most powerful machine?
Dec 1, 2016
answer
68
The math behind converting from any base to any base without going through base 10?
Mar 6, 2013
answer
57
What exactly is the semantic difference between set and type?
Apr 30, 2018
answer
50
Theoretical machines which are more powerful than Turing machines
Apr 5, 2016
answer
46
Do theorem provers demonstrate their own correctness?
Jan 21, 2020
answer
41
Perplexed by Rice's theorem
Nov 26, 2012
answer
40
Why is A implies B true if A is false and B is false?
Nov 25, 2016
answer
32
Why is the quantity of sentences not finite?
Feb 26, 2017
answer
30
Can proof by contradiction work without the law of excluded middle?
Feb 20, 2018
answer
29
How are programming languages and foundations of mathematics related?
Feb 14, 2013
Top network posts
View all network posts
420
Why do roots of polynomials tend to have absolute value close to 1?
226
What makes dependent type theory more suitable than set theory for proof assistants?
151
How To Present Mathematics To Non-Mathematicians?
118
Axiom of choice, Banach-Tarski and reality
99
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.