Theoretical Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 3 months
  • Last seen this week
Profile Activity
Stats
28,301
reputation
406k
reached
258
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
80
silver badges
130
bronze badges
Top tags
View all tags
724
Score
87
Posts
33
Posts %
700
Score
61
Posts
23
Posts %
584
Score
45
Posts
17
Posts %
472
Score
44
Posts
17
Posts %
430
Score
47
Posts
18
Posts %
286
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
61
What would it mean to disprove Church-Turing thesis?
Sep 2, 2010
answer
49
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
421
Why do roots of polynomials tend to have absolute value close to 1?
228
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.