Skip to main content
Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 12 years, 7 months
  • Last seen this week
Profile Activity
Stats
31,164
reputation
698k
reached
435
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
73
silver badges
119
bronze badges
Top tags
View all tags
638
Score
90
Posts
21
Posts %
576
Score
94
Posts
22
Posts %
484
Score
71
Posts
16
Posts %
390
Score
70
Posts
16
Posts %
340
Score
65
Posts
15
Posts %
292
Score
49
Posts
11
Posts %
Top posts
View all questions and answers
answer
71
The math behind converting from any base to any base without going through base 10?
Mar 6, 2013
answer
71
Is a Turing Machine "by definition" the most powerful machine?
Dec 1, 2016
answer
64
What exactly is the semantic difference between set and type?
Apr 30, 2018
answer
51
Theoretical machines which are more powerful than Turing machines
Apr 5, 2016
answer
45
Do theorem provers demonstrate their own correctness?
Jan 21, 2020
answer
42
Perplexed by Rice's theorem
Nov 26, 2012
answer
41
Why is A implies B true if A is false and B is false?
Nov 25, 2016
answer
35
Why is the Turing machine considered effective computation if it's not realizable due to the Bekenstein bound?
May 21
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
Top network posts
View all network posts
430
Why do roots of polynomials tend to have absolute value close to 1?
233
What makes dependent type theory more suitable than set theory for proof assistants?
159
How to present mathematics to non-mathematicians?
122
Axiom of choice, Banach-Tarski and reality
104
Au revoir, law of excluded middle?