Theoretical Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 12 years, 1 month
  • Last seen this week
Profile Activity
Stats
26,765
reputation
370k
reached
246
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
73
silver badges
124
bronze badges
Top tags
View all tags
679
Score
83
Posts
33
Posts %
637
Score
56
Posts
22
Posts %
566
Score
44
Posts
18
Posts %
457
Score
42
Posts
17
Posts %
408
Score
44
Posts
18
Posts %
245
Score
16
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
78
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
59
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
39
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
34
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
411
Why do roots of polynomials tend to have absolute value close to 1?
218
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
93
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.