Computer Science
Andrej Bauer
  • Member for 9 years, 9 months
  • Last seen this week
Profile Activity
Stats
27,681
reputation
537k
reached
384
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
63
silver badges
105
bronze badges
Top tags
View all tags
563
Score
82
Posts
21
Posts %
504
Score
87
Posts
23
Posts %
407
Score
63
Posts
16
Posts %
354
Score
61
Posts
16
Posts %
313
Score
59
Posts
15
Posts %
260
Score
39
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
70
Is a Turing Machine "by definition" the most powerful machine?
Dec 1 '16
60
The math behind converting from any base to any base without going through base 10?
Mar 6 '13
46
Theoretical machines which are more powerful than Turing machines
Apr 5 '16
44
Do theorem provers demonstrate their own correctness?
Jan 21 '20
42
What exactly is the semantic difference between set and type?
Apr 30 '18
41
Perplexed by Rice's theorem
Nov 26 '12
40
Why is A implies B true if A is false and B is false?
Nov 25 '16
32
Why is the quantity of sentences not finite?
Feb 26 '17
30
Can proof by contradiction work without the law of excluded middle?
Feb 20 '18
29
How are programming languages and foundations of mathematics related?
Feb 14 '13
Top network posts
View all network posts
405
Why do roots of polynomials tend to have absolute value close to 1?
210
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
89
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.