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 13 years, 7 months
  • Last seen more than a week ago
Profile Activity

Stats

31,810
reputation
747k
reached
438
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
75
silver badges
121
bronze badges

Top tags

View all tags
650
Score
92
Posts
21
Posts %
592
Score
94
Posts
21
Posts %
496
Score
71
Posts
16
Posts %
394
Score
70
Posts
16
Posts %
348
Score
67
Posts
15
Posts %
296
Score
50
Posts
11
Posts %

Top posts

View all questions and answers
answer
73
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
68
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, 2024
answer
32
Why is the quantity of sentences not finite?
Feb 26, 2017
answer
31
Can proof by contradiction work without the law of excluded middle?
Feb 20, 2018

Top network posts

View all network posts
437
Why do roots of polynomials tend to have absolute value close to 1?
247
What makes dependent type theory more suitable than set theory for proof assistants?
159
How to present mathematics to non-mathematicians?
131
Axiom of choice, Banach-Tarski and reality
108
Au revoir, law of excluded middle?