Mathematics
Profile Activity
Meta user
Network profile
2,816
reputation
11
11

aws

Apparently, this user prefers to keep an air of mystery about them.

56
answers
0
questions
~25k
people reached
  • Member for 7 years, 9 months
  • 179 profile views
  • Last seen Oct 22 at 15:19

Communities (4)

Top network posts

Top tags (50)

Score 100
Posts 23
Posts % 41
Score 77
Posts 18
Score 26
Posts 7
Score 25
Posts 5
Score 19
Posts 3
Score 17
Posts 4
View all tags →

Top posts (56)

All Questions Answers
Votes Newest
17 programming brain teaser Mar 16 '13
10 Does $\Sigma_1 \cup \Pi_1$ generate the complete first order theory of arithmetic? May 2 '13
9 Would it also be useful to include an ordered pair function in first order logic? Feb 4 '13
9 Countable choice and term extraction Sep 8 '15
9 What does it take to divide by $2$? Apr 16 '18
8 Question about the Univalence axiom. Aug 21 '17
7 Schanuel conjecture and its set theoretic status Jul 26 '13
7 What practical proofs work in intuitionistic but not minimal logic? Sep 14 '13
6 How can some statements be consistent with intuitionistic logic but not classical logic, when intuitionistic logic proves not not LEM? Aug 13 '13
6 What are the different approaches to formalizing type theory in the usual model-theoretic context? Mar 14 '17
View all questions and answers →

Badges (22)

Gold

—

Silver

11

Rarest

Bronze

11

Rarest

View all badges →