Theoretical Computer Science
Andrej Bauer
  • Member for 11 years, 3 months
  • Last seen this week
Profile Activity
Stats
25,992
reputation
352k
reached
238
answers
3
questions
top 0.24% this year
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
68
silver badges
118
bronze badges
Top tags
View all tags
661
Score
80
Posts
33
Posts %
624
Score
56
Posts
23
Posts %
542
Score
42
Posts
17
Posts %
450
Score
41
Posts
17
Posts %
402
Score
43
Posts
18
Posts %
259
Score
17
Posts
7
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
Votes Newest
73
Techniques for Reversing the Order of Quantifiers
Jan 22 '11
64
To what extent is "advanced mathematics" needed/useful in A.I. research?
Oct 19 '12
59
What would it mean to disprove Church-Turing thesis?
Sep 2 '10
46
A total language that only a Turing complete language can interpret
Jun 24 '14
39
Why does Coq have Prop?
Mar 31 '14
39
Why colon to denote that a value belongs to a type?
May 25 '19
37
Problem teaching computability
Feb 20 '11
34
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9 '10
34
What is the difference between arrows and exponential objects in a cartesian closed category?
Apr 17 '13
33
Is it possible to test if a computable number is rational or integer?
Feb 19 '13
Top network posts
View all network posts
404
Why do roots of polynomials tend to have absolute value close to 1?
209
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
88
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.