Andrej Bauer

Member for 13 years, 3 months
Last seen this week

Summary

Reputation

28,301

28.3k
25.7k
23k

2020
2021
2022
2023

Next tag badge

286/100 score

17/20 answers

Badges

1

80

130

Newest

Good Answer

Next badge

510/600

Electorate

Answers

View all 258 answers

Score Activity Newest

79

Techniques for Reversing the Order of Quantiﬁers

Jan 22, 2011

64

To what extent is "advanced mathematics" needed/useful in A.I. research?

Oct 19, 2012

61

What would it mean to disprove Church-Turing thesis?

Sep 2, 2010

49

A total language that only a Turing complete language can interpret

Jun 24, 2014

42

Why does Coq have Prop?

Mar 31, 2014

Questions

Score Activity Newest Views

12

Continuation passing transform of binary functions

Sep 12, 2013

8

Which types are nihilistic?

Feb 7, 2020

7

What are considered to be the most canonical and important consequences of the recursion theorem?

Aug 17, 2017

Tags

View all 136 tags

type-theory

724

Score

87

posts

lo.logic

700

Score

61

posts

computability

584

Score

45

posts

lambda-calculus

472

Score

44

posts

pl.programming-languages

430

Score

47

posts

Reputation

+10

Dependently typed monad

+10

When a type is a value?

+10

A total language that only a Turing complete language can interpret

+10

What would it mean to disprove Church-Turing thesis?

Badges

View all badges

1

gold badge

Populist

Jun 13, 2019

80

silver badges

type-theory

Dec 19, 2021
Lifejacket

× 4

May 23, 2020
Guru

× 4

Dec 9, 2022

130

bronze badges

ct.category-theory

Jan 26, 2021
dependent-type

May 17, 2021
lambda-calculus

Apr 27, 2015

Accounts

View all 18 accounts

46.7k
10
120
228

Computer Science

30k
1
70
115

Theoretical Computer Science

28.3k
1
80
130

Proof Assistants

8,222
20
59

2,816
15
22

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

399

upvotes

433

downvotes

510

question votes

322

answer votes

3

this month

3

this week