Theoretical Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 1 month
  • Last seen this week
Profile Activity
Stats
28,131
reputation
401k
reached
257
answers
3
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
1
gold badge
79
silver badges
130
bronze badges
Top tags
View all tags
720
Score
87
Posts
33
Posts %
698
Score
61
Posts
23
Posts %
581
Score
45
Posts
17
Posts %
471
Score
44
Posts
17
Posts %
429
Score
47
Posts
18
Posts %
285
Score
19
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
79
Techniques for Reversing the Order of Quantifiers
Jan 22, 2011
answer
64
To what extent is "advanced mathematics" needed/useful in A.I. research?
Oct 19, 2012
answer
60
What would it mean to disprove Church-Turing thesis?
Sep 2, 2010
answer
48
A total language that only a Turing complete language can interpret
Jun 24, 2014
answer
42
Is it possible to test if a computable number is rational or integer?
Feb 19, 2013
answer
42
Why does Coq have Prop?
Mar 31, 2014
answer
39
Why colon to denote that a value belongs to a type?
May 25, 2019
answer
37
Problem teaching computability
Feb 20, 2011
answer
35
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9, 2010
answer
34
What is the difference between arrows and exponential objects in a cartesian closed category?
Apr 17, 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.